Method random_qualifiers

src/CVQualifiers.cpp:215–246

* generate a random CV qualifier vector that is looser or stricter than this one */

 * generate a random CV qualifier vector that is looser or stricter than this one
 */
CVQualifiers
CVQualifiers::random_qualifiers(bool no_volatile, Effect::Access access, const CGContext &cg_context) const
{
	std::vector<bool> volatiles;
	std::vector<bool> consts;
	if (wildcard) {
		return CVQualifiers(true, accept_stricter);
	}
	// use non-volatile for all levels if requested
	if (no_volatile) {
		for (size_t i=0; i<is_volatiles.size(); i++) {
			volatiles.push_back(false);
		}
	}
	else {
		volatiles = !accept_stricter ? random_looser_volatiles() : random_stricter_volatiles();
		ERROR_GUARD(CVQualifiers(consts, volatiles));
		if (!cg_context.get_effect_context().is_side_effect_free()) {
			volatiles[volatiles.size() - 1] = false;
		}
	}

	ERROR_GUARD(CVQualifiers(consts, volatiles));
	make_scalar_volatiles(volatiles);
	consts = !accept_stricter ? random_looser_consts() : random_stricter_consts();
	make_scalar_consts(consts);
	ERROR_GUARD(CVQualifiers(consts, volatiles));
	if (access == Effect::WRITE) {
		consts[consts.size() - 1] = false;
	}
	return CVQualifiers(consts, volatiles);
}

/*
 * generate a random CV qualifier vector that is looser than this one