[gcc/devel/sphinx] c: Handle initializations of opaque types [PR106016]

[gcc/devel/sphinx] c: Handle initializations of opaque types [PR106016]

[Martin Liska]

https://gcc.gnu.org/g:eee84fda23eaac131f1efe4c9520e77f769371b4

commit eee84fda23eaac131f1efe4c9520e77f769371b4
Author: Peter Bergner <bergner@linux.ibm.com>
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  <bergner@linux.ibm.com>
    
    gcc/
            PR c/106016
            * expr.cc (count_type_elements): Handle OPAQUE_TYPE.
    
    gcc/testsuite/
            PR c/106016
            * gcc.target/powerpc/pr106016.c: New test.

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 f9753d48245..80bb1b8a4c5 100644
--- a/gcc/expr.cc
+++ b/gcc/expr.cc
@@ -6462,13 +6462,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]);
+}