optimization, useful in extreme cases

nevillegrech · Mar 19, 2024 · da473f3 · da473f3
1 parent 10de8a7
commit da473f3
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/clientlib/flows.dl b/clientlib/flows.dl
@@ -89,8 +89,8 @@
 
    // Case: forward inter-procedural assignment only
    GlobalFlows(from, to) :-
-      InterFunctionActualArgFlow(actual, to),
-      GlobalFlows(from, actual).
+      GlobalFlows(from, actual),
+      InterFunctionActualArgFlow(actual, to).
 }
 
 .init standardflowanalysis = GlobalFlowAnalysis