summaryrefslogtreecommitdiffstats
path: root/clang/lib/Analysis/ThreadSafety.cpp
Commit message (Collapse)AuthorAgeFilesLines
* Thread-safety analysis: eliminate false positives in case where the definitionDeLesley Hutchins2012-07-051-183/+188
| | | | | | | duplicates attributes on the declaration. Also eliminates a false negative in ReleasableMutexLock. Fixing this bug required some refactoring. llvm-svn: 159780
* Thread safety analysis: improve handling of smart pointers.DeLesley Hutchins2012-07-031-0/+19
| | | | llvm-svn: 159679
* Thread Safety Analysis: handle expressions involving temporaries,DeLesley Hutchins2012-07-031-8/+14
| | | | | | e.g. ExprWithCleanups. llvm-svn: 159674
* Thread safety analysis: fixed bug that occurs when very silly peopleDeLesley Hutchins2012-07-021-14/+33
| | | | | | | use scoped_lockable without putting unlock_function on the destructor. llvm-svn: 159609
* Thread safety analysis: fixed incorrect error message at the end of a ↵DeLesley Hutchins2012-07-021-6/+15
| | | | | | locks_required function. llvm-svn: 159607
* Thread safety analysis: don't warn in case of duplicate annotation.DeLesley Hutchins2012-07-021-8/+11
| | | | llvm-svn: 159606
* Thread Safety Analysis: turn off checking within trylock functions.DeLesley Hutchins2012-07-021-0/+6
| | | | llvm-svn: 159601
* Thread safety analysis: support release() function on scopedDeLesley Hutchins2012-06-281-20/+44
| | | | | | lockable objects. llvm-svn: 159387
* Thread safety analysis: implement lock_returned attribute.DeLesley Hutchins2012-06-251-46/+88
| | | | llvm-svn: 159152
* Thread safety analysis: fixes a bug in which locksets are not handledDeLesley Hutchins2012-06-221-44/+50
| | | | | | | | properly if there is a join point in the control flow graph that involves a trylock. Also changes the source locations of some warnings to be more consistent. llvm-svn: 159008
* Refactor the thread safety analysis so that it is easier to doDeLesley Hutchins2012-04-191-272/+318
| | | | | | path-sensitive analysis like handling of trylock expressions. llvm-svn: 155137
* Remove BlockDeclRefExpr and introduce a bit on DeclRefExpr toJohn McCall2012-03-101-2/+2
| | | | | | | | track whether the referenced declaration comes from an enclosing local context. I'm amenable to suggestions about the exact meaning of this bit. llvm-svn: 152491
* Thread safety analysis: expand set of expressions that can be used to denote ↵DeLesley Hutchins2012-03-021-6/+50
| | | | | | locks. llvm-svn: 151956
* Thread safety analysis: handle CFG blocks which call functions marked as ↵DeLesley Hutchins2012-03-021-0/+4
| | | | | | noreturn. llvm-svn: 151944
* Thread-safety analysis: Disable checking inside constructors, destructors, ↵DeLesley Hutchins2012-02-161-6/+24
| | | | | | lock, and unlock functions llvm-svn: 150701
* Thread-Safety: added support for 'this' as a lock expression.DeLesley Hutchins2012-02-161-3/+7
| | | | llvm-svn: 150700
* Thread safety analysis:Richard Smith2012-02-031-13/+83
| | | | | | | | | | | | * When we detect that a CFG block has inconsistent lock sets, point the diagnostic at the location where we found the inconsistency, and point a note at somewhere the inconsistently-locked mutex was locked. * Fix the wording of the normal (non-loop, non-end-of-function) case of this diagnostic to not suggest that the mutex is going out of scope. * Fix the diagnostic emission code to keep a warning and its note together when sorting the diagnostics into source location order. llvm-svn: 149669
* Thread safety analysis: at a CFG join point between a block terminating in aRichard Smith2012-02-031-0/+39
| | | | | | | 'continue' and another block, prefer the lockset from the other block, and diagnose the 'continue' block as being the end of a loop. llvm-svn: 149666
* Handle thread safety attributes on functions with separate definitions and ↵DeLesley Hutchins2012-01-201-24/+25
| | | | | | declarations. llvm-svn: 148599
* Thread safety analysis: added support for trylock attribute.DeLesley Hutchins2012-01-061-3/+123
| | | | llvm-svn: 147672
* Added LocalVariableMapDeLesley Hutchins2012-01-061-44/+536
| | | | llvm-svn: 147670
* Support for thread safety attributes on functionsDeLesley Hutchins2011-12-291-2/+5
| | | | llvm-svn: 147331
* This patch extends thread safety analysis with support for the ↵DeLesley Hutchins2011-12-081-33/+74
| | | | | | scoped_lockable attribute. llvm-svn: 146174
* Rename AnalysisContext to AnalysisDeclContext. Not only is this name more ↵Ted Kremenek2011-10-241-3/+3
| | | | | | accurate, but it frees up the name AnalysisContext for other uses. llvm-svn: 142782
* Refactor ThreadSafety to use PostOrderCFGView instead of its own copy (of ↵Ted Kremenek2011-10-221-83/+7
| | | | | | TopologicallySortedCFG). llvm-svn: 142714
* Added support for thread safety attributes on destructors.DeLesley Hutchins2011-10-211-2/+27
| | | | llvm-svn: 142685
* Thread safety analysis refactoring: invalid lock expressions.DeLesley Hutchins2011-10-211-30/+60
| | | | llvm-svn: 142666
* Thread safety analysis: add support for attributes on constructors.DeLesley Hutchins2011-10-211-56/+78
| | | | llvm-svn: 142665
* Refactoring and code cleanup.DeLesley Hutchins2011-10-211-65/+100
| | | | llvm-svn: 142654
* Substitute for arguments in method calls -- functionalityDeLesley Hutchins2011-10-171-11/+32
| | | | llvm-svn: 142267
* Substitute for arguments in method calls -- refactoringDeLesley Hutchins2011-10-171-64/+98
| | | | llvm-svn: 142260
* Test commitDeLesley Hutchins2011-09-201-1/+1
| | | | llvm-svn: 140149
* Thread safety: Adding FIXMEs and a couple cleanupsCaitlin Sadowski2011-09-161-30/+12
| | | | llvm-svn: 139894
* Thread safety: completeing the implementation of shared/exclusive locks ↵Caitlin Sadowski2011-09-151-2/+45
| | | | | | required attributes llvm-svn: 139804
* Thread safety: refactoring various out of scope warnings to use the same ↵Caitlin Sadowski2011-09-151-80/+21
| | | | | | inteface. This eliminates a lot of unnecessary duplicated code. llvm-svn: 139801
* Thread safety: adding additional documentation to the main thread safety ↵Caitlin Sadowski2011-09-141-1/+5
| | | | | | interface, and making the destructor for the thread safety handler pure virtual llvm-svn: 139722
* Thread safety: adding test cases for unparseable lock expressions and ↵Caitlin Sadowski2011-09-141-16/+33
| | | | | | expanding the handling of these expressions llvm-svn: 139720
* Thread safety: small formatting changeCaitlin Sadowski2011-09-121-1/+2
| | | | llvm-svn: 139548
* Silence "end of non-void function" warnings with llvm_unreachable and add an ↵Benjamin Kramer2011-09-101-0/+2
| | | | | | assert. llvm-svn: 139474
* Thread safety: removing unnecessary import and reordering import listCaitlin Sadowski2011-09-091-5/+5
| | | | llvm-svn: 139426
* Thread safety: removing unnecessary importCaitlin Sadowski2011-09-091-1/+0
| | | | llvm-svn: 139425
* Thread safety: This patch deals with previously unhandled cases when ↵Caitlin Sadowski2011-09-091-21/+37
| | | | | | building lock expressions. We now resolve this expressions, avoid crashing when encountering cast expressions, and have a diagnostic for unresolved lock expressions llvm-svn: 139370
* Thread Safety: Moving the analysis to a new fileCaitlin Sadowski2011-09-091-0/+794
llvm-svn: 139369
OpenPOWER on IntegriCloud