Regressiontests

chc/app/CHVersion.py

@@ -1 +1 @@
-chcversion: str = "0.2.0-2026-06-06"
+chcversion: str = "0.2.0-2026-06-18"

chc/proof/CProofDiagnostic.py

@@ -130,7 +130,10 @@ def invsmap(self) -> Dict[int, List[int]]:
                     for n in inode.findall("arg"):
                         xargindex = n.get("a")
                         xarginvs = n.get("i")
-                        if xargindex is not None and xarginvs is not None:
+                        if (
+                                xargindex is not None
+                                and xarginvs is not None
+                                and not (xarginvs == '')):
                             self._invsmap[int(xargindex)] = [
                                 int(x) for x in xarginvs.split(",")]
         return self._invsmap

tests/kendra/id279Q/id279Q.json

@@ -190,7 +190,16 @@
                             "predicate": "signed-to-signed-cast-ub",
                             "status": "safe",
                             "tgtstatus": "safe"
+                        },
+                        {
+                            "cfgctxt": "instr:1_stmt:1",
+                            "expctxt": "2op:2_2op:1_mem_lhs",
+                            "line": 58,
+                            "predicate": "int-overflow",
+                            "status": "open",
+                            "tgtstatus": "open"
                         }
+
                     ]
                 }
             }
@@ -385,6 +394,14 @@
                             "predicate": "signed-to-signed-cast-ub",
                             "status": "safe",
                             "tgtstatus": "safe"
+                        },
+                        {
+                            "cfgctxt": "instr:1_stmt:1",
+                            "expctxt": "2op:2_2op:1_mem_lhs",
+                            "line": 58,
+                            "predicate": "int-overflow",
+                            "status": "open",
+                            "tgtstatus": "open"
                         }
                     ]
                 }
@@ -580,6 +597,14 @@
                             "predicate": "signed-to-signed-cast-ub",
                             "status": "safe",
                             "tgtstatus": "safe"
+                        },
+                        {
+                            "cfgctxt": "instr:1_stmt:1",
+                            "expctxt": "2op:2_2op:1_mem_lhs",
+                            "line": 58,
+                            "predicate": "int-overflow",
+                            "status": "open",
+                            "tgtstatus": "open"
                         }
                     ]
                 }
@@ -775,6 +800,14 @@
                             "predicate": "signed-to-signed-cast-ub",
                             "status": "safe",
                             "tgtstatus": "safe"
+                        },
+                        {
+                            "cfgctxt": "instr:1_stmt:1",
+                            "expctxt": "2op:2_2op:1_mem_lhs",
+                            "line": 58,
+                            "predicate": "int-overflow",
+                            "status": "open",
+                            "tgtstatus": "open"
                         }
                     ]
                 }