anchor.diff:      %% There are (still) no line numbers in St0#lint.compile.
       Errors0 =  [ {St0#lint.file,{L,erl_lint,disallowed_nowarn_bif_clash}} ||
   		    {attribute,A,compile,nowarn_bif_clash} <- Forms,
  -                   {_,L} <- [loc(A)] ],
  +                   {_,L} <- [loc(A, St0)] ],
       Errors1 = [ {St0#lint.file,{L,erl_lint,disallowed_nowarn_bif_clash}} ||
   		    {attribute,A,compile,{nowarn_bif_clash, {_,_}}} <- Forms,
  -                   {_,L} <- [loc(A)] ],
  +                   {_,L} <- [loc(A, St0)] ],
       Disabled = (not is_warn_enabled(bif_clash, St0)),
       Errors = if
   		   Disabled andalso Errors0 =:= [] ->
  
positive.code: %%  Return all new variables in UpdVarTable as unsafe.
  
  vtunsafe({Tag,FileLine}, Uvt, Vt) ->
      {_File,Line} = loc(FileLine),
      [{V,{{unsafe,{Tag,Line}},U,Ls}} || {V,{_,U,Ls}} <- vtnew(Uvt, Vt)].
  
  %% vtmerge(VarTable, VarTable) -> VarTable.
  
negative.code: 
  icrt_clauses(Cs, In, Vt, St0) ->
      {Csvt,St1} = icrt_clauses(Cs, Vt, St0),
      UpdVt = icrt_export(Csvt, Vt, In, St1),
      {UpdVt,St1}.
  
  %% icrt_clauses(Clauses, ImportVarTable, State) ->
  