From ff67c0a549cae6bdcb345c030853c3cadda5fb8c Mon Sep 17 00:00:00 2001 From: Eric Botcazou Date: Thu, 29 Oct 2009 18:36:21 +0000 Subject: decl.c (make_type_from_size): Do not create integer types with precision 0. * gcc-interface/decl.c (make_type_from_size) : Do not create integer types with precision 0. From-SVN: r153722 --- gcc/ada/ChangeLog | 5 +++++ gcc/ada/gcc-interface/decl.c | 4 ++++ gcc/testsuite/ChangeLog | 4 ++++ gcc/testsuite/gnat.dg/pack14.adb | 15 +++++++++++++++ 4 files changed, 28 insertions(+) create mode 100644 gcc/testsuite/gnat.dg/pack14.adb (limited to 'gcc') diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index f92adbc..fb7e4b7 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,5 +1,10 @@ 2009-10-29 Eric Botcazou + * gcc-interface/decl.c (make_type_from_size) : Do not + create integer types with precision 0. + +2009-10-29 Eric Botcazou + * gcc-interface/decl.c (array_type_has_nonaliased_component): Swap parameters and rewrite comments. For a derived type, return the setting of its parent type. diff --git a/gcc/ada/gcc-interface/decl.c b/gcc/ada/gcc-interface/decl.c index cd13e21..c4d5e26 100644 --- a/gcc/ada/gcc-interface/decl.c +++ b/gcc/ada/gcc-interface/decl.c @@ -7737,6 +7737,10 @@ make_type_from_size (tree type, tree size_tree, bool for_biased) biased_p = (TREE_CODE (type) == INTEGER_TYPE && TYPE_BIASED_REPRESENTATION_P (type)); + /* Integer types with precision 0 are forbidden. */ + if (size == 0) + size = 1; + /* Only do something if the type is not a packed array type and doesn't already have the proper size. */ if (TYPE_PACKED_ARRAY_TYPE_P (type) diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 2617493..044dd74 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,7 @@ +2009-10-29 Eric Botcazou + + * gnat.dg/pack14.adb: New test. + 2009-10-29 David Daney * gcc.target/mips/mips.exp (mips_option_groups): Add diff --git a/gcc/testsuite/gnat.dg/pack14.adb b/gcc/testsuite/gnat.dg/pack14.adb new file mode 100644 index 0000000..c005ad6 --- /dev/null +++ b/gcc/testsuite/gnat.dg/pack14.adb @@ -0,0 +1,15 @@ +-- { dg- do compile } + +procedure Pack14 is + + subtype False_T is Boolean range False .. False; + + type Rec is record + F : False_T; + end record; + pragma Pack (Rec); + + A : Rec := (F => False); +begin + null; +end; -- cgit v1.1