annotate libmudflap/testsuite/libmudflap.c/fail32-frag.c @ 32:59194914942b
add documents.
CbC-INSTALL: howto build the gcc for various systems.
CbC-implementation.ja: methods of implementation for CbC's statement.
| author |
kent <kent@cr.ie.u-ryukyu.ac.jp> |
| date |
Tue, 08 Dec 2009 14:07:28 +0900 |
| parents |
a06113de4d67 |
| children |
|
| rev |
line source |
|
0
|
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 *-*-* } } */
|
