Method make_random

src/StatementFor.cpp:268–292

* Generate a somewhat-trivial `for' loop */

 * Generate a somewhat-trivial `for' loop
 */
StatementFor *
StatementFor::make_random(CGContext &cg_context)
{
	FactMgr* fm = get_fact_mgr(&cg_context);
	assert(fm);
	cg_context.get_effect_stm().clear();

	StatementAssign* init = NULL;
	StatementAssign* incr = NULL;
	Expression* test = NULL;
	unsigned int bound = 0;
	const Variable* iv = make_iteration(cg_context, init, test, incr, bound);
	// record the effect and facts before loop body
	Effect pre_effects = cg_context.get_effect_stm();
	vector<const Fact*> pre_facts = fm->global_facts;

	// create CGContext for body
	CGContext body_cg_context(cg_context, cg_context.rw_directive, iv, bound);
	Block *body = Block::make_random(body_cg_context, true);
	ERROR_GUARD_AND_DEL3(NULL, init, test, incr);

	StatementFor* sf = new StatementFor(cg_context.get_current_block(), *init, *test, *incr, *body);
	sf->post_loop_analysis(cg_context, pre_facts, pre_effects);
	return sf;
}

/* generate loop traversing array(s) */
StatementFor *