Method create_random_array

src/VariableSelector.cpp:1318–1358

* create an array of random type, non-qualifier, with random initial value, in a random block (or as global) */

 * create an array of random type, non-qualifier, with random initial value, in a random block (or as global)
 */
ArrayVariable*
VariableSelector::create_random_array(const CGContext& cg_context)
{
	bool as_global = CGOptions::global_variables() && rnd_flipcoin(25);
	ERROR_GUARD(NULL);
	string name;
	Block* blk = 0;
	Function* func = cg_context.get_current_func();
	if (as_global) {
		name = RandomGlobalName();
	}
	else {
		name = RandomLocalName();
		size_t index = rnd_upto(func->stack.size());
		ERROR_GUARD(NULL);
		blk = func->stack[index];
		blk = expand_block_for_goto(blk, cg_context);
	}
	const Type* type = 0;
	do {
		// don't make life complicated, restrict local variables to non-volatile
		type = as_global ? Type::choose_random_nonvoid() : Type::choose_random_nonvoid_nonvolatile();
		ERROR_GUARD(NULL);
	} while (type->is_const_struct_union() || !cg_context.accept_type(type));
	CVQualifiers qfer;
	qfer.add_qualifiers(false, false);

	Expression* init = Constant::make_random(type);
	ArrayVariable* av = ArrayVariable::CreateArrayVariable(cg_context, blk, name, type, init, &qfer, NULL);
	AllVars.push_back(av);

	// make the points-to fact known to DFA
	FactMgr* fm = get_fact_mgr(&cg_context);
	if (as_global) {
		fm->add_new_var_fact_and_update_inout_maps(NULL, av);
		cg_context.get_current_func()->new_globals.push_back(av);
	} else {
		fm->add_new_var_fact_and_update_inout_maps(blk, av);
	}
	return av;
}

/*
 * select a random array variable, or generate a new one if none available