tree-ssa-structalias.c (find_func_aliases): Add constraints for the lhs of calls…

tree-ssa-structalias.c (find_func_aliases): Add constraints for the lhs of calls if the return type contains pointers.

2008-06-03  Richard Guenther  <rguenther@suse.de>

	* tree-ssa-structalias.c (find_func_aliases): Add constraints
	for the lhs of calls if the return type contains pointers.

From-SVN: r136315

gcc/ChangeLog

+2008-06-03  Richard Guenther  <rguenther@suse.de>
+
+	* tree-ssa-structalias.c (find_func_aliases): Add constraints
+	for the lhs of calls if the return type contains pointers.
+
 2008-06-03  Kai Tietz  <kai.tietz@onevision.com>
 
 	* doc/tm.texi (OVERRIDE_ABI_FORMAT): New.

gcc/tree-ssa-structalias.c

@@ -3726,7 +3726,7 @@ find_func_aliases (tree origt)
 	  if (TREE_CODE (t) == GIMPLE_MODIFY_STMT)
 	    {
 	      handle_rhs_call (GIMPLE_STMT_OPERAND (t, 1));
-	      if (POINTER_TYPE_P (TREE_TYPE (GIMPLE_STMT_OPERAND (t, 1))))
+	      if (could_have_pointers (GIMPLE_STMT_OPERAND (t, 1)))
 		handle_lhs_call (GIMPLE_STMT_OPERAND (t, 0));
 	    }
 	  else