IBM Z: Fix ICE with overloading and checking enabled

s390_resolve_overloaded_builtin, when called on NON_DEPENDENT_EXPR,
ICEs when using the type from it which ends up as error_mark_node.

This particular instance of the problem does not occur anymore since
NON_DEPENDENT_EXPR has been removed.  Nevertheless that case needs to
be handled here.

gcc/ChangeLog:

	* config/s390/s390-c.cc (s390_fn_types_compatible): Add a check
	for error_mark_node.

gcc/testsuite/ChangeLog:

	* g++.target/s390/zvec-templ-1.C: New test.

diff --git a/gcc/config/s390/s390-c.cc b/gcc/config/s390/s390-c.cc
index 269f4f8e978dbc2acd3ef329f8e34d83c643b95c..fce569342f30f2815cdcc1e518205a5b87920a13 100644 (file)
--- a/gcc/config/s390/s390-c.cc
+++ b/gcc/config/s390/s390-c.cc
@@ -781,6 +781,9 @@ s390_fn_types_compatible (enum s390_builtin_ov_type_index typeindex,
       tree in_arg = (*arglist)[i];
       tree in_type = TREE_TYPE (in_arg);
 
+      if (in_type == error_mark_node)
+       goto mismatch;
+
       if (VECTOR_TYPE_P (b_arg_type))
        {
          /* Vector types have to match precisely.  */

diff --git a/gcc/testsuite/g++.target/s390/zvec-templ-1.C b/gcc/testsuite/g++.target/s390/zvec-templ-1.C
new file mode 100644 (file)
index 0000000..07bb65f
--- /dev/null
+++ b/gcc/testsuite/g++.target/s390/zvec-templ-1.C
@@ -0,0 +1,24 @@
+// { dg-do compile }
+// { dg-options "-O0 -mzvector -march=arch14 -mzarch" }
+// { dg-bogus "internal compiler error" "ICE" { target s390*-*-* } 23 }
+// { dg-excess-errors "" }
+
+/* This used to ICE with checking enabled because
+   s390_resolve_overloaded_builtin gets called on NON_DEPENDENT_EXPR
+   arguments. We then try to determine the type of it, get an error
+   node and ICEd consequently when using this.
+
+   This particular instance of the problem disappeared when
+   NON_DEPENDENT_EXPRs got removed with:
+
+   commit dad311874ac3b3cf4eca1c04f67cae80c953f7b8
+   Author: Patrick Palka <ppalka@redhat.com>
+   Date:   Fri Oct 20 10:45:00 2023 -0400
+
+    c++: remove NON_DEPENDENT_EXPR, part 1
+
+   Nevertheless we should check for error mark nodes in that code.  */
+
+template <typename> void foo() {
+  __builtin_s390_vec_perm( , , );
+}