[gcc r14-10912] arm: Fix ICE on arm_mve.h pragma without MVE types [PR117408]

[Torbjorn Svensson via Gcc-cvs]

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

commit r14-10912-ge277e1082a86efa7e8649e2664c109eacf8dccb9
Author: Torbjörn SVENSSON <torbjorn.svens...@foss.st.com>
Date:   Fri Nov 1 17:47:48 2024 +0100

    arm: Fix ICE on arm_mve.h pragma without MVE types [PR117408]
    
    Starting with r14-435-g00d97bf3b5a, doing `#pragma arm "arm_mve.h"
    false` or `#pragma arm "arm_mve.h" true` without first doing
    `#pragma arm "arm_mve_types.h"` causes GCC to ICE.
    
    gcc/ChangeLog:
    
            PR target/117408
            * config/arm/arm-mve-builtins.cc(handle_arm_mve_h): Detect if MVE
            types is missing and if so, return error.
    
    gcc/testsuite/ChangeLog:
    
            PR target/117408
            * gcc.target/arm/mve/pr117408-1.c: New test.
            * gcc.target/arm/mve/pr117408-2.c: Likewise.
    
    Signed-off-by: Torbjörn SVENSSON <torbjorn.svens...@foss.st.com>
    (cherry picked from commit 8b04f60f88079c41b5cb1bf3b7c798703cceea18)

Diff:
---
 gcc/config/arm/arm-mve-builtins.cc            | 7 +++++++
 gcc/testsuite/gcc.target/arm/mve/pr117408-1.c | 7 +++++++
 gcc/testsuite/gcc.target/arm/mve/pr117408-2.c | 7 +++++++
 3 files changed, 21 insertions(+)

diff --git a/gcc/config/arm/arm-mve-builtins.cc 
b/gcc/config/arm/arm-mve-builtins.cc
index 7e8217666fee..e1826ae40527 100644
--- a/gcc/config/arm/arm-mve-builtins.cc
+++ b/gcc/config/arm/arm-mve-builtins.cc
@@ -492,6 +492,13 @@ handle_arm_mve_h (bool preserve_user_namespace)
       return;
     }
 
+  if (!handle_arm_mve_types_p)
+    {
+      error ("this definition requires MVE types, please include %qs",
+            "arm_mve_types.h");
+      return;
+    }
+
   /* Define MVE functions.  */
   function_table = new hash_table<registered_function_hasher> (1023);
   function_builder builder;
diff --git a/gcc/testsuite/gcc.target/arm/mve/pr117408-1.c 
b/gcc/testsuite/gcc.target/arm/mve/pr117408-1.c
new file mode 100644
index 000000000000..25eaf67e2979
--- /dev/null
+++ b/gcc/testsuite/gcc.target/arm/mve/pr117408-1.c
@@ -0,0 +1,7 @@
+/* { dg-do compile } */
+/* { dg-require-effective-target arm_v8_1m_mve_ok } */
+/* { dg-add-options arm_v8_1m_mve } */
+
+/* It doesn't really matter if this produces errors missing types,
+      but it mustn't trigger an ICE.  */
+#pragma GCC arm "arm_mve.h" false /* { dg-error "this definition requires MVE 
types, please include 'arm_mve_types.h'" } */
diff --git a/gcc/testsuite/gcc.target/arm/mve/pr117408-2.c 
b/gcc/testsuite/gcc.target/arm/mve/pr117408-2.c
new file mode 100644
index 000000000000..c3a0af25f778
--- /dev/null
+++ b/gcc/testsuite/gcc.target/arm/mve/pr117408-2.c
@@ -0,0 +1,7 @@
+/* { dg-do compile } */
+/* { dg-require-effective-target arm_v8_1m_mve_ok } */
+/* { dg-add-options arm_v8_1m_mve } */
+
+/* It doesn't really matter if this produces errors missing types,
+      but it mustn't trigger an ICE.  */
+#pragma GCC arm "arm_mve.h" true /* { dg-error "this definition requires MVE 
types, please include 'arm_mve_types.h'" } */