本文整理汇总了C++中typet::is_nil方法的典型用法代码示例。如果您正苦于以下问题：C++ typet::is_nil方法的具体用法？C++ typet::is_nil怎么用？C++ typet::is_nil使用的例子？那么, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类typet的用法示例。
在下文中一共展示了typet::is_nil方法的1个代码示例，这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞，您的评价将有助于系统推荐出更棒的C++代码示例。
示例1: make_type_compatible
void jsil_typecheckt::make_type_compatible(
exprt &expr,
const typet &type,
bool must)
{
if(type.id().empty() || type.is_nil())
{
err_location(expr);
error() << "make_type_compatible got empty type: " << expr.pretty() << eom;
throw 0;
}
if(expr.type().id().empty() || expr.type().is_nil())
{
// Type is not yet set
update_expr_type(expr, type);
return;
}
if(must)
{
if(jsil_incompatible_types(expr.type(), type))
{
err_location(expr);
error() << "failed to typecheck expr "
<< expr.pretty() << " with type "
<< expr.type().pretty()
<< "; required type " << type.pretty() << eom;
throw 0;
}
}
else if(!jsil_is_subtype(type, expr.type()))
{
// Types are not compatible
typet upper=jsil_union(expr.type(), type);
update_expr_type(expr, upper);
}
}