Make first for initializer loc non-synthetic

goblint · Feb 20, 2024 · fb47158 · fb47158
1 parent ee64e4a
commit fb47158
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/frontc/cabs2cil.ml b/src/frontc/cabs2cil.ml
@@ -6769,15 +6769,15 @@ and doStatement (s : A.statement) : chunk =
     | A.FOR(fc1,e2,e3,s,loc,eloc) -> begin
         let loc' = convLoc loc in
         let eloc' = convLoc eloc in
-        currentLoc := SynthetizeLoc.doLoc loc';
+        currentLoc := loc';
         currentExpLoc := SynthetizeLoc.doLoc eloc';
         enterScope (); (* Just in case we have a declaration *)
         let (se1, _, _) =
           match fc1 with
             FC_EXP e1 -> doExp false e1 ADrop
           | FC_DECL d1 -> (doDecl false d1, zero, voidType)
         in
-        let se1 = SynthetizeLoc.doChunkHead se1 in
+        let se1 = SynthetizeLoc.eDoChunkHead (SynthetizeLoc.doChunkTail se1) in
         let (se3, _, _) = doExp false e3 ADrop in
         let se3 = SynthetizeLoc.doChunkHead se3 in
         startLoop false;