summaryrefslogtreecommitdiffstats
path: root/clang/lib/Analysis/ThreadSafetyTIL.cpp
Commit message (Collapse)AuthorAgeFilesLines
* Eliminate some unneeded signed/unsigned conversionsAaron Puchert2018-09-221-8/+10
| | | | | | | No functional change is intended, but generally this should be a bit more safe. llvm-svn: 342823
* [Analysis] Fix some Clang-tidy modernize and Include What You Use warnings; ↵Eugene Zelenko2018-03-161-22/+16
| | | | | | other minor fixes (NFC). llvm-svn: 327687
* [c++20] P0515R3: Parsing support and basic AST construction for operator <=>.Richard Smith2017-12-141-0/+1
| | | | | | | | | | | | | | | Adding the new enumerator forced a bunch more changes into this patch than I would have liked. The -Wtautological-compare warning was extended to properly check the new comparison operator, clang-format needed updating because it uses precedence levels as weights for determining where to break lines (and several operators increased their precedence levels with this change), thread-safety analysis needed changes to build its own IL properly for the new operator. All "real" semantic checking for this operator has been deferred to a future patch. For now, we use the relational comparison rules and arbitrarily give the builtin form of the operator a return type of 'void'. llvm-svn: 320707
* Spelling mistakes in comments. NFCI. (PR27635)Simon Pilgrim2017-03-301-2/+2
| | | | llvm-svn: 299083
* Hide away implementation details of the ThreadSafetyAnalysis in anonymous ↵Benjamin Kramer2015-03-091-15/+8
| | | | | | | | namespaces NFC. llvm-svn: 231653
* Fixing a -Woverflow warning from GCC by using a more natural datatype for ↵Aaron Ballman2014-09-121-2/+2
| | | | | | this operation. NFC. llvm-svn: 217670
* Fix a couple of -Wsign-compare warnings introduced in r217556Justin Bogner2014-09-111-3/+2
| | | | llvm-svn: 217569
* Thread Safety Analysis: major update to thread safety TIL.DeLesley Hutchins2014-09-101-64/+222
| | | | | | | | | | | | Numerous changes, including: * Changed the way variables and instructions are handled in basic blocks to be more efficient. * Eliminated SExprRef. * Simplified futures. * Fixed documentation. * Compute dominator and post dominator trees. llvm-svn: 217556
* Thread Safety Analysis: Replace the old and broken SExpr with the newDeLesley Hutchins2014-07-281-3/+36
| | | | | | | | til::SExpr. This is a large patch, with many small changes to pretty printing and expression lowering to make the new SExpr representation equivalent in functionality to the old. llvm-svn: 214089
* Thread Safety Analysis: update TIL traversal mechanism to allow arbitraryDeLesley Hutchins2014-05-281-0/+40
| | | | | | local contexts. Also includes some minor refactoring. llvm-svn: 209774
* Thread Safety Analysis: add new node types to thread safety TIL.DeLesley Hutchins2014-05-151-0/+113
This fills in a few missing gaps in functionality. llvm-svn: 208830
OpenPOWER on IntegriCloud