OSDN Git Service

2008-08-08 Richard Guenther <rguenther@suse.de>
authorrguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 8 Aug 2008 15:01:05 +0000 (15:01 +0000)
committerrguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 8 Aug 2008 15:01:05 +0000 (15:01 +0000)
commitf257af647d2a3072d42969f7a4f10933d8a5c018
treea4edba721d11775cb5881bd39e35b3624e96afb6
parent1bd37fcf7e1e9d8ea93e5bbc15e40034839db882
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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138882 138bc75d-0d04-0410-961f-82ee72b054a4
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