foo(int k)1void foo (int k) 2 { 3 volatile int *b = & k; 4 b++; 5 *b = 5; 6 } 7 main()8int 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