Fix location of return expressions

goblint · Apr 11, 2022 · 56f5f9a · 56f5f9a
1 parent faff341
commit 56f5f9a
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/frontc/cabs2cil.ml b/src/frontc/cabs2cil.ml
@@ -6697,6 +6697,7 @@ and doStatement (s : A.statement) : chunk =
     | A.RETURN (e, loc) ->
         let loc' = convLoc loc in
         currentLoc := loc';
+        currentExpLoc := loc'; (* TODO: separate expression loc *)
         (* Sometimes we return the result of a void function call *)
         if isVoidType !currentReturnType then begin
           ignore (warnOpt "Return statement with a value in function returning void");