method vexpr e =
begin match destruct_string_access e with None -> () | Some(v,off) ->
if hasAttribute name_of_string_declspec (typeAttrs v.vtype) then
(* A string should be accessed within its bounds *)
let off =
!Db.Properties.Interp.force_exp_to_term locUnknown off
in
let app = within_bounds ~strict:false v off in
let cur_stmt = the self#current_stmt in
Annotations.add_alarm cur_stmt ~before:true Alarms.Other_alarm app
end;
DoChildren