Update CIL for unary plus integer promotion

sim642 · sim642 · commit 20c3cceeadb1 · 2026-01-08T15:04:59.000+02:00
diff --git a/goblint.opam b/goblint.opam
@@ -101,7 +101,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#7525631982d49bf70564c16a2cb1c53a1d707788" ]
+  [ "goblint-cil.2.0.9" "git+https://github.com/goblint/cil.git#e21285af8f4408ed5354b1674dab840c43e84712" ]
   # 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
@@ -147,7 +147,7 @@ post-messages: [
 pin-depends: [
   [
     "goblint-cil.2.0.9"
-    "git+https://github.com/goblint/cil.git#7525631982d49bf70564c16a2cb1c53a1d707788"
+    "git+https://github.com/goblint/cil.git#e21285af8f4408ed5354b1674dab840c43e84712"
   ]
   [
     "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#7525631982d49bf70564c16a2cb1c53a1d707788" ]
+  [ "goblint-cil.2.0.9" "git+https://github.com/goblint/cil.git#e21285af8f4408ed5354b1674dab840c43e84712" ]
   # 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" ]
 ]

Original file line number	Diff line number	Diff line change
`@@ -101,7 +101,7 @@ dev-repo: "git+https://github.com/goblint/analyzer.git"`
`101`	`101`	`x-maintenance-intent: ["(latest)" "(latest).(latest-1)"] # also keep previous minor version (with two releases per year, always keep a SV-COMP release)`
`102`	`102`	`available: os-family != "bsd" & os-distribution != "alpine" & (arch != "arm64" \| os = "macos")`
`103`	`103`	`pin-depends: [`
`104`		`- [ "goblint-cil.2.0.9" "git+https://github.com/goblint/cil.git#7525631982d49bf70564c16a2cb1c53a1d707788" ]`
	`104`	`+ [ "goblint-cil.2.0.9" "git+https://github.com/goblint/cil.git#e21285af8f4408ed5354b1674dab840c43e84712" ]`
`105`	`105`	`# pinned for stability (https://github.com/goblint/analyzer/issues/1520), remove after new apron release`
`106`	`106`	`[ "apron.v0.9.15" "git+https://github.com/antoinemine/apron.git#418a217c7a70dae3f422678f3aaba38ae374d91a" ]`
`107`	`107`	`]`
Original file line number	Diff line number	Diff line change
`@@ -147,7 +147,7 @@ post-messages: [`
`147`	`147`	`pin-depends: [`
`148`	`148`	`[`
`149`	`149`	`"goblint-cil.2.0.9"`
`150`		`- "git+https://github.com/goblint/cil.git#7525631982d49bf70564c16a2cb1c53a1d707788"`
	`150`	`+ "git+https://github.com/goblint/cil.git#e21285af8f4408ed5354b1674dab840c43e84712"`
`151`	`151`	`]`
`152`	`152`	`[`
`153`	`153`	`"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#7525631982d49bf70564c16a2cb1c53a1d707788" ]`
	`6`	`+ [ "goblint-cil.2.0.9" "git+https://github.com/goblint/cil.git#e21285af8f4408ed5354b1674dab840c43e84712" ]`
`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`	`]`