diff options
author | Richard Biener <rguenther@suse.de> | 2022-11-28 10:25:44 +0100 |
---|---|---|
committer | Richard Biener <rguenther@suse.de> | 2022-11-28 11:17:03 +0100 |
commit | 2b293a949c0fbe21e47c4bc99f807dc941c02bb6 (patch) | |
tree | 5d9e02bd0eb54690ff9fdd0324a66b6f84a86bb7 /gcc/ada | |
parent | 9fa67f1c1228a852e23943a41e68b664172c654c (diff) | |
download | gcc-2b293a949c0fbe21e47c4bc99f807dc941c02bb6.zip gcc-2b293a949c0fbe21e47c4bc99f807dc941c02bb6.tar.gz gcc-2b293a949c0fbe21e47c4bc99f807dc941c02bb6.tar.bz2 |
tree-optimization/107493 - SCEV analysis with conversions
This shows another case where trying to validate conversions during
the CHREC SCC analysis fails because said analysis assumes we are
converting a complete SCC. Like the constraint on the initial
conversion seen restrict all conversions handled to sign-changes.
PR tree-optimization/107493
* tree-scalar-evolution.cc (scev_dfs::follow_ssa_edge_expr):
Only handle no-op and sign-changing conversions.
* gcc.dg/torture/pr107493.c: New testcase.
Diffstat (limited to 'gcc/ada')
0 files changed, 0 insertions, 0 deletions