Add missing facts in InVar_OutVar

nevillegrech · Nov 19, 2024 · 5053d43 · 5053d43
1 parent d6db984
commit 5053d43
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):-