I agree that the generated code is leagal wrt. the standard and that code for NeverCalled is generated because it is visible outside the translation unit. Howe

I agree that the generated code is leagal wrt. the standard and that code for NeverCalled is generated because it is visible outside the translation unit. However, to me it looks as if the assembly contains code for main (label main: is present) and EraseAll got inlined into main. This seems reasonable once you believe that the compiler can, due to undefined behavior, assume DO to be EraseAll.