C++ (Cpp) ExpressionVariable::check_and_set_cast示例

示例#1

文件： StatementReturn.cpp 项目： jxyang/csmith

StatementReturn *
StatementReturn::make_random(CGContext &cg_context)
{
	Function *curr_func = cg_context.get_current_func();
	assert(curr_func);
	FactMgr* fm = get_fact_mgr(&cg_context);
	assert(fm); 

	ExpressionVariable* ev = ExpressionVariable::make_random(cg_context, curr_func->return_type, &curr_func->rv->qfer, false, true); 
	// typecast, if needed.
	ev->check_and_set_cast(curr_func->return_type);
	// XXX
	

	StatementReturn* sr = new StatementReturn(cg_context.get_current_block(), *ev);
	return sr;
}