我正在
http://llvm.org/demo里面运行以下片段:
class X { public: ~X() __attribute((nothrow)); };
void a(X* p);
void nothr() throw();
void b() { try { X x; a(&x); } catch (X* foo) { nothr(); } }
我看到一些调用(例如,func_llvm_eh_typeid_for)设置了Attribute :: NoUnwind:
CallInst* int32_71 = CallInst::Create(func_llvm_eh_typeid_for, const_ptr_43, "", label_49);
int32_71->setCallingConv(CallingConv::C);
int32_71->setTailCall(false);
AttrListPtr int32_71_PAL;
{
SmallVector<AttributeWithIndex, 4> Attrs;
AttributeWithIndex PAWI;
PAWI.Index = 4294967295U; PAWI.Attrs = 0 | Attribute::NoUnwind;
Attrs.push_back(PAWI);
int32_71_PAL = AttrListPtr::get(Attrs.begin(), Attrs.end());
}
int32_71->setAttributes(int32_71_PAL);
由于这个调用是用CallInst而不是InvokeInst创建的,所以我认为调用本身不能抛出,所以它让我想知道在这种情况下Unwind属性的用途是什么?
最佳答案 这意味着您不必担心生成异常处理代码或进行优化,就好像异常可以通过该代码段传播,因为您已经说过它没有.如果有人碰巧遇到那么它应该正确传播到程序中的下一个堆栈帧.