nonblocking/nonallocating attributes: 2nd pass caller/callee analysis#99656

Merged

Sirraide merged 71 commits intollvm:mainfrom dougsonos:nonblocking-part2

Oct 3, 2024

+2,423-356

Commits on Jul 19, 2024

nonblocking/nonallocating attributes: 2nd pass caller/callee analysis/verification
Doug Wyatt
committed

Commits on Jul 20, 2024

- Sema.h: Move function decls to be in the correct per-source-file sections.
Doug Wyatt
committed
clang-format
Doug Wyatt
committed

Commits on Jul 26, 2024

- Detect ObjC @throw and @catch , diagnose identically to their C++ counterparts.
Doug Wyatt
committed
FunctionEffect constructors: cast Kind to uint8_t
Doug Wyatt
committed
New file: EFfectAnalysis.cpp.
Doug Wyatt
committed
CallableInfo doesn't need to cache the name.
Doug Wyatt
committed
Merge branch 'main' into nonblocking-part2
Doug Wyatt
committed

Commits on Aug 2, 2024

Commits on Aug 5, 2024

Merge remote-tracking branch 'llvm-origin/main' into nonblocking-part2
Doug Wyatt
committed

Commits on Aug 7, 2024

Add tests around lambda traversal and contexts like decltype, sizeof, etc.
Doug Wyatt
committed
Inline checks preceding maybeAddDeclWithEffects
Doug Wyatt
committed
Remove dead code in EffectAnalysis.cpp. Add comment about AST traversal and lambdas.
Doug Wyatt
committed
Merge remote-tracking branch 'llvm-origin/main' into nonblocking-part2
Doug Wyatt
committed
patch what the bot's clang-format wishes clang-format on my system would do
Doug Wyatt
committed

Commits on Aug 8, 2024

Merge branch 'main' into nonblocking-part2
Doug Wyatt
committed
"function cannot be inferred" -> "declaration cannot be inferred"
Doug Wyatt
committed
No need to override VisitCXXDefaultInitExpr.
Doug Wyatt
committed

Commits on Aug 13, 2024

Begin a list of unsafe builtin functions, starting with malloc and friends.
Doug Wyatt
committed

Commits on Aug 14, 2024

Apply suggestions from code review

dougsonos
and
Sirraide
authored
- FunctionEffect and FunctionEffectKindSet are tiny, pass by value wherever possible and obtain values from iterators.
Doug Wyatt
committed
- Comments begin with capital letters and end with full stops.
Doug Wyatt
committed
Implement FunctionEffectKindSet with std::bitset.
Doug Wyatt
committed
Merge remote-tracking branch 'llvm-origin/main' into nonblocking-part2
Doug Wyatt
committed

Commits on Aug 15, 2024

- Diagnose __builtin_operator_new and delete
Doug Wyatt
committed
EffectAnalysis.cpp => SemaFunctionEffects.cpp (minimal first step; more reorg to follow)
Doug Wyatt
committed
Move most Sema methods involving effects into SemaFunctionEffects.cpp.
Doug Wyatt
committed

Commits on Aug 16, 2024

Move FunctionEffectDiff/Differences into SemaFunctionEffects.cpp.
Doug Wyatt
committed
Combine the diagnostics for 5 violations into one using %select{}
Doug Wyatt
committed
Merge branch 'main' into nonblocking-part2
Doug Wyatt
committed
Violation constructor: use optional instead of pointer.
Doug Wyatt
committed
clang-format
Doug Wyatt
committed
emitDiagnostics doesn't need to receive another S
Doug Wyatt
committed
VisitVarDecl can reuse followTypeDtor().
Doug Wyatt
committed
Add a test for a delegating initializer.
Doug Wyatt
committed
Fix typo in comment for TraverseLambdaExpr.
Doug Wyatt
committed

Commits on Aug 17, 2024

Fix test broken by rewording of diagnostics.
Doug Wyatt
committed

Commits on Aug 20, 2024

Commits on Aug 22, 2024

Fix pre-C++20 compile error.
Doug Wyatt
committed

Commits on Aug 29, 2024

Commits on Sep 4, 2024

Commits on Sep 5, 2024

Fix test broken by rewording of warnings.
Doug Wyatt
committed
Fix: need to ignore concept requirements.
Doug Wyatt
committed
clang-format
Doug Wyatt
committed

Commits on Sep 7, 2024

Make the FunctionEffects and PerfConstraintImpliesNoexcept diagnostics disabled by default, but enabled with -Wall.
Doug Wyatt
committed
Add a release note.
Doug Wyatt
committed

Commits on Sep 8, 2024

Merge branch 'main' into nonblocking-part2
Doug Wyatt
committed

Commits on Sep 9, 2024

Fix botched format string in warn_func_effect_calls_expr_without_effect
Doug Wyatt
committed

Commits on Sep 17, 2024

Fix test failures introduced by last commit.
Doug Wyatt
committed

Commits on Sep 18, 2024

If a function is noexcept and noreturn, exempt it from effect analysis.
Doug Wyatt
committed

Commits on Sep 23, 2024

Commits on Sep 24, 2024

Review feedback:
Doug Wyatt
committed
- Add constraint tests for plain C.
Doug Wyatt
committed
-Wperf-constraint-implies-noexcept is part of -Wall again
Doug Wyatt
committed

Commits on Sep 25, 2024

Remove FunctionEffect::Kind::None as a sentinel; use optionals instead.
Doug Wyatt
committed

Commits on Sep 26, 2024

Ensure that setjmp() is not included in the special treatment of noreturn functions.
Doug Wyatt
committed
Update clang/lib/Sema/SemaFunctionEffects.cpp

dougsonos
and
Sirraide
authored
Merge branch 'main' into nonblocking-part2
Doug Wyatt
committed
Builtins with effects don't get the noexcept/noreturn special treatment.
Doug Wyatt
committed
warning-wall test was broken a few commits ago; fix it now.
Doug Wyatt
committed
- FunctionEffect::Kind: no need to be specific with enum values. Same for ViolationSite::Kind.
Doug Wyatt
committed
Tweak release note, fix typo in comment.
Doug Wyatt
committed

Commits on Oct 2, 2024

Tweak: "function with 'nonblocking' attribute should be declared noexcept" now says "function/lambda/block" etc.
Doug Wyatt
committed