diff options
| author | Richard Biener <rguenther@suse.de> | 2022-09-06 10:42:50 +0200 |
|---|---|---|
| committer | Richard Biener <rguenther@suse.de> | 2022-09-06 10:55:31 +0200 |
| commit | 1a4e1425f8498580994e32ceb3c50bd52616a82d (patch) | |
| tree | c34cf1dcf777fdf7584169fc98c3270798afedfd /gcc | |
| parent | e33e61d417eb5e981bb7d709f8681a2f55ed518a (diff) | |
| download | gcc-1a4e1425f8498580994e32ceb3c50bd52616a82d.zip gcc-1a4e1425f8498580994e32ceb3c50bd52616a82d.tar.gz gcc-1a4e1425f8498580994e32ceb3c50bd52616a82d.tar.bz2 | |
tree-optimization/106844 - fix ICE in init_use_preds
The following fixes an oversight in the last change to
compute_control_dep_chain where we have to return whether we found
a chain.
PR tree-optimization/106844
* gimple-predicate-analysis.cc (compute_control_dep_chain):
Return whether we found a chain.
* gcc.dg/pr106844.c: New testcase.
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/gimple-predicate-analysis.cc | 2 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/pr106844.c | 16 |
2 files changed, 17 insertions, 1 deletions
diff --git a/gcc/gimple-predicate-analysis.cc b/gcc/gimple-predicate-analysis.cc index 681047d..ef2906e 100644 --- a/gcc/gimple-predicate-analysis.cc +++ b/gcc/gimple-predicate-analysis.cc @@ -1077,7 +1077,7 @@ compute_control_dep_chain (basic_block dom_bb, const_basic_block dep_bb, if (dump_file) fprintf (dump_file, "param_uninit_control_dep_attempts " "exceeded: %u\n", *num_calls); - return false; + break; } ++*num_calls; diff --git a/gcc/testsuite/gcc.dg/pr106844.c b/gcc/testsuite/gcc.dg/pr106844.c new file mode 100644 index 0000000..df68d76 --- /dev/null +++ b/gcc/testsuite/gcc.dg/pr106844.c @@ -0,0 +1,16 @@ +/* { dg-do compile } */ +/* { dg-options "-O -Wuninitialized --param uninit-control-dep-attempts=1" } */ + +struct { + int count; + int array[8]; +} fde_merge_v1; + +void +fde_merge_i2() { + unsigned i1; + do + while (i1 && fde_merge_v1.array[i1 - 1]) /* { dg-warning "uninitialized" } */ + i1--; + while (fde_merge_i2); +} |