FreeChainXenon/gcc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

re PR ada/23427 (latent bug with array type size check)

Browse source 
2005-11-03  James E Wilson  <wilson@specifix.com>

	PR ada/23427
        * trans.c (gnat_to_gnu): Use TYPE_SIZE_UNIT not TYPE_SIZE in
        TREE_OVERFLOW check.

From-SVN: r106452
This commit is contained in:
James E Wilson 2005-11-03 22:13:03 +00:00 • committed by Laurent Guerby
parent f2bd1eb944
commit 720981287a
2 changed files with 8 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
gcc/ada/ChangeLog
View file

@ -1,3 +1,9 @@
2005-11-03 James E Wilson <wilson@specifix.com>
PR ada/23427
* trans.c (gnat_to_gnu): Use TYPE_SIZE_UNIT not TYPE_SIZE in
TREE_OVERFLOW check.
2005-09-21 Olivier Hainque <hainque@adacore.com>
PR ada/22418

4
gcc/ada/trans.c
View file

@ -3423,8 +3423,8 @@ gnat_to_gnu (Node_Id gnat_node)
/* If the type has a size that overflows, convert this into raise of
Storage_Error: execution shouldn't have gotten here anyway. */
if (TREE_CODE (TYPE_SIZE (TREE_TYPE (gnu_lhs))) == INTEGER_CST
&& TREE_OVERFLOW (TYPE_SIZE (TREE_TYPE (gnu_lhs))))
if (TREE_CODE (TYPE_SIZE_UNIT (TREE_TYPE (gnu_lhs))) == INTEGER_CST
&& TREE_OVERFLOW (TYPE_SIZE_UNIT (TREE_TYPE (gnu_lhs))))
gnu_result = build_call_raise (SE_Object_Too_Large);
else if (Nkind (Expression (gnat_node)) == N_Function_Call
&& !Do_Range_Check (Expression (gnat_node)))