1 void foo (int k)
2 {
3 volatile int *b = & k;
4 b++;
5 *b = 5;
6 }
7
8 int main ()
9 {
10 foo (5);
11 return 0;
12 }
13 /* { dg-output "mudflap violation 1.*" } */
14 /* { dg-output "Nearby object.*" } */
15 /* { dg-output "mudflap object.*k" } */
16 /* { dg-do run { xfail *-*-* } } */
17