1 /* { dg-options "-g" } */
2 
3 #include "guality.h"
4 
5 void __attribute__ ((__noinline__))
g(void)6 g (void)
7 {
8   asm volatile ("");
9 }
10 
11 int
f(int a)12 f (int a)
13 {
14   g ();
15   GUALCHKVAL (a);
16   return a;
17 }
18 
19 int
main(int argc,char * argv[])20 main (int argc, char *argv[])
21 {
22   f (argc + 2);
23   f (argc + 5);
24 }
25