diff options
author | Patrick Palka <ppalka@gcc.gnu.org> | 2016-07-26 15:19:58 +0000 |
---|---|---|
committer | Patrick Palka <ppalka@gcc.gnu.org> | 2016-07-26 15:19:58 +0000 |
commit | 524cf1e47a27e8a89390a46235b979e41781f618 (patch) | |
tree | a53f8a1a5848309a51cb3d1a26203dfdbb2631c6 /gcc/java/java-gimplify.c | |
parent | 100665d8d7460dab7a2c324a50ea8ac720ad9c43 (diff) | |
download | gcc-524cf1e47a27e8a89390a46235b979e41781f618.zip gcc-524cf1e47a27e8a89390a46235b979e41781f618.tar.gz gcc-524cf1e47a27e8a89390a46235b979e41781f618.tar.bz2 |
Teach VRP to register assertions along default switch labels (PR18046)
gcc/ChangeLog:
PR tree-optimization/18046
* genmodes.c (emit_mode_size_inline): Emit an assert that
verifies that mode is a valid array index.
(emit_mode_nuinits_inline): Likewise.
(emit_mode_inner_inline): Likewise.
(emit_mode_unit_size_inline): Likewise.
(emit_mode_unit_precision_inline): Likewise.
* tree-vrp.c: Include params.h.
(find_switch_asserts): Register edge assertions for the default
label which correspond to the anti-ranges of each case label.
* params.def (PARAM_MAX_VRP_SWITCH_ASSERTIONS): New.
* doc/invoke.texi: Document it.
gcc/testsuite/ChangeLog:
PR tree-optimization/18046
* gcc.dg/tree-ssa/ssa-dom-thread-6.c: Bump FSM count to 5.
* gcc.dg/tree-ssa/vrp103.c: New test.
* gcc.dg/tree-ssa/vrp104.c: New test.
From-SVN: r238761
Diffstat (limited to 'gcc/java/java-gimplify.c')
0 files changed, 0 insertions, 0 deletions