all_call_input_nodes caller callee call_stmt
call_stmt
caller
callee
all_call_out_nodes ~callee ~caller stmt
stmt
x
copy x
false
true
-impact-skip