ASTI: address missing reaching defs

Author: sipma

chb/app/CHVersion.py

@@ -1 +1 @@
-chbversion: str = "0.3.0-20251011"
+chbversion: str = "0.3.0-20251012"

chb/astinterface/ASTICodeTransformer.py

@@ -72,8 +72,13 @@ def transform_block_stmt(self, stmt: AST.ASTBlock) -> AST.ASTStmt:
         for s in stmt.stmts:
             newstmt = s.transform(self)
             # prune empty blocks that may have been created by the pruning
-            # of redundant if statements
-            if newstmt.is_ast_block and len((cast(AST.ASTBlock, newstmt)).stmts) == 0:
+            # of redundant if statements.
+            # StmtLabels may be intermixed with statements, hence the check
+            # for is_stmt_label.
+            if (
+                    not newstmt.is_stmt_label
+                    and newstmt.is_ast_block
+                    and len((cast(AST.ASTBlock, newstmt)).stmts) == 0):
                 continue
             newstmts.append(newstmt)
 

chb/astinterface/ASTIProvenance.py

@@ -426,6 +426,8 @@ def resolve_reaching_defs(self) -> None:
             for rd in rds:
                 rd = cast("ReachingDefFact", rd)
                 v = str(rd.variable)
+                if v == "PC":
+                    continue
                 addrs = [str(d) for d in rd.deflocations]
                 for addr in addrs:
                     if addr == "init":

chb/astinterface/ASTInterfaceBasicBlock.py

@@ -542,6 +542,11 @@ def trampoline_takedown_ast(self, astree: "ASTInterface") -> AST.ASTStmt:
             raise UF.CHBError("Internal error")
         return self.trampoline_block_ast("fallthrough", astree)
 
+    def trampoline_continue_ast(self, astree: "ASTInterface") -> AST.ASTStmt:
+        if not self.is_trampoline:
+            raise UF.CHBError("Internal error")
+        return self.trampoline_block_ast("continuepath", astree)
+
     def trampoline_ast(self, astree: "ASTInterface") -> AST.ASTStmt:
         stmts: List[AST.ASTStmt] = []
 
@@ -562,4 +567,6 @@ def trampoline_ast(self, astree: "ASTInterface") -> AST.ASTStmt:
                     str(len(self.trampoline_payload_roles)))
         if "fallthrough" in self.trampoline:
             stmts.append(self.trampoline_takedown_ast(astree))
+        if "continuepath" in self.trampoline:
+            stmts.append(self.trampoline_continue_ast(astree))
         return astree.mk_block(stmts)