process transitive inferred ranges in pre_fold_stmt.
authorAndrew MacLeod <amacleod@redhat.com>
Wed, 9 Nov 2022 15:58:15 +0000 (10:58 -0500)
committerAndrew MacLeod <amacleod@redhat.com>
Fri, 11 Nov 2022 15:07:50 +0000 (10:07 -0500)
commitdab5d73959cfc8f03cba548777adda9a798e1f0e
tree236cc905e8c2c4036b40b8a3a36e85253676d42f
parentca1db2725a3232b2e15eaa1bd7fbe33927843476
process transitive inferred ranges in pre_fold_stmt.

The subst_and_fold engine can perform some folding activity before
calling fold_stmt, so do this work in pre_fold_stmt instead.

* tree-vrp.cc (rvrp_folder::rvrp_folder): Init m_last_bb_stmt.
(rvrp_folder::pre_fold_bb): Set m_last_bb_stmt.
(rvrp_folder::pre_fold_stmt): Check for transitive inferred ranges.
(rvrp_folder::fold_stmt): Check in pre_fold_stmt instead.
gcc/tree-vrp.cc