method vexpr e = match e.enode with
| CastE(ty,e) ->
if isPointerType ty then
match (stripCastsAndInfo e).enode with
| Lval(_host,off) ->
begin match lastOffset off with
| Field(fi,_) ->
if isIntegralType fi.ftype
&& bits_sizeof ty = bits_sizeof fi.ftype then
FieldinfoHashtbl.replace
cast_field_to_type fi fi.ftype
else ()
| _ -> ()
end
| _ -> ()
else ();
DoChildren
| _ -> DoChildren