MCPcopy Create free account
hub / github.com/csmith-project/csmith / output_block_entry_msg

Method output_block_entry_msg

src/ReducerOutputMgr.cpp:342–361  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

340}
341
342void
343ReducerOutputMgr::output_block_entry_msg(const Block* blk, std::ostream &out, int indent)
344{
345 if (reducer->dump_block_entry) {
346 const Statement* s = blk->find_container_stm();
347 if (s && s->eType == eFor) {
348 output_tab(out, indent);
349 out << "static int cnt = 0;" << endl;
350 output_tab(out, indent++);
351 out << "if (cnt++ < 1000) {" << endl;
352 }
353 string msg = "entering " + blk->func->name + "@" + StringUtils::int2str(blk->stm_id) + "\\n";
354 output_print_str(out, msg, "", indent);
355 outputln(out);
356 if (s && s->eType == eFor) {
357 output_tab(out, --indent);
358 out << "}" << endl;
359 }
360 }
361}
362
363void
364ReducerOutputMgr::output_pre_stm_values(const Statement* stm, std::ostream &out, FactMgr* fm, int indent)

Callers

nothing calls this directly

Calls 4

output_tabFunction · 0.85
output_print_strFunction · 0.85
outputlnFunction · 0.85
find_container_stmMethod · 0.80

Tested by

no test coverage detected