re PR rtl-optimization/56434 (document that __attribute__((__malloc__)) assumes…

re PR rtl-optimization/56434 (document that __attribute__((__malloc__)) assumes returned pointer has BIGGEST_ALIGNMENT)

2013-03-25  Richard Biener  <rguenther@suse.de>

	PR middle-end/56434
	* calls.c (expand_call): Use MALLOC_ABI_ALIGNMENT to annotate
	the pointer returned by calls with ECF_MALLOC set.

From-SVN: r197030

gcc/ChangeLog

+2013-03-25  Richard Biener  <rguenther@suse.de>
+
+	PR middle-end/56434
+	* calls.c (expand_call): Use MALLOC_ABI_ALIGNMENT to annotate
+	the pointer returned by calls with ECF_MALLOC set.
+
 2013-03-24  Uros Bizjak  <ubizjak@gmail.com>
 
 	* config/i386/mmx.md (mov<mode>): Add ?!Ym,r and r,?!Ym alternatives.

gcc/calls.c

@@ -3188,7 +3188,7 @@ expand_call (tree exp, rtx target, int ignore)
 
 	  /* The return value from a malloc-like function is a pointer.  */
 	  if (TREE_CODE (rettype) == POINTER_TYPE)
-	    mark_reg_pointer (temp, BIGGEST_ALIGNMENT);
+	    mark_reg_pointer (temp, MALLOC_ABI_ALIGNMENT);
 
 	  emit_move_insn (temp, valreg);