Method output_block_skeleton

src/Reducer.cpp:313–363

}

void
Reducer::output_block_skeleton(const Block* blk, vector<const Block*>& work_blks, vector<const Function*>& work_funcs, std::ostream& out)
{
	size_t i, j;
	vector<const Block*> blks;
	vector<const FunctionInvocationUser*> funcalls;
	vector<const Function*> uniq_funcs;
	out << "****** block: " << blk->stm_id << " ******" << endl;
	for (i=0; i<blk->stms.size(); i++) {
		const Statement* stm = blk->stms[i];
		funcalls.clear();
		uniq_funcs.clear();
		stm->get_called_funcs(funcalls);
		stm->get_blocks(blks);
		out << stm->stm_id;
		if (funcalls.size() > 0) {
			// find the unique functions that was called
			for (j=0; j<funcalls.size(); j++) {
				const Function* f = funcalls[j]->get_func();
				if (find_function_in_set(uniq_funcs, f) == -1) {
					uniq_funcs.push_back(f);
				}
			}
			// print the unique functions, add them to work list if necessary
			out << "(";
			for (j=0; j<uniq_funcs.size(); j++) {
				if (j > 0) {
					out << ", ";
				}
				const Function* f = uniq_funcs[j];
				if (find_function_in_set(work_funcs, f) == -1) {
					work_funcs.push_back(f);
				}
				out << f->name;
			}
			out << ")";
		}
		if (blks.size() > 0) {
			out << "{";
			for (j=0; j<blks.size(); j++) {
				if (j > 0) {
					out << ", ";
				}
				work_blks.push_back(blks[j]);
				out << blks[j]->stm_id;
			}
			out << "}";
		}
		out << endl;
	}
}

bool
Reducer::is_blk_deleted(const Block* b) const