summaryrefslogtreecommitdiff
path: root/gcc/testsuite/g++.dg/ext/pretty2.C
blob: 0c05da9b70d9b7b544def20447c3c903c7cf97fd (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
// PR c++/6794
// Test whether __PRETTY_FUNCTION__ works in templates, functions and
// in initializers at global scope
// { dg-do run }
// { 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 ();
}