Merge pull request #295 from goblint/line-offset

Add column to location
goblint · Jul 22, 2021 · 6759b40 · 6759b40
2 parents 34cab0b + 7cfd39c
commit 6759b40
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 4 deletions.
diff --git a/goblint.opam b/goblint.opam
@@ -48,5 +48,5 @@ build: [
 ]
 dev-repo: "git+https://github.com/goblint/analyzer.git"
 pin-depends: [
-  [ "goblint-cil.1.8.1" "git+https://github.com/goblint/cil.git#d61cfa6a403f4d278c86344091bc07dccd8b549b" ]
+  [ "goblint-cil.1.8.1" "git+https://github.com/goblint/cil.git#208d2a2f9e51a42ee0a036f4587624ac7ac23ccb" ]
 ]
diff --git a/goblint.opam.locked b/goblint.opam.locked
@@ -67,7 +67,7 @@ build: [
 ]
 dev-repo: "git+https://github.com/goblint/analyzer.git"
 pin-depends: [
-  [ "goblint-cil.1.8.1" "git+https://github.com/goblint/cil.git#d61cfa6a403f4d278c86344091bc07dccd8b549b" ]
+  [ "goblint-cil.1.8.1" "git+https://github.com/goblint/cil.git#208d2a2f9e51a42ee0a036f4587624ac7ac23ccb" ]
 ]
 name: "goblint"
 version: "dev"
diff --git a/goblint.opam.template b/goblint.opam.template
@@ -1,3 +1,3 @@
 pin-depends: [
-  [ "goblint-cil.1.8.1" "git+https://github.com/goblint/cil.git#d61cfa6a403f4d278c86344091bc07dccd8b549b" ]
+  [ "goblint-cil.1.8.1" "git+https://github.com/goblint/cil.git#208d2a2f9e51a42ee0a036f4587624ac7ac23ccb" ]
 ]
diff --git a/src/framework/myCFG.ml b/src/framework/myCFG.ml
@@ -505,7 +505,7 @@ let getGlobalInits (file: file) : (edge * location) list  =
   iterGlobals file f;
   let initfun = emptyFunction "__goblint_dummy_init" in
   (* order is not important since only compile-time constants can be assigned *)
-  (Entry initfun, {line = 0; file="initfun"; byte= 0} ) :: (BatHashtbl.keys inits |> BatList.of_enum)
+  (Entry initfun, {line = 0; file="initfun"; byte= 0; column = 0} ) :: (BatHashtbl.keys inits |> BatList.of_enum)
 
 let numGlobals file =
   let n = ref 0 in