1 /* { dg-do compile { target { nonpic || pie_enabled } } } */
2 /* { dg-options "-O2 -Wsuggest-attribute=const -fno-finite-loops" } */
3 
4 extern int extern_const(int a) __attribute__ ((const));
5 
6 /* Trivial.  */
7 int
foo1(int a)8 foo1(int a)  /* { dg-bogus "normally" "detect const candidate" } */
9 { /* { dg-warning "const" "detect const candidate" { target *-*-* } "8" } */
10   return extern_const (a);
11 }
12 
13 /* Loops known to be normally and extern const calls should be safe.  */
14 
15 int __attribute__ ((noinline))
foo2(int n)16 foo2(int n)  /* { dg-bogus "normally" "detect const candidate" } */
17 { /* { dg-warning "const" "detect const candidate" { target *-*-* } "16" } */
18   int ret = 0;
19   int i;
20   for (i=0; i<n; i++)
21     ret+=extern_const (i);
22   return ret;
23 }
24 
25 /* No warning here; we can work it by ourselves.  */
26 static int __attribute__ ((noinline))
foo2b(int n)27 foo2b(int n)
28 {
29   int ret = 0;
30   int i;
31   for (i=0; i<n; i++)
32     ret+=extern_const (i);
33   return ret;
34 }
35 
36 /* Unbounded loops are not safe.  */
37 static int __attribute__ ((noinline))
foo3(unsigned int n)38 foo3(unsigned int n)  /* { dg-warning "const\[^\n\]* normally" "detect const candidate" } */
39 {
40   int ret = 0;
41   unsigned int i;
42   for (i=0; extern_const (i+n); n++)
43     ret+=extern_const (i);
44   return ret;
45 }
46 
47 int
foo4(int n)48 foo4(int n) /* { dg-warning "const\[^\n\]* normally" "detect const candidate" } */
49 {
50   return foo3(n) + foo2b(n);
51 }
52 
53 int
foo5(int n)54 foo5(int n)  /* { dg-bogus "normally" "detect const candidate" } */
55 { /* { dg-warning "const" "detect const candidate" { target *-*-* } "54" } */
56   return foo2(n);
57 }
58