Method remove_function_local_facts

src/FactMgr.cpp:185–214

* remove facts concerning variables local to a function * hint: relevant facts are those concerns variable visible at the end of this function */

 * hint: relevant facts are those concerns variable visible at the end of this function
 */
void
FactMgr::remove_function_local_facts(std::vector<const Fact*>& inputs, const Statement* stm)
{
	size_t i;
	size_t len = inputs.size();
	assert(stm->func);
	const Function* func = stm->func;
	// remove irrelevant facts
	for (i=0; i<len; i++) {
		const Variable* v = inputs[i]->get_var();
		// if it's fact for a local variable of this function, or return variable
		// of another function, we are not interested in them after exit function
		if (func->is_var_on_stack(v, stm) || (v->is_rv() && !func->rv->match(v))) {
			inputs.erase(inputs.begin() + i);
			i--;
			len--;
		}
	}
	// mark any remaining facts that may point to a local vars of this
	// function as "point to garbage"
	for (i=0; i<inputs.size(); i++) {
		if (inputs[i]->eCat == ePointTo) {
			FactPointTo* f = (FactPointTo*)(inputs[i]);
			FactPointTo* new_fact = f->mark_func_end(stm);
			if (new_fact) {
				inputs[i] = new_fact;
			}
		}
	}
}

void
FactMgr::setup_in_out_maps(bool first_time)