[PATCH] D159528: [clang] Fix null dereference on return in lambda attribute statement expr
Piotr Fusik via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Mon Sep 18 05:50:18 PDT 2023
pfusik created this revision.
Herald added a project: All.
pfusik requested review of this revision.
Herald added a project: clang.
Herald added a subscriber: cfe-commits.
Fixes https://github.com/llvm/llvm-project/issues/48527
Repository:
rG LLVM Github Monorepo
https://reviews.llvm.org/D159528
Files:
clang/lib/Sema/SemaStmt.cpp
clang/test/SemaCXX/gh48527.cpp
Index: clang/test/SemaCXX/gh48527.cpp
===================================================================
--- /dev/null
+++ clang/test/SemaCXX/gh48527.cpp
@@ -0,0 +1,10 @@
+// RUN: %clang_cc1 -fsyntax-only -verify %s
+
+int main() { // expected-note {{to match this '{'}}
+ auto a = [](void)__attribute__((b(({ // expected-note {{to match this '('}}
+ return 0;
+} // expected-error 3 {{expected ')'}} \
+ // expected-error {{expected ';' at end of declaration}}
+// expected-error at +2 {{expected ')'}}
+// expected-error at +1 {{expected body of lambda expression}}
+// expected-error {{expected '}'}}
Index: clang/lib/Sema/SemaStmt.cpp
===================================================================
--- clang/lib/Sema/SemaStmt.cpp
+++ clang/lib/Sema/SemaStmt.cpp
@@ -3577,6 +3577,8 @@
CapturingScopeInfo *CurCap = cast<CapturingScopeInfo>(getCurFunction());
QualType FnRetType = CurCap->ReturnType;
LambdaScopeInfo *CurLambda = dyn_cast<LambdaScopeInfo>(CurCap);
+ if (CurLambda && CurLambda->CallOperator->getType().isNull())
+ return StmtError();
bool HasDeducedReturnType =
CurLambda && hasDeducedReturnType(CurLambda->CallOperator);
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D159528.556944.patch
Type: text/x-patch
Size: 1172 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20230918/0730fedc/attachment.bin>
More information about the cfe-commits
mailing list