Method build_invocation

src/FunctionInvocationUser.cpp:257–312

* Internal helper function. */

 * Internal helper function.
 */
bool
FunctionInvocationUser::build_invocation(Function *target, CGContext &cg_context)
{
	unsigned int i;
	func = target;			// XXX: unnecessary; done by constructor
	Effect running_eff_context(cg_context.get_effect_context());
	FactMgr* fm = get_fact_mgr(&cg_context);
	// XXX DEBUGGING
	if (func->name == "func_36" && cg_context.get_current_func()->name=="func_22") {
	 	i = 0; // Set breakpoint here.
	}

	for (i = 0; i < func->param.size(); i++) {
		Effect param_eff_accum;
		CGContext param_cg_context(cg_context, running_eff_context, &param_eff_accum);
		Variable* v = func->param[i];
		// to avoid too much function invocations as parameters
		Expression *p = Expression::make_random_param(param_cg_context, v->type, &v->qfer);
		ERROR_GUARD(false);
		// typecast, if needed.
		p->check_and_set_cast(v->type);
		param_value.push_back(p);
		// Update the "running effect context": the context that we must use
		// when we generate subsequent parameters within this invocation.
		running_eff_context.add_effect(param_eff_accum);
		// Update the total effect of this invocation, too.
		cg_context.merge_param_context(param_cg_context);
	}

	// no need to validate func_1 as it has no parameters and it's called only once
	// in addition, the hack (calling func_1 in a func_1 context) we used would
	// ruin DFA
	failed = false;
	if (target != GetFirstFunction() && (target->fact_changed || target->union_field_read || target->is_pointer_referenced())) {
		// revisit with a new context
		Effect effect_accum;
		// retrive the context effect in prev. visits, and include them for this visit
		Effect effect_context = cg_context.get_effect_context();
		effect_context.add_effect(func->accum_eff_context);
		CGContext new_context(cg_context, func, effect_context, &effect_accum);
		failed = !revisit(fm->global_facts, new_context);
		// incorporate facts from revisit
		if (!failed) {
			assert(cg_context.get_current_block());
			cg_context.add_visible_effect(*new_context.get_effect_accum(), cg_context.get_current_block());
			Effect& func_effect = func->feffect;
			func_effect.add_external_effect(*new_context.get_effect_accum(), cg_context.call_chain);
		}
	}
	else {
		// if the function neither change pointer facts, nor dereference pointer (which means
		// the read/write set are static, no need to re-analyze
		cg_context.add_external_effect(func->get_feffect());
	}
	return !failed;
}

/*