We were crashing trying to find the CALL_EXPR in the result of a call to a
consteval operator.

Tested x86_64-pc-linux-gnu, applying to trunk.

gcc/cp/ChangeLog:

        * call.c (build_new_op_1): Don't look for a CALL_EXPR when
        calling a consteval function.

gcc/testsuite/ChangeLog:

        * g++.dg/cpp2a/consteval17.C: New test.
---
 gcc/cp/call.c                            |  2 +-
 gcc/testsuite/g++.dg/cpp2a/consteval17.C | 11 +++++++++++
 2 files changed, 12 insertions(+), 1 deletion(-)
 create mode 100644 gcc/testsuite/g++.dg/cpp2a/consteval17.C

diff --git a/gcc/cp/call.c b/gcc/cp/call.c
index 1d95bd2d07b..5382b7620dc 100644
--- a/gcc/cp/call.c
+++ b/gcc/cp/call.c
@@ -6341,7 +6341,7 @@ build_new_op_1 (const op_location_t &loc, enum tree_code 
code, int flags,
              result = build_over_call (cand, LOOKUP_NORMAL, ocomplain);
            }
 
-         if (trivial_fn_p (cand->fn))
+         if (trivial_fn_p (cand->fn) || DECL_IMMEDIATE_FUNCTION_P (cand->fn))
            /* There won't be a CALL_EXPR.  */;
          else if (result && result != error_mark_node)
            {
diff --git a/gcc/testsuite/g++.dg/cpp2a/consteval17.C 
b/gcc/testsuite/g++.dg/cpp2a/consteval17.C
new file mode 100644
index 00000000000..6af39aad8da
--- /dev/null
+++ b/gcc/testsuite/g++.dg/cpp2a/consteval17.C
@@ -0,0 +1,11 @@
+// { dg-do compile { target c++20 } }
+
+struct A
+{
+  consteval int operator+() { return 42; }
+};
+
+int main()
+{
+  +A();
+}

base-commit: da2c9054f1596b71e3c81efd62b6cef348e445b4
-- 
2.18.1

Reply via email to