projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3f1c227) | patch
re PR tree-optimization/14495 ([tree-ssa] Propagate range info into a switch statement)
authorRichard Guenther <rguenther@suse.de>
Wed, 2 Apr 2008 12:51:37 +0000 (12:51 +0000)
committerRichard Biener <rguenth@gcc.gnu.org>
Wed, 2 Apr 2008 12:51:37 +0000 (12:51 +0000)
commit8aea0bf08194b3bb9699c0a71ad02284b7a4ebc0
tree23a10d74974f7021e66efdb167fb9636ec9973c2tree
parent3f1c2278049e83b151ed3a2abbc31b8ac5b54f60commit | diff
re PR tree-optimization/14495 ([tree-ssa] Propagate range info into a switch statement)

2008-04-02  Richard Guenther  <rguenther@suse.de>

PR tree-optimization/14495
* tree-vrp.c (vrp_visit_cond_stmt): Do not handle
SWITCH_EXPR here ...
(vrp_visit_switch_stmt): ... but here (new function).
(find_case_label_index): New helper function.
(vrp_visit_stmt): Dispatch to vrp_visit_switch_stmt.

* gcc.dg/tree-ssa/vrp40.c: New testcase.

From-SVN: r133834
gcc/ChangeLog diff | blob | history
gcc/testsuite/ChangeLog diff | blob | history
gcc/testsuite/gcc.dg/tree-ssa/vrp40.c [new file with mode: 0644] blob
gcc/tree-vrp.c diff | blob | history