Make ranger vrp1 default.
authorAndrew MacLeod <amacleod@redhat.com>
Tue, 25 Oct 2022 20:42:41 +0000 (16:42 -0400)
committerAndrew MacLeod <amacleod@redhat.com>
Tue, 1 Nov 2022 13:21:07 +0000 (09:21 -0400)
commite7310e24b1c0ca67b1bb507c1330b2bf39e59e32
tree95af965e4e377930ffd51f637d1d0e4c8b4d97dd
parent7b1cdca6d6d594a8a9d88062252212e145f2f4eb
Make ranger vrp1 default.

Turn on ranger as the default vrp1 pass and adjust testcases.

gcc/
* params.opt (param_vrp1_mode): Make ranger default.

gcc/testsuite/
* gcc.dg/pr68217.c: Test [-INF, -INF][0, 0] instead of [-INF, 0].
* gcc.dg/tree-ssa/vrp-unreachable.c: New.  Test unreachable removal.
gcc/params.opt
gcc/testsuite/gcc.dg/pr68217.c
gcc/testsuite/gcc.dg/tree-ssa/vrp-unreachable.c [new file with mode: 0644]