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/value-range.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/value-range.h')
0 files changed, 0 insertions, 0 deletions