OSDN Git Service

* uintp.h (UI_Lt): Declare.
authorebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4>
Sat, 17 Apr 2010 14:16:36 +0000 (14:16 +0000)
committerebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4>
Sat, 17 Apr 2010 14:16:36 +0000 (14:16 +0000)
commit3e70070e2728b17a16ceef391b6c74911db31065
tree7bfc84cbad5fe9e5614c7e2adf4638dcbff4f0ee
parent647e1499c83eb4b92b27f361fc3a5854c93576a0
* uintp.h (UI_Lt): Declare.
* gcc-interface/decl.c (gnat_to_gnu_entity) <E_Array_Type>: Do the size
computation in sizetype.
<E_Array_Subtype>: Use unified handling for all index types.  Do not
generate MAX_EXPR-based expressions, only COND_EXPR-based ones.  Add
bypass for PATs.
(annotate_value): Change test for negative values.
(validate_size): Apply test for negative values on GNAT nodes.
(set_rm_size): Likewise.
* gcc-interface/misc.c (gnat_init): Set unsigned types for sizetypes.
* gcc-interface/utils.c (rest_of_record_type_compilation): Change test
for negative values.
(max_size) <MINUS_EXPR>: Do not reassociate a COND_EXPR on the LHS.
(builtin_type_for_size): Adjust definition of signed_size_type_node.
* gcc-interface/utils2.c (compare_arrays): Optimize comparison of
lengths against zero.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@158466 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ada/ChangeLog
gcc/ada/gcc-interface/decl.c
gcc/ada/gcc-interface/misc.c
gcc/ada/gcc-interface/utils.c
gcc/ada/gcc-interface/utils2.c
gcc/ada/uintp.h
gcc/testsuite/ChangeLog
gcc/testsuite/gnat.dg/sizetype1.adb [moved from gcc/testsuite/gnat.dg/sizetype.adb with 91% similarity]
gcc/testsuite/gnat.dg/sizetype2.adb [new file with mode: 0644]