diff options
| author | ebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4> | 2008-01-21 11:58:53 +0000 |
|---|---|---|
| committer | ebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4> | 2008-01-21 11:58:53 +0000 |
| commit | fc3206bfa1c5f74af7ff45f7c434eace4da023bb (patch) | |
| tree | aa77f817652cdf34b0dad8f745745c1b64d9be43 | |
| parent | b062512299bee752669ab0e4732867260eeb7bfb (diff) | |
| download | ppe42-gcc-fc3206bfa1c5f74af7ff45f7c434eace4da023bb.tar.gz ppe42-gcc-fc3206bfa1c5f74af7ff45f7c434eace4da023bb.zip | |
* trans.c (gnat_to_gnu) <N_Free_Statement>: Use POINTER_PLUS_EXPR
in pointer arithmetics.
* utils2.c (build_allocator): Likewise.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@131692 138bc75d-0d04-0410-961f-82ee72b054a4
| -rw-r--r-- | gcc/ada/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/ada/trans.c | 5 | ||||
| -rw-r--r-- | gcc/ada/utils2.c | 5 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/testsuite/gnat.dg/specs/alignment1.ads | 11 |
5 files changed, 25 insertions, 6 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 33293cf9096..f571ec962c2 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,9 @@ +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. diff --git a/gcc/ada/trans.c b/gcc/ada/trans.c index 5b04972b2d2..c79ed4dbd3f 100644 --- a/gcc/ada/trans.c +++ b/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 diff --git a/gcc/ada/utils2.c b/gcc/ada/utils2.c index b8f59477af5..a2a7be4c135 100644 --- a/gcc/ada/utils2.c +++ b/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); diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 04ad10cd032..e15a98f6839 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,7 @@ +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 diff --git a/gcc/testsuite/gnat.dg/specs/alignment1.ads b/gcc/testsuite/gnat.dg/specs/alignment1.ads new file mode 100644 index 00000000000..cffcba138ca --- /dev/null +++ b/gcc/testsuite/gnat.dg/specs/alignment1.ads @@ -0,0 +1,11 @@ +-- { 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; |
