]> git.ipfire.org Git - thirdparty/gcc.git/commit
tree-ssa-ccp.c (likely_value): Calls are not all varying.
authorRichard Guenther <rguenther@suse.de>
Fri, 8 Aug 2008 15:01:05 +0000 (15:01 +0000)
committerRichard Biener <rguenth@gcc.gnu.org>
Fri, 8 Aug 2008 15:01:05 +0000 (15:01 +0000)
commit174ef36d7223171145b3d3eed56b6ebb9a5d63d9
treea4edba721d11775cb5881bd39e35b3624e96afb6
parent70d904ca8edc145e16c7d5720059eb437e439ee2
tree-ssa-ccp.c (likely_value): Calls are not all varying.

2008-08-08  Richard Guenther  <rguenther@suse.de>

* tree-ssa-ccp.c (likely_value): Calls are not all varying.
(surely_varying_stmt_p): Calls are varying only if they are
non-builtin and not indirect or have no result.
(ccp_fold): Re-instantiate code before the tuples merge.

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

From-SVN: r138882
gcc/ChangeLog
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.dg/tree-ssa/ssa-ccp-20.c [new file with mode: 0644]
gcc/tree-ssa-ccp.c