tree-ssa-structalias.c (find_func_aliases_for_builtin_call): Fix handling of BUILT_IN...

	* tree-ssa-structalias.c (find_func_aliases_for_builtin_call): Fix
	handling of BUILT_IN_ASSUME_ALIGNED.

From-SVN: r175695

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index fceef96979dc23577009bf9d1efa678b21b470c7..cf9bfa218dad3ca52894dc6f08977d0dbf034569 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,5 +1,8 @@
 2011-06-30  Jakub Jelinek  <jakub@redhat.com>
 
+       * tree-ssa-structalias.c (find_func_aliases_for_builtin_call): Fix
+       handling of BUILT_IN_ASSUME_ALIGNED.
+
        PR debug/49364
        * dwarf2out.c (output_abbrev_section): Don't return early
        if abbrev_die_table_in_use is 1.

diff --git a/gcc/tree-ssa-structalias.c b/gcc/tree-ssa-structalias.c
index f7862072d14952ca91dd762ce464c599a69eb946..dba8b015ecb337be95a60a22b5bcc32eabe298d7 100644 (file)
--- a/gcc/tree-ssa-structalias.c
+++ b/gcc/tree-ssa-structalias.c
@@ -4002,7 +4002,6 @@ find_func_aliases_for_builtin_call (gimple t)
       case BUILT_IN_STPCPY_CHK:
       case BUILT_IN_STRCAT_CHK:
       case BUILT_IN_STRNCAT_CHK:
-      case BUILT_IN_ASSUME_ALIGNED:
        {
          tree res = gimple_call_lhs (t);
          tree dest = gimple_call_arg (t, (DECL_FUNCTION_CODE (fndecl)
@@ -4068,6 +4067,20 @@ find_func_aliases_for_builtin_call (gimple t)
          VEC_free (ce_s, heap, lhsc);
          return true;
        }
+      case BUILT_IN_ASSUME_ALIGNED:
+       {
+         tree res = gimple_call_lhs (t);
+         tree dest = gimple_call_arg (t, 0);
+         if (res != NULL_TREE)
+           {
+             get_constraint_for (res, &lhsc);
+             get_constraint_for (dest, &rhsc);
+             process_all_all_constraints (lhsc, rhsc);
+             VEC_free (ce_s, heap, lhsc);
+             VEC_free (ce_s, heap, rhsc);
+           }
+         return true;
+       }
       /* All the following functions do not return pointers, do not
         modify the points-to sets of memory reachable from their
         arguments and do not add to the ESCAPED solution.  */