Method select_must_use_var

src/VariableSelector.cpp:1458–1497

}

const Variable*
VariableSelector::select_must_use_var(Effect::Access access, CGContext &cg_context, const Type* type, const CVQualifiers* qfer)
{
	if (cg_context.rw_directive == NULL) return NULL;

	const Variable* var = 0;
	VariableSet& vars = (access == Effect::READ) ? cg_context.rw_directive->must_read_vars : cg_context.rw_directive->must_write_vars;
	eMatchType mt = (access == Effect::READ) ? eFlexible : eDerefExact;
	for (size_t i=0; i<vars.size(); i++) {
		const Variable* v = vars[i];
		if (v->is_visible(cg_context.get_current_block())) {
			if (type->match(v->type, mt) && (!qfer || qfer->match(v->qfer))) {
				int deref_level = v->type->get_indirect_level() - type->get_indirect_level();
				// for LHS, make sure the array type is not constant after dereference
				if (access == Effect::WRITE && v->qfer.is_const_after_deref(deref_level)) {
					continue;
				}

				if (v->isArray) {
					const ArrayVariable* av = dynamic_cast<const ArrayVariable*>(v);
					var = VariableSelector::itemize_array(cg_context, av);
				} else {
					var = v;
				}
			}
			else if (0) {//var = v->match_field(type, mt)) { // JYTODO: match a field of array of structs
				if (v->isArray) {
					//var = VariableSelector::select_random_array_var(var, cg_context.ivs);
				}
			}
		}
		if (var) {
			if (rnd_flipcoin(75)) {
				vars.erase(vars.begin() + i);
			}
			break;
		}
	}
	return var;
}

ArrayVariable*
VariableSelector::create_mutated_array_var(const ArrayVariable* av, const vector<const Expression*>& new_indices)