blob: 06608ae30ebb23a92f59ebe69d3dcbe23761d6d4 [file] [log] [blame]
// PR c++/6794
// Test whether __PRETTY_FUNCTION__ works in templates, functions and
// in initializers at global scope
// { dg-do compile }
// { dg-options "" }
extern "C" void __assert_fail (const char *, const char *,
unsigned int, const char *)
throw() __attribute__((noreturn));
extern "C" void abort (void);
extern "C" void exit (int);
#define str(expr) #expr
#define assert(expr) \
((expr) ? 0 : (__assert_fail (str(expr), __FILE__, __LINE__, \
__PRETTY_FUNCTION__), 0))
int __attribute__((noinline))
foo (void)
{
return 1;
}
template<class T> int
bar (T)
{
return (assert (foo ()), 1);
}
template<> int
bar<int> (int)
{
return (assert (foo ()), 2);
}
int a = (assert (foo ()), 1);
int b = (assert (foo ()), 2);
int
main ()
{
double c = 1.0;
unsigned char *d = 0;
int e = (assert (foo ()), 3);
bar (c);
bar (d);
bar (e);
}
namespace N
{
int f = (assert (foo ()), 4);
}
void __attribute__((noinline))
__assert_fail (const char *cond, const char *file, unsigned int line,
const char *pretty) throw ()
{
abort ();
}
// { dg-final { scan-assembler "int bar\\(T\\).*with T = int" } }
// { dg-final { scan-assembler "top level" } }
// { dg-final { scan-assembler "int main\\(\\)" } }
// { dg-final { scan-assembler "int bar\\(T\\).*with T = double" } }
// { dg-final { scan-assembler "int bar\\(T\\).*with T = unsigned char\*" } }