all_call_input_nodes caller callee call_stmt find all the nodes above call_stmt in the pdg of caller that define the inputs of callee.
all_call_input_nodes caller callee call_stmt
call_stmt
caller
callee
all_call_out_nodes ~callee ~caller stmt find all the nodes of callee that define the Call/Out nodes of caller for the call to callee that occurs at stmt.
all_call_out_nodes ~callee ~caller stmt
stmt
Compute the impact analysis from the impact pragma in the program.
Deep copy: no possible sharing between x and copy x.
x
copy x
Is there some element satisfying the given predicate?
Compute the impact analysis of the given set of PDG nodes, that come from the given function.
Compute the impact analysis of the given statement.
Nodes impacted in a given function
To compute the impact of a statement, find the initial PDG nodes that must be put in the worklist.
Does the given element belong to the set?
Impact of a list of PDG nodes as a set of nodes
Impact of a list of PDG nodes coming from the same function
Impact of a list stmts coming from the same function
Transform a set of PDG nodes into a set of statements
Set the boolean to false.
false
Set the boolean to true.
true
Transform the result of an analysis into a set of PDG nodes
computed from the option -impact-skip
-impact-skip
Impact of a list of statements as a set of statements