- 5fc4db7 [AST][NFC] Pass the AST context to one of the ctor of DeclRefExpr. by Bruno Ricci · 7 years ago
- 1386b59 Thread safety analysis: Avoid intermediate copies [NFC] by Aaron Puchert · 7 years ago
- 6a68efc Thread safety analysis: Allow scoped releasing of capabilities by Aaron Puchert · 7 years ago
- 7c44da2 Create ConstantExpr class by Bill Wendling · 7 years ago
- b0a2a0c Thread safety analysis: Handle conditional expression in getTrylockCallExpr by Aaron Puchert · 7 years ago
- 35389e5 Thread safety analysis: Examine constructor arguments by Aaron Puchert · 7 years ago
- 7146b00 Thread safety analysis: Unwrap __builtin_expect in getTrylockCallExpr by Aaron Puchert · 7 years ago
- 88d8536 Eliminate some unneeded signed/unsigned conversions by Aaron Puchert · 7 years ago
- 4e6afcf Thread safety analysis: Make printSCFG compile again [NFC] by Aaron Puchert · 7 years ago
- 969f32d Thread safety analysis: Make sure FactEntrys stored in FactManager are immutable [NFC] by Aaron Puchert · 7 years ago
- 57deab7 Thread safety analysis no longer hands when analyzing a self-referencing initializer. by Aaron Ballman · 7 years ago
- cd37c09 Remove more const_casts by using ConstStmtVisitor [NFC] by Aaron Puchert · 7 years ago
- 68c7fcd Remove unnecessary const_cast [NFC] by Aaron Puchert · 7 years ago
- c3e37b7 Thread safety analysis: Allow relockable scopes by Aaron Puchert · 7 years ago
- 7861943 [NFC] Test commit by Aaron Puchert · 7 years ago
- 74e0f40 Revert "Allow relockable scopes with thread safety attributes." by Haojian Wu · 7 years ago
- a97e4dc Allow relockable scopes with thread safety attributes. by Aaron Ballman · 7 years ago
- 1c301dc Port getLocEnd -> getEndLoc by Stephen Kelly · 7 years ago
- f2ceec4 Port getLocStart -> getBeginLoc by Stephen Kelly · 7 years ago
- eaa18e6 Properly add shared locks to the initial list of locks being tracked, instead of assuming unlock functions always use exclusive locks. by Aaron Ballman · 7 years ago
- 1b58759 Allow thread safety annotation lock upgrading and downgrading. by Aaron Ballman · 7 years ago
- 9fc8faf Remove \brief commands from doxygen comments. by Adrian Prantl · 7 years ago
- 81d07fc Fix the try_acquire_capability attribute to behave like the other try-lock functions. Fixes PR32954. by Aaron Ballman · 7 years ago
- bbe2531 [Analysis] Fix some Clang-tidy modernize and Include What You Use warnings; other minor fixes (NFC). by Eugene Zelenko · 8 years ago
- e97654b Handle scoped_lockable objects being returned by value in C++17. by Richard Smith · 8 years ago
- 50657f6 [CSA] [NFC] Move AnalysisContext.h to AnalysisDeclContext.h by George Karpenkov · 8 years ago
- ec1369e Reland "Thread Safety Analysis: fix assert_capability." by Josh Gao · 8 years ago
- 253be33 Revert "Thread Safety Analysis: fix assert_capability." by Josh Gao · 8 years ago
- bbd6108 Thread Safety Analysis: fix assert_capability. by Josh Gao · 8 years ago
- 4baaa5a DR616, and part of P0135R1: member access (or pointer-to-member access) on a by Richard Smith · 9 years ago
- 33e9760 Remove move constructors that are identical to the generated default move ctor. by Benjamin Kramer · 9 years ago
- 9670f84 [NFC] Header cleanup by Mehdi Amini · 9 years ago
- 19ff560 Thread Safety Analysis: Fix DenseMap iterator invalidation UAF by Reid Kleckner · 10 years ago
- 637d1e6 Roll-back r250822. by Angel Garcia Gomez · 10 years ago
- b5250d3 Apply modernize-use-default to clang. by Angel Garcia Gomez · 10 years ago
- ed1fe5d Replace double-negated !SourceLocation.isInvalid() with SourceLocation.isValid(). by Yaron Keren · 10 years ago
- 445a31c Thread safety analysis: the NO_THREAD_SAFETY_ANALYSIS attribute will now by DeLesley Hutchins · 10 years ago
- a187759 Take the non-reference type when constructing a dummy expression. by Richard Trieu · 11 years ago
- 66a97ee Hide away implementation details of the ThreadSafetyAnalysis in anonymous namespaces by Benjamin Kramer · 11 years ago
- 3c355aa Thread Safety Analysis: support adopting of locks, as implemented in by DeLesley Hutchins · 11 years ago
- dfa9032 Thread Safety Analysis: remove minor piece of unused code. No change in by DeLesley Hutchins · 11 years ago
- ab1dc2d Thread Safety Analysis: add support for before/after annotations on mutexes. by DeLesley Hutchins · 11 years ago
- 6c5e36a Revert "Thread Safety Analysis: add support for before/after annotations on mutexes." by Reid Kleckner · 11 years ago
- e675575 thread safety: Add move ctor to BeforeInfo to fix MSVC build by Reid Kleckner · 11 years ago
- 4980df6 Thread Safety Analysis: add support for before/after annotations on mutexes. by DeLesley Hutchins · 11 years ago
- 0d9593d [cleanup] Re-sort *all* #include lines with llvm/utils/sort_includes.py by Chandler Carruth · 11 years ago
- 6d41f38 Thread Safety Analysis: move warnings on range-based for loops out of beta by DeLesley Hutchins · 11 years ago
- c60dc2c Thread Safety Analysis: add new warning flag, -Wthread-safety-reference, which by DeLesley Hutchins · 11 years ago
- ca98874 Allow a scoped lockable object to acquire/release multiple locks. by Ed Schouten · 11 years ago
- b008858 Adding const-qualifiers to auto declarations. NFC. by Aaron Ballman · 11 years ago
- eb0ea5f Thread safety analysis: add -Wthread-safety-verbose flag, which adds additional notes that are helpful when compiling statistics on thread safety warnings. by DeLesley Hutchins · 11 years ago
- 4133b13 Thread Safety Analysis: fix to improve handling of references to guarded by DeLesley Hutchins · 11 years ago
- 13a4f76 ThreadSafety.cpp: Prune bogus \param(s). [-Wdocumentation] by NAKAMURA Takumi · 11 years ago
- e9882cf ThreadSafetyAnalysis: Fix annotations in class members. [-Wdocumentation] by NAKAMURA Takumi · 11 years ago
- 3efd049 Thread Safety Analysis: add a -Wthread-safety-negative flag that warns whenever by DeLesley Hutchins · 11 years ago
- 4266522 Thread safety analysis: Add support for negative requirements, which are by DeLesley Hutchins · 11 years ago
- ea1f833 Thread Safety Analysis: Replace the old and broken SExpr with the new by DeLesley Hutchins · 11 years ago
- 2554294 [C++11] Use 'nullptr'. Analysis edition. by Craig Topper · 11 years ago
- 9ee54d1 Converting some for loops to use range-based for loops. No functional changes intended. by Aaron Ballman · 11 years ago
- 59a72b9 Amending r208783 based on a suggestion by David Blaikie. by Aaron Ballman · 11 years ago
- 42f9a8a Replacing some manual iterations with standard algorithms. No functional changes intended. by Aaron Ballman · 11 years ago
- 2f3fc6b Formatting and style changes; no functional changes intended. by Aaron Ballman · 11 years ago
- 0c6a14c Amending r208439 to remove buildLExpr; this code isn't strictly required yet, and fixes a dead code warning. by Aaron Ballman · 11 years ago
- 7c192b4 Add the ability to use logical expressions for capability attributes. This is to allow requirements to be expressed not just in terms of lists, but in terms of logical expressions. Eg) by Aaron Ballman · 11 years ago
- b0f9e4a Remove unused typedef found by gcc's -Wunused-local-typedefs. by Nico Weber · 11 years ago
- a82eaa7 Updated the attribute tablegen emitter for variadic arguments to emit a range accessor in addition to the iterators. Updated code using iterators to use range-based for loops. by Aaron Ballman · 11 years ago
- 0491afa Updating to use more range-based for loops, nullptr and auto. No functional changes. by Aaron Ballman · 11 years ago
- e80bfcd Making some public members into private members. This also introduces a bit more const-correctness, and now uses some range-based for loops. No functional changes intended. by Aaron Ballman · 11 years ago
- 7e615c2 Thread Safety Analysis: reorganized SExpr header files. No change in by DeLesley Hutchins · 11 years ago
- b221391 Thread Safety Analysis: update to internal SExpr handling. by DeLesley Hutchins · 11 years ago
- e044904 Updating the capability attribute diagnostics to be more capability-neutral. Instead of using terminology such as "lock", "unlock" and "locked", the new terminology is "acquire", "release" and "held". Additionally, the capability attribute's name argument is now reported as part of the diagnostic, instead of hard coding as "mutex." by Aaron Ballman · 11 years ago
- df115d9 The release_capability, release_shared_capability and release_generic_capability functions are now functionally distinct for capability analysis. The unlock_function attribute maps directly to release_generic_capability. by Aaron Ballman · 12 years ago
- 18d85ae Replacing the exclusive_lock_function, shared_lock_function and unlock_function attributes with the acquire_capability and release_capability attributes. The old spellings will continue to work, but the underlying semantic attributes have been replaced. by Aaron Ballman · 12 years ago
- d1c9b37d Thread safety analysis: move smart pointer checks from -Wthread-safety-beta by DeLesley Hutchins · 12 years ago
- be22bcb [C++11] Replacing DeclBase iterators specific_attr_begin() and specific_attr_end() with iterator_range specific_attrs(). Updating all of the usages of the iterators with range-based for loops. by Aaron Ballman · 12 years ago
- 69bb592 Based on usage, the NamedDecl is always set when constructing a CallingContext, but none of the other optional parameters are. Removing the optional parameters, and making the NamedDecl required. by Aaron Ballman · 12 years ago
- 19842c4 Refactored to use a simple helper function that wraps the logic of creating an SExprNode and returning the position in which it was inserted. by Aaron Ballman · 12 years ago
- cea2609 Very minor simplification and typo correction; no functional changes intended. by Aaron Ballman · 12 years ago
- efe348e DeLesley Hutchins (who wrote the original thread-safety attribute functionality) and I have agreed to start migrating from lock-specific terminology to "capability"-specific terminology. This opens the door for future threading-related analysis passes so that a common nomenclature can be used. by Aaron Ballman · 12 years ago
- ee58e6d Switching getAttrs calls over to using a specific_attr_iterator. No functional changes intended. by Aaron Ballman · 12 years ago
- 9ead124 Replacing calls to getAttr with calls to hasAttr for clarity. No functional change intended -- this only replaces Boolean uses of getAttr. by Aaron Ballman · 12 years ago
- f6a24ce Fix a tranche of comment, test and doc typos by Alp Toker · 12 years ago
- d473363 Correct hyphenations in comments and assert messages by Alp Toker · 12 years ago
- 39b804f Thread safety analysis: fix ICE due to missing null check on dyn_cast. by DeLesley Hutchins · 12 years ago
- e73d6b6 Thread-safety analysis: check guarded_by and pt_guarded_by on array access. by DeLesley Hutchins · 12 years ago
- 05b7b37 Thread safety analysis: minor bugfix to smart pointer handling, and expanded by DeLesley Hutchins · 12 years ago
- 5ede5cc Thread safety analysis: check pt_guarded_by attribute when calling -> and * by DeLesley Hutchins · 12 years ago
- 7b56f6c Simplify some implementations of get*Decl. by Rafael Espindola · 12 years ago
- 9f5193c Thread Safety Analysis: fix bug when using TryLock with && and || expressions. by DeLesley Hutchins · 12 years ago
- 16b4ff5 Thread safety analysis: move warnings within lock/unlock functions out of beta. by DeLesley Hutchins · 12 years ago
- fcd5b7e Updating a link in the comments; no functional change. by Aaron Ballman · 12 years ago
- 3b2c66b Thread safety analysis: fix use after free bug reported by Evgeniy Stepanov. by DeLesley Hutchins · 12 years ago
- b682431 Thread safety analysis: add two new attributes to the thread safety analysis: by DeLesley Hutchins · 12 years ago
- fd374bb Thread safety analysis: turn on checking within lock and unlock functions. by DeLesley Hutchins · 12 years ago
- c105ba1 Thread safety analysis: Turn on checking for non-scalar types by default. by DeLesley Hutchins · 12 years ago
- 00be69a Remove the CFGElement "Invalid" state. by David Blaikie · 13 years ago
- 2a01f5d Replace CFGElement llvm::cast support to be well-defined. by David Blaikie · 13 years ago
- 9fa426a Thread-safety analysis: ignore edges from throw expressions in CFG. by DeLesley Hutchins · 13 years ago
- f857950 Remove useless 'llvm::' qualifier from names like StringRef and others that are by Dmitri Gribenko · 13 years ago
- 0cfa1a5 Thread-safety analysis: check member access on guarded non-primitive types. by DeLesley Hutchins · 13 years ago