Skip to content

Commit

Permalink
Use same statement location for all initializer statements
Browse files Browse the repository at this point in the history
  • Loading branch information
sim642 committed Feb 15, 2024
1 parent da9e00f commit 8a6d359
Showing 1 changed file with 0 additions and 2 deletions.
2 changes: 0 additions & 2 deletions src/frontc/cabs2cil.ml
Original file line number Diff line number Diff line change
Expand Up @@ -5953,9 +5953,7 @@ and doDecl (isglobal: bool) : A.definition -> chunk = function
(* Do all the variables and concatenate the resulting statements *)
let doOneDeclarator (acc: chunk) (name: init_name) =
let (n,ndt,a,l),_ = name in
currentLoc := convLoc l;
currentExpLoc := convLoc l; (* eloc for local initializer assignment instruction *)
(* Do the specifiers exactly once *)
if isglobal then begin
let spec_res = match spec_res with Some s -> s | _ -> failwith "Option.get" in
let bt,_,_,attrs = spec_res in
Expand Down

0 comments on commit 8a6d359

Please sign in to comment.