ASTI: silently skip initial-value equality invariants

Author: sipma

chb/astinterface/ASTInterfaceFunction.py

@@ -272,6 +272,12 @@ def set_invariants(self) -> None:
                         self.astinterface,
                         anonymous=True)
 
+                    if str(var).startswith("astmem_tmp"):
+                        chklogger.logger.info(
+                            "Skipping invariant %s at %s",
+                            str(fact), str(loc))
+                        continue
+
                     varindex = var.index(self.astinterface.serializer)
                     value = fact.value
                     if value.is_singleton_value:
@@ -319,6 +325,12 @@ def set_invariants(self) -> None:
                         instr.iaddr,
                         self.astinterface)
 
+                    if str(var).startswith("astmem_tmp"):
+                        chklogger.logger.info(
+                            "Skipping invariant %s at %s",
+                            str(fact), str(loc))
+                        continue
+
                     aexprindex = aexpr.index(self.astinterface.serializer)
                     aexprs.setdefault(loc, {})
                     aexprs[loc][str(var)] = (varindex, aexprindex, str(aexpr))