diff options
| author | Richard Biener <rguenther@suse.de> | 2020-11-26 16:13:08 +0100 |
|---|---|---|
| committer | Richard Biener <rguenther@suse.de> | 2020-11-26 16:18:07 +0100 |
| commit | c76b3f9e83353a4cd437ca137c1fb835c9b5c21f (patch) | |
| tree | 307b34cd670b366a27dfb9eded7bc6c87902715f /gcc/gcse-common.c | |
| parent | 5c197b83e12b634b65a449d8a7375a18f350708e (diff) | |
| download | gcc-c76b3f9e83353a4cd437ca137c1fb835c9b5c21f.zip gcc-c76b3f9e83353a4cd437ca137c1fb835c9b5c21f.tar.gz gcc-c76b3f9e83353a4cd437ca137c1fb835c9b5c21f.tar.bz2 | |
tree-optimization/97953 - fix bougs range recorded by EVRP
EVRP records some ranges from asserts into SSA_NAME_RANGE_INFO
but fails to assert that the condition the range is derived from
is always true after the SSA names definition. The patch implements
the simplest post-dominance check, basic-block equality.
2020-11-26 Richard Biener <rguenther@suse.de>
PR tree-optimization/97953
* gimple-ssa-evrp-analyze.c
(evrp_range_analyzer::record_ranges_from_incoming_edge): Make
sure the condition post-dominates the SSA definition before
recording into SSA_NAME_RANGE_INFO.
* gcc.dg/pr97953.c: New testcase.
Diffstat (limited to 'gcc/gcse-common.c')
0 files changed, 0 insertions, 0 deletions