trans.c (gnat_to_gnu): Use POINTER_PLUS_EXPR in pointer arithmetics.

	* trans.c (gnat_to_gnu) <N_Free_Statement>: Use POINTER_PLUS_EXPR
	in pointer arithmetics.
	* utils2.c (build_allocator): Likewise.

From-SVN: r131692

gcc/ada/ChangeLog

+2008-01-21  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* trans.c (gnat_to_gnu) <N_Free_Statement>: Use POINTER_PLUS_EXPR
+	in pointer arithmetics.
+	* utils2.c (build_allocator): Likewise.
+
 2008-01-17  Eric Botcazou  <ebotcazou@adacore.com>
 
 	* utils.c (build_function_stub): Properly build the call expression.

gcc/ada/trans.c

@@ -4672,10 +4672,9 @@ gnat_to_gnu (Node_Id gnat_node)
 		 = (void *)GNU_PTR - (void *)sizeof (void *))  */
  	      gnu_ptr
  		= build_binary_op
-		    (MINUS_EXPR, ptr_void_type_node,
+		    (POINTER_PLUS_EXPR, ptr_void_type_node,
 		     convert (ptr_void_type_node, gnu_ptr),
-		     convert (ptr_void_type_node,
-			      TYPE_SIZE_UNIT (ptr_void_type_node)));
+		     size_int (-POINTER_SIZE/BITS_PER_UNIT));
 
  	      /* GNU_PTR (void *) = *(void **)GNU_PTR  */
  	      gnu_ptr

gcc/ada/utils2.c

@@ -2066,10 +2066,9 @@ build_allocator (tree type, tree init, tree result_type, Entity_Id gnat_proc,
 	 front.  */
       {
 	tree ptr_addr
-	  = build_binary_op (MINUS_EXPR, ptr_void_type_node,
+	  = build_binary_op (POINTER_PLUS_EXPR, ptr_void_type_node,
 			     convert (ptr_void_type_node, result),
-			     convert (ptr_void_type_node,
-				      TYPE_SIZE_UNIT (ptr_void_type_node)));
+			     size_int (-POINTER_SIZE/BITS_PER_UNIT));
 
 	tree ptr_ref
 	  = convert (build_pointer_type (ptr_void_type_node), ptr_addr);

gcc/testsuite/ChangeLog

+2008-01-21  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* gnat.dg/specs/alignment1.ads: New test.
+
 2008-01-21  Richard Guenther  <rguenther@suse.de>
 
 	PR c++/34850

gcc/testsuite/gnat.dg/specs/alignment1.ads

+-- { dg-do compile }
+
+package Alignment1 is
+   S : Natural := 20;
+   pragma Volatile (S);
+
+   type Block is array (1 .. S) of Integer;
+   for Block'Alignment use 128;
+
+   B : Block;
+end;