| 514 | } |
| 515 | |
| 516 | const Expression* |
| 517 | Reducer::get_replaced_invocation(const FunctionInvocation* fi) |
| 518 | { |
| 519 | if (map_reduced_invocations.find(fi) != map_reduced_invocations.end()) { |
| 520 | return map_reduced_invocations[fi]; |
| 521 | } |
| 522 | return NULL; |
| 523 | } |
| 524 | |
| 525 | void |
| 526 | Reducer::get_used_vars_and_funcs_and_labels(const FunctionInvocation* fi, vector<const Variable*>& vars, vector<const Function*>& funcs, vector<string>& labels) |