Method output_post_stm_values

src/ReducerOutputMgr.cpp:376–389

}

void
ReducerOutputMgr::output_post_stm_values(const Statement* stm, std::ostream &out, FactMgr* fm, int indent)
{
	// print value of variables that may have been written by the statement
	if (find_stm_in_set(reducer->dump_value_after, stm) != -1) {
		assert(stm->parent);
		string blkid = StringUtils::int2str(stm->parent->stm_id);
		string id = StringUtils::int2str(stm->stm_id);
		out << "/* replacing " << blkid << " " << id << " after" << endl;
		output_write_var_values("values after " + id + "...\\n", stm, out, fm, indent, true);
		output_memory_addrs(stm, out, indent);
		out << "*/" << endl;
	}
}

/*
 * compute the real "meaningful" length of statement or expression