------- Comment #39 from rguenth at gcc dot gnu dot org 2007-10-25 11:06 ------- No, in general noreturn functions cannot be treated as novops. Consider
void __attribute__((noreturn,noinline)) my_main(int *ret) { exit(*ret); } int main() { int ret = 0; my_main (&ret); } without VOPs we would remove the store to ret. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32921