diff options
Diffstat (limited to 'validation/mem2reg/volatile-store00.c')
| -rw-r--r-- | validation/mem2reg/volatile-store00.c | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/validation/mem2reg/volatile-store00.c b/validation/mem2reg/volatile-store00.c new file mode 100644 index 00000000..d565037a --- /dev/null +++ b/validation/mem2reg/volatile-store00.c @@ -0,0 +1,27 @@ +void foo(volatile int *p) +{ + *p = 0; + *p = 0; +} + +void bar(void) +{ + extern volatile int i; + i = 0; + i = 0; +} + + +void baz(void) +{ + volatile int i; + i = 0; + i = 0; +} + +/* + * check-name: keep volatile stores + * check-command: test-linearize -Wno-decl -fdump-ir=mem2reg $file + * check-output-ignore + * check-output-pattern(1,6): store\\. + */ |