aboutsummaryrefslogtreecommitdiff
path: root/clang/lib/Analysis/ThreadSafety.cpp
AgeCommit message (Expand)AuthorFilesLines
8 daysThread Safety Analysis: Fix recursive capability alias resolution (#159921)Marco Elver1-21/+24
2025-09-11Thread Safety Analysis: Basic capability alias-analysis (#142955)Marco Elver1-25/+122
2025-08-27[clang] NFC: reintroduce clang/include/clang/AST/Type.h (#155050)Matheus Izvekov1-1/+1
2025-08-27[clang] NFC: rename clang/include/clang/AST/Type.h to TypeBase.h (#155049)Matheus Izvekov1-1/+1
2025-08-20Thread Safety Analysis: Graduate ACQUIRED_BEFORE() and ACQUIRED_AFTER() from ...Marco Elver1-2/+1
2025-08-09[clang] Improve nested name specifier AST representation (#147835)Matheus Izvekov1-1/+3
2025-08-04Thread safety analysis: Allocate FactEntrys with BumpPtrAllocator (#149660)Aaron Puchert1-87/+145
2025-08-03Thread safety analysis: Don't warn on acquiring reentrant capability (#150857)Aaron Puchert1-1/+1
2025-06-05Thread Safety Analysis: Use replaceLock instead of removeLock+addLock (#141500)Marco Elver1-3/+3
2025-05-31[Analysis] Remove unused includes (NFC) (#142255)Kazu Hirata1-5/+0
2025-05-26Thread Safety Analysis: Support reentrant capabilities (#137133)Marco Elver1-25/+108
2025-05-21[clang] Use llvm::find_if (NFC) (#140983)Kazu Hirata1-13/+9
2025-05-20[clang][analysis] Thread Safety Analysis: Handle parenthesis (#140656)Prabhu Rajasekaran1-1/+1
2025-04-30Thread Safety Analysis: Fix styleMarco Elver1-3/+3
2025-04-27[Analysis] Remove has_arg_iterator_range (NFC) (#137568)Kazu Hirata1-19/+0
2025-04-15Merge similar Clang Thread Safety attributes (#135561)Aaron Puchert1-55/+5
2025-02-26Thread Safety Analysis: Support warning on passing/returning pointers to guar...Marco Elver1-5/+25
2025-02-26Thread Safety Analysis: Handle address-of followed by dereferenceMarco Elver1-0/+11
2024-12-20Thread Safety Analysis: Support passing scoped locks between functions with a...Malek Ben Slimane1-10/+165
2024-09-05[Analysis] Avoid repeated hash lookups (NFC) (#107357)Kazu Hirata1-2/+1
2024-09-04Thread Safety Analysis: Differentiate between lock sets at real join points a...Malek Ben Slimane1-2/+6
2024-07-01[clang][ThreadSafety] Revert stricter typing on trylock attributes (#97293)Dan McArdle1-46/+36
2024-06-24[clang][ThreadSafety] Check trylock function success and return types (#95290)Dan McArdle1-36/+46
2023-12-08Thread safety analysis: Fix a bug in handling temporary constructors (#74020)Ziqing Luo1-13/+13
2023-10-19Reapply "[clang analysis][thread-safety] Handle return-by-reference..… (#68...Clement Courbet1-25/+53
2023-10-06Revert "Reapply "[clang analysis][thread-safety] Handle return-by-reference.....Caroline Tice1-54/+26
2023-10-06Reapply "[clang analysis][thread-safety] Handle return-by-reference..… (#68...Clement Courbet1-26/+54
2023-09-29Revert "[clang analysis][thread-safety] Handle return-by-reference...… (#67...Clement Courbet1-54/+26
2023-09-29[clang analysis][thread-safety] Handle return-by-reference... (#67776)Clement Courbet1-26/+54
2023-09-29Reland "[clang analysis][NFCI] Preparatory work for D153131. (#67420)… (#67...Clement Courbet1-59/+70
2023-09-27Revert "[clang analysis][NFCI] Preparatory work for D153131. (#67420)" (#67523)Clement Courbet1-72/+61
2023-09-26[clang analysis][NFCI] Preparatory work for D153131. (#67420)Clement Courbet1-61/+72
2023-09-19[clang][TSA] Thread safety cleanup functionsTimm Bäder1-1/+11
2023-09-19[NFC] Preparatory work for D153131 (#66750)Clement Courbet1-9/+9
2023-08-25[NFC] Initialize member pointer and avoid potential null dereferenceSindhu Chittireddy1-1/+1
2023-06-27Revert "[clang][CFG][NFC] A few smaller cleanups"Timm Bäder1-13/+13
2023-06-27[clang][CFG][NFC] A few smaller cleanupsTimm Bäder1-13/+13
2023-06-22[CLANG] Fix potential null pointer dereference bugsManna, Soumi1-2/+1
2023-06-06[clang][ThreadSafety][NFC] Make isReference() constTimm Bäder1-1/+1
2023-03-14[clang] Use *{Set,Map}::contains (NFC)Kazu Hirata1-1/+1
2023-01-14[clang] Remove remaining uses of llvm::Optional (NFC)Kazu Hirata1-1/+0
2023-01-14[clang] Use std::optional instead of llvm::Optional (NFC)Kazu Hirata1-3/+3
2023-01-14[clang] Add #include <optional> (NFC)Kazu Hirata1-0/+1
2022-10-13Thread safety analysis: Support copy-elided production of scoped capabilities...Aaron Puchert1-98/+104
2022-10-07Revert "Thread safety analysis: Support copy-elided production of scoped capa...Hans Wennborg1-94/+93
2022-10-06[clang] Fix a warningKazu Hirata1-0/+1
2022-10-06Thread safety analysis: Support copy-elided production of scoped capabilities...Aaron Puchert1-93/+93
2022-10-06Thread safety analysis: Handle additional cast in scoped capability constructionAaron Puchert1-7/+14
2022-08-08[clang] LLVM_FALLTHROUGH => [[fallthrough]]. NFCFangrui Song1-2/+2
2022-07-14Thread safety analysis: Support builtin pointer-to-member operatorsAaron Puchert1-0/+11