From a8fee9482f156705563bc70af58254b3d8a1292d Mon Sep 17 00:00:00 2001 From: Richard Kenner Date: Wed, 10 Oct 2001 22:01:14 +0000 Subject: decl.c: (validate_size): Do check size of object of integral type if... * decl.c: (validate_size): Do check size of object of integral type if it is a packed array type. From-SVN: r46162 --- gcc/ada/decl.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'gcc/ada/decl.c') diff --git a/gcc/ada/decl.c b/gcc/ada/decl.c index 34a01cd..5845110 100644 --- a/gcc/ada/decl.c +++ b/gcc/ada/decl.c @@ -5516,7 +5516,7 @@ validate_size (uint_size, gnu_type, gnat_object, kind, component_p, zero_ok) need not do it here (which would entail checking against the bounds). However, if this is an aliased object, it may not be smaller than the type of the object. */ - if (INTEGRAL_TYPE_P (gnu_type) + if (INTEGRAL_TYPE_P (gnu_type) && ! TYPE_PACKED_ARRAY_TYPE_P (gnu_type) && ! (kind == VAR_DECL && Is_Aliased (gnat_object))) return size; -- cgit v1.1