[all-commits] [llvm/llvm-project] 7fe43a: [Clang] nonblocking/nonallocating attributes: 2nd ...
Doug Wyatt via All-commits
all-commits at lists.llvm.org
Wed Oct 2 17:15:12 PDT 2024
Branch: refs/heads/main
Home: https://github.com/llvm/llvm-project
Commit: 7fe43ada28c31a9e9d82a76650d987a8b209755e
https://github.com/llvm/llvm-project/commit/7fe43ada28c31a9e9d82a76650d987a8b209755e
Author: Doug Wyatt <doug at sonosphere.com>
Date: 2024-10-03 (Thu, 03 Oct 2024)
Changed paths:
M clang/docs/ReleaseNotes.rst
M clang/include/clang/AST/Type.h
M clang/include/clang/Basic/AttrDocs.td
M clang/include/clang/Basic/DiagnosticGroups.td
M clang/include/clang/Basic/DiagnosticSemaKinds.td
M clang/include/clang/Sema/Sema.h
M clang/include/clang/Serialization/ASTBitCodes.h
M clang/include/clang/Serialization/ASTReader.h
M clang/include/clang/Serialization/ASTWriter.h
M clang/lib/AST/Type.cpp
M clang/lib/Sema/CMakeLists.txt
M clang/lib/Sema/Sema.cpp
M clang/lib/Sema/SemaDecl.cpp
M clang/lib/Sema/SemaDeclCXX.cpp
M clang/lib/Sema/SemaExpr.cpp
A clang/lib/Sema/SemaFunctionEffects.cpp
M clang/lib/Sema/SemaLambda.cpp
M clang/lib/Serialization/ASTReader.cpp
M clang/lib/Serialization/ASTWriter.cpp
M clang/test/Headers/Inputs/include/setjmp.h
M clang/test/Misc/warning-wall.c
A clang/test/Sema/attr-nonblocking-constraints-ms.cpp
A clang/test/Sema/attr-nonblocking-constraints.c
A clang/test/Sema/attr-nonblocking-constraints.cpp
M clang/test/Sema/attr-nonblocking-sema.cpp
M clang/test/Sema/attr-nonblocking-syntax.cpp
A clang/test/SemaObjCXX/attr-nonblocking-constraints.mm
Log Message:
-----------
[Clang] nonblocking/nonallocating attributes: 2nd pass caller/callee analysis (#99656)
- In Sema, when encountering Decls with function effects needing
verification, add them to a vector, DeclsWithEffectsToVerify.
- Update AST serialization to include DeclsWithEffectsToVerify.
- In AnalysisBasedWarnings, use DeclsWithEffectsToVerify as a work
queue, verifying functions with declared effects, and inferring (when
permitted and necessary) whether their callees have effects.
---------
Co-authored-by: Doug Wyatt <dwyatt at apple.com>
Co-authored-by: Sirraide <aeternalmail at gmail.com>
Co-authored-by: Erich Keane <ekeane at nvidia.com>
To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications
More information about the All-commits
mailing list