Subversion Repositories scarts

// 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 int

bar (T)

{

  return (assert (foo ()), 1);

}

template<> int

bar (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\*" } }