* config/rs6000/darwin.h (SUBTARGET_OPTIONS): Move from here, to...

[pf3gnuchains/gcc-fork.git] / gcc / tree-ssa.c

diff --git a/gcc/tree-ssa.c b/gcc/tree-ssa.c
index dd79b5a..743c084 100644 (file)
--- a/gcc/tree-ssa.c
+++ b/gcc/tree-ssa.c
@@ -433,18 +433,6 @@ verify_flow_sensitive_alias_info (void)
          goto err;
        }
 
-      if (pi->pt_anything && (pi->pt_malloc || pi->pt_vars))
-       {
-         error ("Pointers that point to anything should not point to malloc or other vars");
-         goto err;
-       }
-      
-      if (pi->pt_malloc && pi->pt_vars)
-       {
-         error ("Pointers pointing to malloc get a unique tag and cannot point to other vars");
-         goto err;
-       }
-
       if (pi->name_mem_tag
          && !pi->pt_malloc
          && (pi->pt_vars == NULL
@@ -925,7 +913,6 @@ propagate_into_addr (tree stmt, tree var, tree *x, tree repl)
       || TREE_OPERAND (*x, 0) != var)
     return;
 
-  modify_stmt (stmt);
   if (TREE_TYPE (*x) == TREE_TYPE (addr_var))
     {
       *x = addr_var;
@@ -933,6 +920,7 @@ propagate_into_addr (tree stmt, tree var, tree *x, tree repl)
       return;
     }
 
+
   /* Frontends sometimes produce expressions like *&a instead of a[0].
      Create a temporary variable to handle this case.  */
   ass_stmt = build2 (MODIFY_EXPR, void_type_node, NULL_TREE, repl);