本文整理汇总了C++中codet::copy_to_operands方法的典型用法代码示例。如果您正苦于以下问题：C++ codet::copy_to_operands方法的具体用法？C++ codet::copy_to_operands怎么用？C++ codet::copy_to_operands使用的例子？那么恭喜您, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类codet的用法示例。
在下文中一共展示了codet::copy_to_operands方法的1个代码示例，这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞，您的评价将有助于系统推荐出更棒的C++代码示例。
示例1: typecheck_return
void c_typecheck_baset::typecheck_return(codet &code)
{
if(code.operands().empty())
{
if(follow(return_type).id()!=ID_empty)
{
// gcc doesn't actually complain, it just warns!
// We'll put a zero here, which is dubious.
exprt zero=zero_initializer(return_type, code.source_location(), *this, get_message_handler());
code.copy_to_operands(zero);
}
}
else if(code.operands().size()==1)
{
typecheck_expr(code.op0());
if(follow(return_type).id()==ID_empty)
{
// gcc doesn't actually complain, it just warns!
if(follow(code.op0().type()).id()!=ID_empty)
{
warning().source_location=code.source_location();
warning() << "function has return void ";
warning() << "but a return statement returning ";
warning() << to_string(follow(code.op0().type()));
warning() << eom;
code.op0().make_typecast(return_type);
}
}
else
implicit_typecast(code.op0(), return_type);
}
else
{
err_location(code);
error() << "return expected to have 0 or 1 operands" << eom;
throw 0;
}
}