2012-08-10 Richard Guenther <rguenther@suse.de>
authorrguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 10 Aug 2012 08:33:57 +0000 (08:33 +0000)
committerrguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 10 Aug 2012 08:33:57 +0000 (08:33 +0000)
commite208bd44f4cec1c63d914b7b1d4d9a76aad5f649
tree43053999250c5d3d6737bf5f2ad532a3798eb474
parentec11736b57986660deef21d6375d2f23edf290d2
2012-08-10  Richard Guenther  <rguenther@suse.de>

PR tree-optimization/54027
* tree-vrp.c (extract_range_from_binary_expr_1): Merge RSHIFT_EXPR
and LSHIFT_EXPR handling, force -fwrapv for the multiplication used
to handle LSHIFT_EXPR with a constant.

* gcc.dg/torture/pr54027.c: New testcase.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@190286 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ChangeLog
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.dg/torture/pr54027.c [new file with mode: 0644]
gcc/tree-vrp.c