Skip to content

Commit

Permalink
Update CIL for synthetic locations fix
Browse files Browse the repository at this point in the history
  • Loading branch information
@sim642
sim642 committed Feb 13, 2024
1 parent 7018ccf commit b734f50
Show file tree
Hide file tree
Showing 4 changed files with 11 additions and 11 deletions.
2 changes: 1 addition & 1 deletion goblint.opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -77,7 +77,7 @@ dev-repo: "git+https://github.com/goblint/analyzer.git"
available: os-distribution != "alpine" & arch != "arm64"
pin-depends: [
# published goblint-cil 2.0.3 is currently up-to-date, so no pin needed
[ "goblint-cil.2.0.3" "git+https://github.com/goblint/cil.git#3cb720fe333289aca998d67bd210c57a87248c51" ]
[ "goblint-cil.2.0.3" "git+https://github.com/goblint/cil.git#833378d9102578bab7b62174cb029d385db417a5" ]
# TODO: add back after release, only pinned for optimization (https://github.com/ocaml-ppx/ppx_deriving/pull/252)
[ "ppx_deriving.5.2.1" "git+https://github.com/ocaml-ppx/ppx_deriving.git#0a89b619f94cbbfc3b0fb3255ab4fe5bc77d32d6" ]
]
Expand Down
2 changes: 1 addition & 1 deletion goblint.opam.locked
View file
Original file line number Diff line number Diff line change
Expand Up @@ -133,7 +133,7 @@ post-messages: [
pin-depends: [
[
"goblint-cil.2.0.3"
"git+https://github.com/goblint/cil.git#3cb720fe333289aca998d67bd210c57a87248c51"
"git+https://github.com/goblint/cil.git#833378d9102578bab7b62174cb029d385db417a5"
]
[
"ppx_deriving.5.2.1"
Expand Down
2 changes: 1 addition & 1 deletion goblint.opam.template
View file
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,7 @@
available: os-distribution != "alpine" & arch != "arm64"
pin-depends: [
# published goblint-cil 2.0.3 is currently up-to-date, so no pin needed
[ "goblint-cil.2.0.3" "git+https://github.com/goblint/cil.git#3cb720fe333289aca998d67bd210c57a87248c51" ]
[ "goblint-cil.2.0.3" "git+https://github.com/goblint/cil.git#833378d9102578bab7b62174cb029d385db417a5" ]
# TODO: add back after release, only pinned for optimization (https://github.com/ocaml-ppx/ppx_deriving/pull/252)
[ "ppx_deriving.5.2.1" "git+https://github.com/ocaml-ppx/ppx_deriving.git#0a89b619f94cbbfc3b0fb3255ab4fe5bc77d32d6" ]
]
Expand Down
16 changes: 8 additions & 8 deletions tests/regression/cfg/issue-1356.t/run.t
View file
Original file line number Diff line number Diff line change
Expand Up @@ -11,15 +11,15 @@
│ Pos((long )a >= (long )b - 2147483648) │ (body) │
▼ ▼ │
┌─────────────────────────────────────────┐ ┌─────────────────────────────────────────┐ │
│ issue-1356.c:9:3-9:53 (synthetic) │ Pos(b <= 0) │ issue-1356.c:9:3-9:53 (synthetic) │ │
│ (issue-1356.c:9:3-9:53 (synthetic)) │ ◀────────────────────────── │ (issue-1356.c:9:3-9:53 (synthetic)) │ │
│ issue-1356.c:9:3-9:53 (synthetic) │ Pos(b <= 0) │ issue-1356.c:9:3-9:53 │ │
│ (issue-1356.c:9:3-9:53 (synthetic)) │ ◀────────────────────────── │ (issue-1356.c:9:3-9:53) │ │
└─────────────────────────────────────────┘ └─────────────────────────────────────────┘ │
│ │ │
│ │ Neg(b <= 0) │
│ ▼ │
│ ┌─────────────────────────────────────────┐ │
│ │ issue-1356.c:9:3-9:53 │ │
│ │ (issue-1356.c:9:3-9:53) │ ─┘
│ │ issue-1356.c:9:3-9:53 (synthetic) │ │
│ │ (issue-1356.c:9:3-9:53 (synthetic)) │ ─┘
│ └─────────────────────────────────────────┘
│ │
│ │ Neg((long )a >= (long )b - 2147483648)
Expand All @@ -39,15 +39,15 @@
│ assume_abort_if_not(tmp)
▼
┌─────────────────────────────────────────┐
│ issue-1356.c:10:3-10:53 (synthetic) │
│ (issue-1356.c:10:3-10:53 (synthetic)) │ ─┐
│ issue-1356.c:10:3-10:53 │
│ (issue-1356.c:10:3-10:53) │ ─┐
└─────────────────────────────────────────┘ │
│ │
│ Neg(b >= 0) │
▼ │
┌─────────────────────────────────────────┐ ┌─────────────────────────────────────────┐ │
│ issue-1356.c:10:3-10:53 (synthetic) │ Neg(a <= b + 2147483647) │ issue-1356.c:10:3-10:53 │ │
│ (issue-1356.c:10:3-10:53 (synthetic)) │ ◀────────────────────────── │ (issue-1356.c:10:3-10:53) │ │ Pos(b >= 0)
│ issue-1356.c:10:3-10:53 (synthetic) │ Neg(a <= b + 2147483647) │ issue-1356.c:10:3-10:53 (synthetic) │ │
│ (issue-1356.c:10:3-10:53 (synthetic)) │ ◀────────────────────────── │ (issue-1356.c:10:3-10:53 (synthetic)) │ │ Pos(b >= 0)
└─────────────────────────────────────────┘ └─────────────────────────────────────────┘ │
│ │ │
│ │ Pos(a <= b + 2147483647) │
Expand Down

0 comments on commit b734f50

Please sign in to comment.