Merge pull request #166 from nevillegrech/inliner_bug

Fix inliner bug: Add missing facts in InVar_OutVar
nevillegrech · Nov 22, 2024 · 2b44314 · 2b44314
2 parents d6db984 + 5053d43
commit 2b44314
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/clientlib/tac-transformers/abstract_function_inliner.dl b/clientlib/tac-transformers/abstract_function_inliner.dl
@@ -400,6 +400,9 @@
     stmtId = cat(cat(cat(cat(callerBlock, "S"), phiBlock), "_"), to_string(i)),
     defVar = cat(cat(cat(cat(actualRet, "V"), phiBlock), "_"), to_string(i)).
 
+  InVar_OutVar(actualRet, "", defVar):-
+    NewPHIInfo(_, _, actualRet, _, _, defVar, _).
+
   Out_Statement_Defines(outStmt, outVar, i),
   InVar_OutVar(inVar, callerBlock, outVar),
   VariableToClone(inVar, fromFun, callerBlock, callerFun, outVar):-