Fix bug in FunctionReachableFromPublic_Metadata

nevillegrech · Jan 17, 2024 · e310129 · e310129
1 parent 681c193
commit e310129
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/clientlib/dominators.dl b/clientlib/dominators.dl
@@ -331,9 +331,10 @@ FunctionReachableFromPublic(callee, selector, @list_append(callerStack, callerBl
 FunctionReachableFromPublic_Metadata(function, selectorNorm, nil, nil, nil):-
   PublicFunctionId(function, selectorNorm, _).
 
-FunctionReachableFromPublic_Metadata(callee, selector, @list_append(callerStack, callerBlock), @list_append(originalCalls, original), @list_append(functionsCalled, callee)):-
+FunctionReachableFromPublic_Metadata(callee, selector, @list_append(callerStack, callerBlock), @list_concat(originalCalls, originalList), @list_concat(@list_append(functionsCalled, callee), inlinedFuns)):-
   FunctionReachableFromPublic_Metadata(caller, selector, callerStack, originalCalls, functionsCalled),
   InFunction(callerBlock, caller),
   CallGraphEdge(callerBlock, callee),
   Block_Tail(callerBlock, callStmt),
-  Statement_OriginalStatement(callStmt, original).
+  Statement_OriginalStatementList(callStmt, originalList),
+  Statement_InlineInfo(callStmt, inlinedFuns).