diff options
| author | Richard Biener <rguenther@suse.de> | 2022-08-30 10:31:26 +0200 |
|---|---|---|
| committer | Richard Biener <rguenther@suse.de> | 2022-08-31 13:03:43 +0200 |
| commit | 40f347881ade08fe9c0f8b527f8b54bd53aed195 (patch) | |
| tree | 1644e196990772e357966bfdbb326179d9baf750 /gcc/gimple-predicate-analysis.h | |
| parent | 0cf736575286f841f6144bd58b981c269652b82e (diff) | |
| download | gcc-40f347881ade08fe9c0f8b527f8b54bd53aed195.zip gcc-40f347881ade08fe9c0f8b527f8b54bd53aed195.tar.gz gcc-40f347881ade08fe9c0f8b527f8b54bd53aed195.tar.bz2 | |
tree-optimization/65244 - include asserts in predicates for uninit
When uninit computes the actual predicates from the control dependence
edges it currently skips those that are assert-like (where one edge
leads to a block which ends in a noreturn call). That leads to
bogus uninit diagnostics when applied on the USE side.
PR tree-optimization/65244
* gimple-predicate-analysis.h (predicate::init_from_control_deps):
Add argument to specify whether the predicate is for the USE.
* gimple-predicate-analysis.cc (predicate::init_from_control_deps):
Also include predicates effective fallthru control edges when
the predicate is for the USE.
* gcc.dg/uninit-pr65244-2.c: New testcase.
Diffstat (limited to 'gcc/gimple-predicate-analysis.h')
| -rw-r--r-- | gcc/gimple-predicate-analysis.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/gimple-predicate-analysis.h b/gcc/gimple-predicate-analysis.h index 48da8f7..bc0248d 100644 --- a/gcc/gimple-predicate-analysis.h +++ b/gcc/gimple-predicate-analysis.h @@ -65,7 +65,7 @@ class predicate return m_preds; } - void init_from_control_deps (const vec<edge> *, unsigned); + void init_from_control_deps (const vec<edge> *, unsigned, bool); void dump (gimple *, const char *) const; |