Method make_random_binary

src/SafeOpFlags.cpp:188–240

}

SafeOpFlags*
SafeOpFlags::make_random_binary(const Type *rv_type, const Type *op1_type, const Type *op2_type,
			SafeOpKind op_kind, eBinaryOps bop)
{
	DEPTH_GUARD_BY_TYPE_RETURN_WITH_FLAG(dtSafeOpFlags, op_kind, NULL);
	SafeOpFlags *flags = new SafeOpFlags();
	assert("new SafeOpFlags fail!");
	bool rv_is_float = return_float_type(rv_type, op1_type, op2_type, bop);

	// floating point is always signed
	if (rv_is_float) {
		if (op_kind == sOpBinary) {
			assert(FunctionInvocation::BinaryOpWorksForFloat(bop) && "Invalid binary op");
		}
		flags->op1_ = true;
	}
	else {
		flags->op1_ = rnd_flipcoin(SafeOpsSignedProb);
	}
	ERROR_GUARD_AND_DEL1(NULL, flags);

	if (op_kind == sOpBinary) {
		if (rv_is_float)
			flags->op2_ = true;
		else
			flags->op2_ = rnd_flipcoin(SafeOpsSignedProb);
		ERROR_GUARD_AND_DEL1(NULL, flags);
	}
	else {
		flags->op2_ = flags->op1_;
	}

	// ISSUE: in the old code, is_func is always true
	// Probably need to be fixed later.
	flags->is_func_ = true;

	MspSafeOpSizeFilter *filter = new MspSafeOpSizeFilter(bop);
	Probabilities::register_extra_filter(pSafeOpsSizeProb, filter);

	if (rv_is_float) {
		assert(CGOptions::enable_float());
		flags->op_size_ = sFloat;
	}
	else {
		flags->op_size_ = (SafeOpSize)rnd_upto(MAX_SAFE_OP_SIZE-1, SAFE_OPS_SIZE_PROB_FILTER);
	}
	Probabilities::unregister_extra_filter(pSafeOpsSizeProb, filter);
	ERROR_GUARD_AND_DEL2(NULL, flags, filter);

	//Probabilities::unregister_extra_filter(pSafeOpsSizeProb, filter);
	delete filter;
	return flags;
}

SafeOpFlags *
SafeOpFlags::clone() const