1 // Test that noreturn attributes are properly set.
2 // Origin: Kaveh Ghazi <ghazi@caip.rutgers.edu> 2002-06-18.
4 // { dg-options "-Wall -O2" }
52 void __attribute__ ((__noreturn__)) foo5 ()
57 void __attribute__ ((__noreturn__)) foo6 ()
62 void __attribute__ ((__noreturn__)) foo7 ()
67 void __attribute__ ((__noreturn__)) foo8 ()