ada-tree.h (TYPE_NULL_BOUNDS): New macro.
authorEric Botcazou <ebotcazou@adacore.com>
Mon, 26 Sep 2011 07:52:58 +0000 (07:52 +0000)
committerEric Botcazou <ebotcazou@gcc.gnu.org>
Mon, 26 Sep 2011 07:52:58 +0000 (07:52 +0000)
commit50179d5882b4abaed3c5deaa6a3068e01956fe29
tree8d0ae965ac4142c79fa9762852ce25e5e0cdf3bf
parent382346e535ff0d18de34888258c948e908646fb6
ada-tree.h (TYPE_NULL_BOUNDS): New macro.

* gcc-interface/ada-tree.h (TYPE_NULL_BOUNDS): New macro.
(SET_TYPE_NULL_BOUNDS): Likewise.
* gcc-interface/decl.c (gnat_to_gnu_entity) <E_Array_Type>: Set again
TREE_THIS_NOTRAP on the INDIRECT_REF node built for the template.
* gcc-interface/trans.c (Identifier_to_gnu): Return initializers of fat
pointer types.
* gcc-interface/utils.c (create_var_decl_1): If the object is external,
check that the initializer is a valid constant expression for use in
initializing a static variable.  Add missing guard.
(update_pointer_to): Adjust TYPE_NULL_BOUNDS if set.
(convert_to_fat_pointer): In the null fat pointer case, build a valid
pointer for the bounds.
* gcc-interface/utils2.c (compare_fat_pointers): New function.
(build_binary_op) <EQ_EXPR>: Call it to compare fat pointers.

From-SVN: r179180
gcc/ada/ChangeLog
gcc/ada/gcc-interface/ada-tree.h
gcc/ada/gcc-interface/decl.c
gcc/ada/gcc-interface/trans.c
gcc/ada/gcc-interface/utils.c
gcc/ada/gcc-interface/utils2.c