tree-vrp.c (get_value_range): Only set parameter default definitions to varying,...
authorRichard Guenther <rguenther@suse.de>
Fri, 29 Jul 2011 09:24:23 +0000 (09:24 +0000)
committerRichard Biener <rguenth@gcc.gnu.org>
Fri, 29 Jul 2011 09:24:23 +0000 (09:24 +0000)
commita9b332d4faa42a781340b354d8a9f6426d6e3ebd
tree3ff702d99bd1b72a7e57dcb5000b12ec28ee85d6
parent17b3c7a2dbccfb4dcb7d78e0c974a0ad212262a9
tree-vrp.c (get_value_range): Only set parameter default definitions to varying, leave others at undefined.

2011-07-29  Richard Guenther  <rguenther@suse.de>

* tree-vrp.c (get_value_range): Only set parameter default
definitions to varying, leave others at undefined.
(extract_range_from_binary_expr): Fix undefined handling.
(vrp_visit_phi_node): Handle merged undefined state.

* gcc.dg/uninit-suppress.c: Also disable VRP.
* gcc.dg/uninit-suppress_2.c: Likewise.

From-SVN: r176918
gcc/ChangeLog
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.dg/uninit-suppress.c
gcc/testsuite/gcc.dg/uninit-suppress_2.c
gcc/tree-vrp.c