Method select_array

src/VariableSelector.cpp:1363–1399

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

 * select a random array variable, or generate a new one if none available
 */
ArrayVariable*
VariableSelector::select_array(const CGContext &cg_context)
{
	const Block* b = cg_context.get_current_block();
	vector<Variable*> vars = find_all_visible_vars(b);
	vector<ArrayVariable*> array_vars;
	size_t i, len;
	for (i=0; i<vars.size(); i++) {
		if (!vars[i]->isArray)
			continue;

		ArrayVariable* av = dynamic_cast<ArrayVariable*>(vars[i]);
		assert(av);
		if (av->collective != 0)
			continue;

		if (!cg_context.get_effect_context().is_read_partially(av) &&
			!cg_context.get_effect_context().is_written_partially(av) &&
			(cg_context.get_effect_context().is_side_effect_free() || !av->is_volatile()) &&
			!av->is_const() &&
			!cg_context.is_nonwritable(av) &&
			!av->type->is_const_struct_union()) {

			if (CGOptions::strict_volatile_rule() && av->is_volatile())
				continue;
			array_vars.push_back(av);
		}
	}
	len = array_vars.size();
	if (len == 0) {
		return create_random_array(cg_context);
	}
	if (len == 1) return array_vars[0];
	size_t index = rnd_upto(len);
	ERROR_GUARD(NULL);
	return array_vars[index];
}

/* given a collective array, create a member out of induction variables in the context */
ArrayVariable*