Update CIL for _Static_assert checking and hasAttribute optimization

sim642 · sim642 · commit a13b7e19634f · 2026-03-31T16:19:49.000+03:00
diff --git a/goblint.opam b/goblint.opam
@@ -102,7 +102,7 @@ dev-repo: "git+https://github.com/goblint/analyzer.git"
 x-maintenance-intent: ["(latest)" "(latest).(latest-1)"] # also keep previous minor version (with two releases per year, always keep a SV-COMP release)
 available: os-family != "bsd" & os-distribution != "alpine" & (arch != "arm64" | os = "macos")
 pin-depends: [
-  [ "goblint-cil.2.0.9" "git+https://github.com/goblint/cil.git#0913d6abce40bfda6b68a61b035c8a53ffb3c6a4" ]
+  [ "goblint-cil.2.0.9" "git+https://github.com/goblint/cil.git#2243aad0e34cb59b7d2d18415ab88a7767c108b7" ]
   # pinned for stability (https://github.com/goblint/analyzer/issues/1520), remove after new apron release
   [ "apron.v0.9.15" "git+https://github.com/antoinemine/apron.git#418a217c7a70dae3f422678f3aaba38ae374d91a" ]
 ]
diff --git a/goblint.opam.locked b/goblint.opam.locked
@@ -148,7 +148,7 @@ post-messages: [
 pin-depends: [
   [
     "goblint-cil.2.0.9"
-    "git+https://github.com/goblint/cil.git#0913d6abce40bfda6b68a61b035c8a53ffb3c6a4"
+    "git+https://github.com/goblint/cil.git#2243aad0e34cb59b7d2d18415ab88a7767c108b7"
   ]
   [
     "apron.v0.9.15"
diff --git a/goblint.opam.template b/goblint.opam.template
@@ -3,7 +3,7 @@
 x-maintenance-intent: ["(latest)" "(latest).(latest-1)"] # also keep previous minor version (with two releases per year, always keep a SV-COMP release)
 available: os-family != "bsd" & os-distribution != "alpine" & (arch != "arm64" | os = "macos")
 pin-depends: [
-  [ "goblint-cil.2.0.9" "git+https://github.com/goblint/cil.git#0913d6abce40bfda6b68a61b035c8a53ffb3c6a4" ]
+  [ "goblint-cil.2.0.9" "git+https://github.com/goblint/cil.git#2243aad0e34cb59b7d2d18415ab88a7767c108b7" ]
   # pinned for stability (https://github.com/goblint/analyzer/issues/1520), remove after new apron release
   [ "apron.v0.9.15" "git+https://github.com/antoinemine/apron.git#418a217c7a70dae3f422678f3aaba38ae374d91a" ]
 ]
diff --git a/tests/regression/70-transform/02-deadcode.t b/tests/regression/70-transform/02-deadcode.t
@@ -193,9 +193,9 @@
     basic1(7);
     basic1(3);
     basic1(6);
-    basic2(-3);
-    basic2(-6);
-    basic2(-12);
+    basic2(- 3);
+    basic2(- 6);
+    basic2(- 12);
     one_branch_dead(9);
     one_branch_dead(12);
     f = & uncalled_but_referenced_function;
diff --git a/tests/regression/70-transform/04-unchecked-condition.t b/tests/regression/70-transform/04-unchecked-condition.t
@@ -66,7 +66,7 @@
     f_both(3);
     f_both(9);
     f_true(12);
-    f_false(-3);
+    f_false(- 3);
     }
     return (0);
   }
diff --git a/tests/sv-comp/basic/if_det_incr_true-unreach-call.expected b/tests/sv-comp/basic/if_det_incr_true-unreach-call.expected
@@ -14,7 +14,7 @@
 │          _          │  │
 └─────────────────────┘  │
   │                      │
-  │ Assign 'x = -1'      │ Test (x,false)
+  │ Assign 'x = - 1'     │ Test (x,false)
   ▼                      │
 ┌─────────────────────┐  │
 │          _          │  │

Original file line number	Diff line number	Diff line change
`@@ -102,7 +102,7 @@ dev-repo: "git+https://github.com/goblint/analyzer.git"`
`102`	`102`	`x-maintenance-intent: ["(latest)" "(latest).(latest-1)"] # also keep previous minor version (with two releases per year, always keep a SV-COMP release)`
`103`	`103`	`available: os-family != "bsd" & os-distribution != "alpine" & (arch != "arm64" \| os = "macos")`
`104`	`104`	`pin-depends: [`
`105`		`- [ "goblint-cil.2.0.9" "git+https://github.com/goblint/cil.git#0913d6abce40bfda6b68a61b035c8a53ffb3c6a4" ]`
	`105`	`+ [ "goblint-cil.2.0.9" "git+https://github.com/goblint/cil.git#2243aad0e34cb59b7d2d18415ab88a7767c108b7" ]`
`106`	`106`	`# pinned for stability (https://github.com/goblint/analyzer/issues/1520), remove after new apron release`
`107`	`107`	`[ "apron.v0.9.15" "git+https://github.com/antoinemine/apron.git#418a217c7a70dae3f422678f3aaba38ae374d91a" ]`
`108`	`108`	`]`
Original file line number	Diff line number	Diff line change
`@@ -148,7 +148,7 @@ post-messages: [`
`148`	`148`	`pin-depends: [`
`149`	`149`	`[`
`150`	`150`	`"goblint-cil.2.0.9"`
`151`		`- "git+https://github.com/goblint/cil.git#0913d6abce40bfda6b68a61b035c8a53ffb3c6a4"`
	`151`	`+ "git+https://github.com/goblint/cil.git#2243aad0e34cb59b7d2d18415ab88a7767c108b7"`
`152`	`152`	`]`
`153`	`153`	`[`
`154`	`154`	`"apron.v0.9.15"`
Original file line number	Diff line number	Diff line change
`@@ -3,7 +3,7 @@`
`3`	`3`	`x-maintenance-intent: ["(latest)" "(latest).(latest-1)"] # also keep previous minor version (with two releases per year, always keep a SV-COMP release)`
`4`	`4`	`available: os-family != "bsd" & os-distribution != "alpine" & (arch != "arm64" \| os = "macos")`
`5`	`5`	`pin-depends: [`
`6`		`- [ "goblint-cil.2.0.9" "git+https://github.com/goblint/cil.git#0913d6abce40bfda6b68a61b035c8a53ffb3c6a4" ]`
	`6`	`+ [ "goblint-cil.2.0.9" "git+https://github.com/goblint/cil.git#2243aad0e34cb59b7d2d18415ab88a7767c108b7" ]`
`7`	`7`	`# pinned for stability (https://github.com/goblint/analyzer/issues/1520), remove after new apron release`
`8`	`8`	`[ "apron.v0.9.15" "git+https://github.com/antoinemine/apron.git#418a217c7a70dae3f422678f3aaba38ae374d91a" ]`
`9`	`9`	`]`
Original file line number	Diff line number	Diff line change
`@@ -66,7 +66,7 @@`
`66`	`66`	`f_both(3);`
`67`	`67`	`f_both(9);`
`68`	`68`	`f_true(12);`
`69`		`- f_false(-3);`
	`69`	`+ f_false(- 3);`
`70`	`70`	`}`
`71`	`71`	`return (0);`
`72`	`72`	`}`