review.tizen.org Git - platform/upstream/gcc.git/commit

author	Richard Guenther <rguenther@suse.de>
	Thu, 19 Jul 2012 11:48:46 +0000 (11:48 +0000)
committer	Richard Biener <rguenth@gcc.gnu.org>
	Thu, 19 Jul 2012 11:48:46 +0000 (11:48 +0000)
commit	95cbf8515a67cc41daa12f858d5db1277f1f2fa0
tree	cecadf196c7add77fde32a7370d3bee46bd56089	tree \| snapshot
parent	cd1cae3590e875901f0abbd61be8c3109c03d5bc	commit \| diff

tree-ssa-ccp.c (valid_lattice_transition): Clarify comment about transition from invariant to known bits.

2012-07-19 Richard Guenther <rguenther@suse.de>
Eric Botcazou <ebotcazou@adacore.com>

* tree-ssa-ccp.c (valid_lattice_transition): Clarify comment
about transition from invariant to known bits.
(likely_value): Addresses with UNDEFINED components are
UNDEFINED.

* gnat.dg/loop_optimization11.adb: New testcase.
* gnat.dg/loop_optimization11_pkg.ads: Likewise.

Co-Authored-By: Eric Botcazou <ebotcazou@adacore.com>
From-SVN: r189650

gcc/ChangeLog		diff \| blob \| history
gcc/testsuite/ChangeLog		diff \| blob \| history
gcc/testsuite/gnat.dg/loop_optimization11.adb	[new file with mode: 0644]	blob
gcc/testsuite/gnat.dg/loop_optimization11_pkg.ads	[new file with mode: 0644]	blob
gcc/tree-ssa-ccp.c		diff \| blob \| history