[clang] [clang][bytecode] Fix lookup in source locations in implicit ctors (PR #107992)
Timm Baeder via cfe-commits
cfe-commits at lists.llvm.org
Tue Sep 10 04:16:17 PDT 2024
https://github.com/tbaederr updated https://github.com/llvm/llvm-project/pull/107992
>From 8b5a1fbba508c4e88fd00f2ee6b310dae762855e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Timm=20B=C3=A4der?= <tbaeder at redhat.com>
Date: Tue, 10 Sep 2024 11:39:38 +0200
Subject: [PATCH] [clang][bytecode] Fix lookup in source locations in implicit
ctors
Implicit functions may still have a body. The !hasBody() check is
enough.
---
clang/lib/AST/ByteCode/InterpFrame.cpp | 19 ++++++++++++++-----
clang/test/AST/ByteCode/builtin-functions.cpp | 7 +++++++
2 files changed, 21 insertions(+), 5 deletions(-)
diff --git a/clang/lib/AST/ByteCode/InterpFrame.cpp b/clang/lib/AST/ByteCode/InterpFrame.cpp
index 6830a7b37f1da5..28e189bb339e62 100644
--- a/clang/lib/AST/ByteCode/InterpFrame.cpp
+++ b/clang/lib/AST/ByteCode/InterpFrame.cpp
@@ -207,31 +207,40 @@ Pointer InterpFrame::getParamPointer(unsigned Off) {
return Pointer(B);
}
+static bool funcHasUsableBody(const Function *F) {
+ assert(F);
+
+ if (F->isConstructor() || F->isDestructor())
+ return true;
+
+ return !F->getDecl()->isImplicit();
+}
+
SourceInfo InterpFrame::getSource(CodePtr PC) const {
// Implicitly created functions don't have any code we could point at,
// so return the call site.
- if (Func && (!Func->hasBody() || Func->getDecl()->isImplicit()) && Caller)
+ if (Func && !funcHasUsableBody(Func) && Caller)
return Caller->getSource(RetPC);
return S.getSource(Func, PC);
}
const Expr *InterpFrame::getExpr(CodePtr PC) const {
- if (Func && (!Func->hasBody() || Func->getDecl()->isImplicit()) && Caller)
- return Caller->getExpr(RetPC);
+ if (Func && !funcHasUsableBody(Func) && Caller)
+ return Caller->getExpr(PC);
return S.getExpr(Func, PC);
}
SourceLocation InterpFrame::getLocation(CodePtr PC) const {
- if (Func && (!Func->hasBody() || Func->getDecl()->isImplicit()) && Caller)
+ if (Func && !funcHasUsableBody(Func) && Caller)
return Caller->getLocation(RetPC);
return S.getLocation(Func, PC);
}
SourceRange InterpFrame::getRange(CodePtr PC) const {
- if (Func && (!Func->hasBody() || Func->getDecl()->isImplicit()) && Caller)
+ if (Func && !funcHasUsableBody(Func) && Caller)
return Caller->getRange(RetPC);
return S.getRange(Func, PC);
diff --git a/clang/test/AST/ByteCode/builtin-functions.cpp b/clang/test/AST/ByteCode/builtin-functions.cpp
index 9c9ca23e0a6a69..9fd5eae67a21f6 100644
--- a/clang/test/AST/ByteCode/builtin-functions.cpp
+++ b/clang/test/AST/ByteCode/builtin-functions.cpp
@@ -968,3 +968,10 @@ namespace FunctionStart {
static_assert(__builtin_function_start(a) == a, ""); // both-error {{not an integral constant expression}} \
// both-note {{comparison of addresses of literals has unspecified value}}
}
+
+namespace BuiltinInImplicitCtor {
+ constexpr struct {
+ int a = __builtin_isnan(1.0);
+ } Foo;
+ static_assert(Foo.a == 0, "");
+}
More information about the cfe-commits
mailing list