diff options
Diffstat (limited to 'support/valdiag/tests/pointers.c')
| -rw-r--r-- | support/valdiag/tests/pointers.c | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/support/valdiag/tests/pointers.c b/support/valdiag/tests/pointers.c new file mode 100644 index 0000000..16d71b1 --- /dev/null +++ b/support/valdiag/tests/pointers.c @@ -0,0 +1,21 @@ + +#ifdef TEST0 + +typedef void (*fptr1_t)(void); +typedef void (*fptr2_t)(int); + +fptr1_t fptr1; +fptr2_t fptr2; + +void *vp = 0; + +void testPtr(void) +{ + fptr1 = vp; /* WARNING */ + fptr2 = fptr1; /* IGNORE(GCC) */ + vp = fptr1; /* WARNING */ + fptr1 = (void *)0; +} + +#endif + |