diff options
| author | dnovillo <dnovillo@138bc75d-0d04-0410-961f-82ee72b054a4> | 2005-04-11 22:06:46 +0000 |
|---|---|---|
| committer | dnovillo <dnovillo@138bc75d-0d04-0410-961f-82ee72b054a4> | 2005-04-11 22:06:46 +0000 |
| commit | ee36b91530f2dd72acb5a204a445ff1f417d2505 (patch) | |
| tree | ea3a6eedbf40f8febad0a55f21fd8d5f0af2123d /gcc/lambda-code.c | |
| parent | a5ac7fc326df28a68d0147a5203839762d5de30c (diff) | |
| download | ppe42-gcc-ee36b91530f2dd72acb5a204a445ff1f417d2505.tar.gz ppe42-gcc-ee36b91530f2dd72acb5a204a445ff1f417d2505.zip | |
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
Diffstat (limited to 'gcc/lambda-code.c')
0 files changed, 0 insertions, 0 deletions
