From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 1464) id 092193858D28; Fri, 12 Aug 2022 00:26:19 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 092193858D28 MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Type: text/plain; charset="utf-8" From: Peter Bergner To: gcc-cvs@gcc.gnu.org Subject: [gcc r12-8682] c: Handle initializations of opaque types [PR106016] X-Act-Checkin: gcc X-Git-Author: Peter Bergner X-Git-Refname: refs/heads/releases/gcc-12 X-Git-Oldrev: 7c81a89f205b8ed3315b764740a811ef04d5dadc X-Git-Newrev: 6aaaf20ee4ad9c85f3099ef425720547644fb08d Message-Id: <20220812002619.092193858D28@sourceware.org> Date: Fri, 12 Aug 2022 00:26:19 +0000 (GMT) X-BeenThere: gcc-cvs@gcc.gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Gcc-cvs mailing list List-Unsubscribe: , List-Archive: List-Help: List-Subscribe: , X-List-Received-Date: Fri, 12 Aug 2022 00:26:19 -0000 https://gcc.gnu.org/g:6aaaf20ee4ad9c85f3099ef425720547644fb08d commit r12-8682-g6aaaf20ee4ad9c85f3099ef425720547644fb08d Author: Peter Bergner Date: Fri Jun 17 23:43:23 2022 -0500 c: Handle initializations of opaque types [PR106016] The initial commit that added opaque types thought that there couldn't be any valid initializations for variables of these types, but the test case in the bug report shows that isn't true. The solution is to handle OPAQUE_TYPE initializations like the other scalar types. 2022-06-17 Peter Bergner gcc/ PR c/106016 * expr.cc (count_type_elements): Handle OPAQUE_TYPE. gcc/testsuite/ PR c/106016 * gcc.target/powerpc/pr106016.c: New test. (cherry picked from commit 975658b782f36dcf6eb190966d5b705977bfd5eb) Diff: --- gcc/expr.cc | 2 +- gcc/testsuite/gcc.target/powerpc/pr106016.c | 14 ++++++++++++++ 2 files changed, 15 insertions(+), 1 deletion(-) diff --git a/gcc/expr.cc b/gcc/expr.cc index dee3fc6148c..2103931c740 100644 --- a/gcc/expr.cc +++ b/gcc/expr.cc @@ -6393,13 +6393,13 @@ count_type_elements (const_tree type, bool for_ctor_p) case OFFSET_TYPE: case REFERENCE_TYPE: case NULLPTR_TYPE: + case OPAQUE_TYPE: return 1; case ERROR_MARK: return 0; case VOID_TYPE: - case OPAQUE_TYPE: case METHOD_TYPE: case FUNCTION_TYPE: case LANG_TYPE: diff --git a/gcc/testsuite/gcc.target/powerpc/pr106016.c b/gcc/testsuite/gcc.target/powerpc/pr106016.c new file mode 100644 index 00000000000..3db8345dcc6 --- /dev/null +++ b/gcc/testsuite/gcc.target/powerpc/pr106016.c @@ -0,0 +1,14 @@ +/* PR target/106016 */ +/* { dg-require-effective-target power10_ok } */ +/* { dg-options "-O2 -mdejagnu-cpu=power10" } */ + +/* Make sure we do not ICE on the following test case. */ + +extern void bar (__vector_quad *); + +void +foo (__vector_quad *a, __vector_quad *b) +{ + __vector_quad arr[2] = {*a, *b}; + bar (&arr[0]); +}