1 /* PR bootstrap/34003 */
2 /* { dg-do compile } */
3 /* { dg-options "-O0" } */
4 
5 extern void abort (void);
6 
7 int seen = 0;
8 
foo(void)9 void foo (void)
10 {
11   ++seen;
12 }
13 
main(void)14 int main (void)
15 {
16   extern int bar (void);
17   if (bar () != 1 || seen != 1)
18     abort ();
19   return 0;
20 }
21