From 4c7c0c70e3aecf557e968d3d0941e21f1f875f83 Mon Sep 17 00:00:00 2001 From: Andrew Pinski Date: Mon, 25 Oct 2004 13:27:32 +0000 Subject: [PATCH] re PR middle-end/17407 (ICE in int_mode_for_mode) 2004-10-25 Andrew Pinski PR middle-end/17407 * c-decl.c (grokdeclarator) : Remove the call layout_type as it is already done by build_array_type. * tree.c (build_array_type): Layout the type even 2004-10-25 Andrew Pinski PR c++/18121 * decl.c (grokdeclarator) : Remove the call layout_type as it is already done by create_array_type_for_decl. 2004-10-25 Andrew Pinski PR middle-end/17407 * gcc.c-torture/compile/pr17407.c: New test. PR c++/18121 * g++.dg/template/array8.C: New test. From-SVN: r89533 --- gcc/ChangeLog | 7 +++++++ gcc/c-decl.c | 5 ----- gcc/cp/ChangeLog | 6 ++++++ gcc/cp/decl.c | 7 ------- gcc/testsuite/ChangeLog | 8 ++++++++ gcc/testsuite/g++.dg/template/array8.C | 16 ++++++++++++++++ gcc/testsuite/gcc.c-torture/compile/pr17407.c | 15 +++++++++++++++ gcc/tree.c | 7 +++++-- 8 files changed, 57 insertions(+), 14 deletions(-) create mode 100644 gcc/testsuite/g++.dg/template/array8.C create mode 100644 gcc/testsuite/gcc.c-torture/compile/pr17407.c diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 039be86bbc4..16777c9341c 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,10 @@ +2004-10-25 Andrew Pinski + + PR middle-end/17407 + * c-decl.c (grokdeclarator) : Remove the call + layout_type as it is already done by build_array_type. + * tree.c (build_array_type): Layout the type even + 2004-10-25 Alexandre Oliva * config/frv/linux.h (TARGET_C99_FUNCTIONS): Define to 0. diff --git a/gcc/c-decl.c b/gcc/c-decl.c index a2443ec6c19..08f79098243 100644 --- a/gcc/c-decl.c +++ b/gcc/c-decl.c @@ -4133,14 +4133,9 @@ grokdeclarator (const struct c_declarator *declarator, zero. */ if (size && integer_zerop (size)) { - layout_type (type); TYPE_SIZE (type) = bitsize_zero_node; TYPE_SIZE_UNIT (type) = size_zero_node; } - else if (declarator->kind == cdk_pointer) - /* We can never complete an array type which is the - target of a pointer, so go ahead and lay it out. */ - layout_type (type); if (decl_context != PARM && (array_ptr_quals != TYPE_UNQUALIFIED diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index b5dae4983e1..8e759ff5f91 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,9 @@ +2004-10-25 Andrew Pinski + + PR c++/18121 + * decl.c (grokdeclarator) : Remove the call + layout_type as it is already done by create_array_type_for_decl. + 2004-10-22 Nathan Sidwell PR c++/18095 diff --git a/gcc/cp/decl.c b/gcc/cp/decl.c index 21ffb519e82..2aca629cfe4 100644 --- a/gcc/cp/decl.c +++ b/gcc/cp/decl.c @@ -7214,13 +7214,6 @@ grokdeclarator (const cp_declarator *declarator, case cdk_array: type = create_array_type_for_decl (dname, type, declarator->u.array.bounds); - if (inner_declarator - && (inner_declarator->kind == cdk_pointer - || inner_declarator->kind == cdk_reference - || inner_declarator->kind == cdk_ptrmem)) - /* We can never complete an array type which is the - target of a pointer, so go ahead and lay it out. */ - layout_type (type); break; case cdk_function: diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index f6de047b011..765daa2758f 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,11 @@ +2004-10-25 Andrew Pinski + + PR middle-end/17407 + * gcc.c-torture/compile/pr17407.c: New test. + + PR c++/18121 + * g++.dg/template/array8.C: New test. + 2004-10-25 Eric Botcazou PR other/18138 diff --git a/gcc/testsuite/g++.dg/template/array8.C b/gcc/testsuite/g++.dg/template/array8.C new file mode 100644 index 00000000000..9fd33a4aa7d --- /dev/null +++ b/gcc/testsuite/g++.dg/template/array8.C @@ -0,0 +1,16 @@ +// PR c++/18121 + +// We were trying to layout the array +// type but since the type/value of A::i +// was not known at template declation type, +// we were crashing + +template struct A +{ + static int const i = 1; +}; + +template struct B +{ + typedef int (*p)[A::i]; +}; diff --git a/gcc/testsuite/gcc.c-torture/compile/pr17407.c b/gcc/testsuite/gcc.c-torture/compile/pr17407.c new file mode 100644 index 00000000000..a06ab17580e --- /dev/null +++ b/gcc/testsuite/gcc.c-torture/compile/pr17407.c @@ -0,0 +1,15 @@ +typedef struct libxml_xpathCallback { + void *ns_uri; +} libxml_xpathCallback; + +typedef libxml_xpathCallback libxml_xpathCallbackArray[]; + +libxml_xpathCallbackArray *libxml_xpathCallbacks; + +void foo1(void); + +void +foo (void) +{ + if ((*libxml_xpathCallbacks)[3].ns_uri != ((void *)0)) foo1(); +} diff --git a/gcc/tree.c b/gcc/tree.c index b132571b5f3..18dec5ea730 100644 --- a/gcc/tree.c +++ b/gcc/tree.c @@ -4333,9 +4333,12 @@ build_array_type (tree elt_type, tree index_type) t = make_node (ARRAY_TYPE); TREE_TYPE (t) = elt_type; TYPE_DOMAIN (t) = index_type; - + if (index_type == 0) - return t; + { + layout_type (t); + return t; + } hashcode = iterative_hash_object (TYPE_HASH (elt_type), hashcode); hashcode = iterative_hash_object (TYPE_HASH (index_type), hashcode); -- 2.30.2