diff options
| author | Richard Biener <rguenther@suse.de> | 2022-08-19 15:11:14 +0200 |
|---|---|---|
| committer | Richard Biener <rguenther@suse.de> | 2022-08-30 10:05:38 +0200 |
| commit | f71abacfed170852ab25485e5c52f8d5aad7c2a0 (patch) | |
| tree | aa71d253d28d289d9948a9c85fd066ccceda1a2f /gcc/value-range.h | |
| parent | bfaa6807defb18874e4c4b6b8608fe0afee7d7b8 (diff) | |
| download | gcc-f71abacfed170852ab25485e5c52f8d5aad7c2a0.zip gcc-f71abacfed170852ab25485e5c52f8d5aad7c2a0.tar.gz gcc-f71abacfed170852ab25485e5c52f8d5aad7c2a0.tar.bz2 | |
Use reachability analysis to improve uninit diagnostic
This patch does what the comment in uninit diagnostic suggests.
When the value-numbering run done without optimizing figures there's
a fallthru path, consider blocks on it as always executed.
* tree-ssa-uninit.cc (warn_uninitialized_vars): Pre-compute
the set of fallthru reachable blocks from function entry
and use that to determine wlims.always_executed.
Diffstat (limited to 'gcc/value-range.h')
0 files changed, 0 insertions, 0 deletions