#include <cstdlib>
int foo1 (int i)
{
switch (i)
{
case 1:
case 2:
return i;
}
abort();
}
int foo2 (int i)
{
switch (i)
{
case 1:
case 2:
return i;
}
std::abort();
}
int foo3 (int i)
{
switch (i)
{
case 1:
case 2:
return i;
}
exit(1);
}
int foo4 (int i)
{
switch (i)
{
case 1:
case 2:
return i;
}
std::exit(1);
}
void __attribute__ ((__noreturn__)) foo5 ()
{
abort();
}
void __attribute__ ((__noreturn__)) foo6 ()
{
std::abort();
}
void __attribute__ ((__noreturn__)) foo7 ()
{
exit(1);
}
void __attribute__ ((__noreturn__)) foo8 ()
{
std::exit(1);
}