diff options
Diffstat (limited to 'gcc/testsuite/gcc.dg/tree-ssa/vrp100.c')
-rw-r--r-- | gcc/testsuite/gcc.dg/tree-ssa/vrp100.c | 32 |
1 files changed, 32 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.dg/tree-ssa/vrp100.c b/gcc/testsuite/gcc.dg/tree-ssa/vrp100.c new file mode 100644 index 0000000000..c0fe4b5096 --- /dev/null +++ b/gcc/testsuite/gcc.dg/tree-ssa/vrp100.c @@ -0,0 +1,32 @@ +/* PR tree-optimization/71031 */ +/* { dg-do compile } */ +/* { dg-options "-Os" } */ + +int zj; +int **yr; + +void +nn (void) +{ + unsigned int od = 4; + + for (;;) + { + int lk; + + for (lk = 0; lk < 2; ++lk) + { + static int cm; + + zj = 0; + if (od == 0) + return; + ++od; + for (cm = 0; cm < 2; ++cm) + { + --od; + **yr = 0; + } + } + } +} |