C++ 中的 noexcept 如何改变程序集？

C++ 中的 noexcept 如何改变程序集？我在 godbolt 中尝试了一些小功能，但是大会没有改变 https://godbolt.org/#g:!((g:!((g:!((h:codeEditor,i:(j:1,lang:c%2B%2B,source:'float+pi()+%0A//noexcept+//+no+difference%0A%7B+return+3.14%3B+%7D%0A%0Aint+main()%7B%0A++++float+b%7B0%7D%3B%0A++++b+%3D+pi()%3B%0A++++return+0%3B%0A%7D'),l:'5',n:'0',o:'C%2B%2B+source+%231',t:'0')),k:50,l:'4',n:'0',o:'',s:0,t:'0'),(g:!((h:compiler,i:(compiler:g83,filters:(b:'0',binary:'1',commentOnly:'0',demangle:'0',directives:'0',execute:'1',intel:'0',libraryCode:'1',trim:'1'),lang:c%2B%2B,libs:!(),options:'',source:1),l:'5',n:'0',o:'x86-64+gcc+8.3+(Editor+%231,+Compiler+%231)+C%2B%2B',t:'0')),k:50,l:'4',n:'0',o:'',s:0,t:'0')),l:'2',n:'0',o:'',t:'0')),version:4.

float pi() 
//noexcept // no difference
{ return 3.14; }

int main(){
    float b{0};
    b = pi();
    return 0;
}

我正在寻找一个最小的工作示例，在其中我可以看到由于以下原因而导致的程序集发生的变化noexcept.

非常简单的例子可以构造 https://www.godbolt.org/z/MsmafZ直接涉及析构函数而不是内省noexcept status:

void a(int);
void b() noexcept;
void c(int i) {
  struct A {
    int i;
    ~A() {a(i);}
  } a={i};
  b();
  a.i=1;
}

在这里，noexcept允许初始化a in the caller被忽略，因为析构函数无法观察它。

struct B {~B();};
void f();
void g() noexcept {
  B b1;
  f();
  B b2;
}

在这里，noexcept允许省略所需的帧信息，以防callee抛出。这取决于（非常常见的）调用时不展开堆栈的决定std::terminate.