r135680 - in /branches/gcc-4_3-branch/gcc: Chan...

[rguenth@gcc.gnu.org]

Author: rguenth
Date: Tue May 20 21:03:59 2008
New Revision: 135680

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=135680
Log:
2008-05-20  Richard Guenther  <rguenther@suse.de>

	Backport from mainline:
	2008-05-15  Richard Guenther  <rguenther@suse.de>

        PR tree-optimization/34330
        * tree-ssa-alias.c (get_smt_for): Only assert that accesses
        through the pointer will alias the SMT.

        * gcc.dg/torture/pr34330.c: New testcase.

        PR middle-end/36244
        * tree-ssa-alias.c (new_type_alias): Do not set TREE_READONLY.
        * tree-flow-inline.h (unmodifiable_var_p): Memory tags never
        represent unmodifiable vars.

        * gcc.dg/torture/pr36244.c: New testcase.

Added:
    branches/gcc-4_3-branch/gcc/testsuite/gcc.dg/torture/pr34330.c
      - copied unchanged from r135329, trunk/gcc/testsuite/gcc.dg/torture/pr34330.c
    branches/gcc-4_3-branch/gcc/testsuite/gcc.dg/torture/pr36244.c
      - copied unchanged from r135336, trunk/gcc/testsuite/gcc.dg/torture/pr36244.c
Modified:
    branches/gcc-4_3-branch/gcc/ChangeLog
    branches/gcc-4_3-branch/gcc/testsuite/ChangeLog
    branches/gcc-4_3-branch/gcc/tree-flow-inline.h
    branches/gcc-4_3-branch/gcc/tree-ssa-alias.c