https://github.com/a-tarasyuk created
https://github.com/llvm/llvm-project/pull/117403
Fixes #117385
>From f76ebd39c7ca9761b7812a85a206b63193702c50 Mon Sep 17 00:00:00 2001
From: Oleksandr T <oleksandr.taras...@outlook.com>
Date: Sat, 23 Nov 2024 01:53:29 +0200
Subject: [PATCH] [Clang] skip consumed analysis for consteval conditions in
control-flow terminators
---
clang/lib/Analysis/Consumed.cpp | 3 +++
clang/test/SemaCXX/constexpr-return-non-void-cxx2b.cpp | 9 ++++++++-
2 files changed, 11 insertions(+), 1 deletion(-)
diff --git a/clang/lib/Analysis/Consumed.cpp b/clang/lib/Analysis/Consumed.cpp
index 63c59432429447..3eb7e5abff7145 100644
--- a/clang/lib/Analysis/Consumed.cpp
+++ b/clang/lib/Analysis/Consumed.cpp
@@ -1229,6 +1229,9 @@ bool ConsumedAnalyzer::splitState(const CFGBlock
*CurrBlock,
if (const auto *IfNode =
dyn_cast_or_null<IfStmt>(CurrBlock->getTerminator().getStmt())) {
+ if (IfNode->isConsteval())
+ return false;
+
const Expr *Cond = IfNode->getCond();
PInfo = Visitor.getInfo(Cond);
diff --git a/clang/test/SemaCXX/constexpr-return-non-void-cxx2b.cpp
b/clang/test/SemaCXX/constexpr-return-non-void-cxx2b.cpp
index 19e7d4976428a7..e3228dddef5f66 100644
--- a/clang/test/SemaCXX/constexpr-return-non-void-cxx2b.cpp
+++ b/clang/test/SemaCXX/constexpr-return-non-void-cxx2b.cpp
@@ -1,4 +1,4 @@
-// RUN: %clang_cc1 -std=c++23 -fsyntax-only -Wimplicit-fallthrough -verify %s
+// RUN: %clang_cc1 -std=c++23 -fsyntax-only -Wimplicit-fallthrough -Wconsumed
-verify %s
constexpr int f() { } // expected-warning {{non-void function does not return
a value}}
static_assert(__is_same(decltype([] constexpr -> int { }( )), int)); //
expected-warning {{non-void lambda does not return a value}}
@@ -34,3 +34,10 @@ constinit bool l = j(); // expected-error {{variable does
not have a constant in
// expected-note {{in call to 'j()'}}
}
+
+namespace GH117385 {
+void f() {
+ if consteval {
+ }
+}
+}
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
