| commit | ee36b91530f2dd72acb5a204a445ff1f417d2505 | |
| author | dnovillo <dnovillo@138bc75d-0d04-0410-961f-82ee72b054a4> | |
| Mon, 11 Apr 2005 22:06:46 +0000 (11 22:06 +0000) | ||
| committer | dnovillo <dnovillo@138bc75d-0d04-0410-961f-82ee72b054a4> | |
| Mon, 11 Apr 2005 22:06:46 +0000 (11 22:06 +0000) | ||
| tree | ea3a6eedbf40f8febad0a55f21fd8d5f0af2123d | treesnapshot (tar.gz zip) |
| parent | a5ac7fc326df28a68d0147a5203839762d5de30c | commitdiff |
PR tree-optimization/20933
* tree-ssa-alias.c (compute_flow_insensitive_aliasing): Move
logic to reject aliases between read-only and writable
variables ...
(may_alias_p): ... here.
(get_tmt_for): Do not associate read-only tags to pointers
whose pointed-to type is not read-only.
* tree-ssa.c (verify_ssa): Check that memory stores have at
least one V_MAY_DEF or V_MUST_DEF.
testsuite/ChangeLog
PR tree-optimization/20933
* gcc.dg/tree-ssa/pr20933.c: New test.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@97988 138bc75d-0d04-0410-961f-82ee72b054a4
* tree-ssa-alias.c (compute_flow_insensitive_aliasing): Move
logic to reject aliases between read-only and writable
variables ...
(may_alias_p): ... here.
(get_tmt_for): Do not associate read-only tags to pointers
whose pointed-to type is not read-only.
* tree-ssa.c (verify_ssa): Check that memory stores have at
least one V_MAY_DEF or V_MUST_DEF.
testsuite/ChangeLog
PR tree-optimization/20933
* gcc.dg/tree-ssa/pr20933.c: New test.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@97988 138bc75d-0d04-0410-961f-82ee72b054a4