diff options
Diffstat (limited to 'validation')
| -rw-r--r-- | validation/mem2reg/address-used00.c | 1 | ||||
| -rw-r--r-- | validation/optim/address-used01.c | 19 |
2 files changed, 19 insertions, 1 deletions
diff --git a/validation/mem2reg/address-used00.c b/validation/mem2reg/address-used00.c index f2d6c87b..1501bc1c 100644 --- a/validation/mem2reg/address-used00.c +++ b/validation/mem2reg/address-used00.c @@ -13,7 +13,6 @@ int foo(int **g, int j) /* * check-name: address-used00 * check-command: test-linearize -Wno-decl -fdump-ir=final $file - * check-known-to-fail * check-output-ignore * check-output-excludes: ret\\..* \\$1 */ diff --git a/validation/optim/address-used01.c b/validation/optim/address-used01.c new file mode 100644 index 00000000..6ca75ffe --- /dev/null +++ b/validation/optim/address-used01.c @@ -0,0 +1,19 @@ +int foo(int **g, int j) +{ + int i = 1; + int *a; + int **p; + + a = &i; + p = &a; + *p[0] = 0; + return i; +} + +/* + * check-name: address-used01 + * check-command: test-linearize -Wno-decl -fdump-ir=final $file + * check-known-to-fail + * check-output-ignore + * check-output-contains: ret\\..* \\$0 + */ |