anchor.diff:  subst_phi_uses0([], _Map, Acc) ->
     Acc.
   
  --spec subst_phi_uncond(#icode_phi{}, #icode_variable{}, edge_map())
  -		      -> #icode_phi{}.
  +-spec subst_phi_uncond(icode_phi(), icode_variable(), edge_map())
  +		      -> icode_phi().
   
   subst_phi_uncond(I, Dst, Map) ->
     ArgList = subst_phi_uses_uncond0(hipe_icode:phi_arglist(I), Map, []),
     hipe_icode:mk_phi(Dst, ArgList).
   
  --spec subst_phi_uses_uncond0([{icode_lbl(), #icode_variable{}}], edge_map(),
  -			     [{icode_lbl(), #icode_variable{}}])
  -			    -> [{icode_lbl(), #icode_variable{}}].
  +-spec subst_phi_uses_uncond0([{icode_lbl(), icode_variable()}], edge_map(),
  +			     [{icode_lbl(), icode_variable()}])
  +			    -> [{icode_lbl(), icode_variable()}].
   
   subst_phi_uses_uncond0([{Pred, Var}|Left], Map, Acc) ->
     case Map of
  
positive.code:       end
    end.
  
  -spec lookup_list_keep_consts([icode_var() | #icode_const{}], var_map())
  			     -> [none | icode_fvar() | #icode_const{}].
  
  lookup_list_keep_consts(List, Info) ->
    lookup_list(List, fun lookup_keep_consts/2, Info, []).
  
  -spec lookup_keep_consts(icode_var() | #icode_const{}, var_map())
  			-> none | icode_fvar() | #icode_const{}.
  
  lookup_keep_consts(Key, Tree) ->
    case hipe_icode:is_const(Key) of
  
negative.code: annotate_fclearerror1([], _Label, _Cfg, Acc) ->
    lists:reverse(Acc).
  
  -spec lookahead_for_fcheckerror(icode_instrs(), icode_lbl(), cfg()) ->
  				   fail_lbl().
  
  lookahead_for_fcheckerror([I|Left], Label, Cfg) ->
  