Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | Handle thread safety attributes on functions with separate definitions and ↵ | DeLesley Hutchins | 2012-01-20 | 1 | -0/+26 | |
| | | | | | | declarations. llvm-svn: 148599 | |||||
* | Delayed template instantiation of late-parsed attributes. | DeLesley Hutchins | 2012-01-20 | 1 | -21/+44 | |
| | | | | llvm-svn: 148595 | |||||
* | Instantiate dependent attributes when instantiating templates. | DeLesley Hutchins | 2012-01-20 | 1 | -3/+127 | |
| | | | | llvm-svn: 148592 | |||||
* | Thread safety analysis: added support for trylock attribute. | DeLesley Hutchins | 2012-01-06 | 1 | -0/+101 | |
| | | | | llvm-svn: 147672 | |||||
* | Support for thread safety attributes on functions | DeLesley Hutchins | 2011-12-29 | 1 | -0/+22 | |
| | | | | llvm-svn: 147331 | |||||
* | Modify how the -verify flag works. Currently, the verification string and | Richard Trieu | 2011-12-15 | 1 | -7/+7 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | diagnostic message are compared. If either is a substring of the other, then no error is given. This gives rise to an unexpected case: // expect-error{{candidate function has different number of parameters}} will match the following error messages from Clang: candidate function has different number of parameters (expected 1 but has 2) candidate function has different number of parameters It will also match these other error messages: candidate function function has different number of parameters number of parameters This patch will change so that the verification string must be a substring of the diagnostic message before accepting. Also, all the failing tests from this change have been corrected. Some stats from this cleanup: 87 - removed extra spaces around verification strings 70 - wording updates to diagnostics 40 - extra leading or trailing characters (typos, unmatched parens or quotes) 35 - diagnostic level was included (error:, warning:, or note:) 18 - flag name put in the warning (-Wprotocol) llvm-svn: 146619 | |||||
* | This patch extends thread safety analysis with support for the ↵ | DeLesley Hutchins | 2011-12-08 | 1 | -0/+56 | |
| | | | | | | scoped_lockable attribute. llvm-svn: 146174 | |||||
* | UnresolvedMemberExprs need lvalue-to-rvalue conversions during template | Richard Smith | 2011-10-26 | 1 | -0/+15 | |
| | | | | | | instantiations too. llvm-svn: 143016 | |||||
* | Don't forget the lvalue-to-rvalue conversion on the LHS when instantiating a | Richard Smith | 2011-10-25 | 1 | -0/+7 | |
| | | | | | | | dependent ->, where the member being referred to is an anonymous struct or union. This path was missed by the fix in r142890. llvm-svn: 142910 | |||||
* | Tidy up testcase from r142890, spotted by Chandler. | Richard Smith | 2011-10-25 | 1 | -5/+1 | |
| | | | | llvm-svn: 142895 | |||||
* | Don't forget the lvalue-to-rvalue conversion on the LHS of an -> when rebuilding | Richard Smith | 2011-10-25 | 1 | -0/+21 | |
| | | | | | | it during template instantiation, for a known RHS decl. llvm-svn: 142890 | |||||
* | Added support for thread safety attributes on destructors. | DeLesley Hutchins | 2011-10-21 | 1 | -4/+2 | |
| | | | | llvm-svn: 142685 | |||||
* | Thread safety analysis refactoring: invalid lock expressions. | DeLesley Hutchins | 2011-10-21 | 1 | -9/+27 | |
| | | | | llvm-svn: 142666 | |||||
* | Thread safety analysis: add support for attributes on constructors. | DeLesley Hutchins | 2011-10-21 | 1 | -0/+19 | |
| | | | | llvm-svn: 142665 | |||||
* | Substitute for arguments in method calls -- functionality | DeLesley Hutchins | 2011-10-17 | 1 | -0/+55 | |
| | | | | llvm-svn: 142267 | |||||
* | Remove standard library includes from test; they explode on Windows. | Eli Friedman | 2011-09-15 | 1 | -3/+0 | |
| | | | | llvm-svn: 139875 | |||||
* | Thread safety: changing naming in error messages based on reviewer comments | Caitlin Sadowski | 2011-09-15 | 1 | -71/+71 | |
| | | | | llvm-svn: 139814 | |||||
* | Thread safety: test cases originally from gcc annotalysis branch. We are | Caitlin Sadowski | 2011-09-15 | 1 | -0/+676 | |
| | | | | | | relicensing them under the license for llvm. llvm-svn: 139812 | |||||
* | Thread safety: completeing the implementation of shared/exclusive locks ↵ | Caitlin Sadowski | 2011-09-15 | 1 | -0/+10 | |
| | | | | | | required attributes llvm-svn: 139804 | |||||
* | Thread safety: refactoring various out of scope warnings to use the same ↵ | Caitlin Sadowski | 2011-09-15 | 1 | -17/+19 | |
| | | | | | | inteface. This eliminates a lot of unnecessary duplicated code. llvm-svn: 139801 | |||||
* | Thread safety: reverting to use separate warning for requirement to hold any ↵ | Caitlin Sadowski | 2011-09-14 | 1 | -8/+8 | |
| | | | | | | lock llvm-svn: 139723 | |||||
* | Thread safety: adding test cases for unparseable lock expressions and ↵ | Caitlin Sadowski | 2011-09-14 | 1 | -2/+36 | |
| | | | | | | expanding the handling of these expressions llvm-svn: 139720 | |||||
* | Thread safety: This patch deals with previously unhandled cases when ↵ | Caitlin Sadowski | 2011-09-09 | 1 | -0/+74 | |
| | | | | | | 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: refactoring test cases | Caitlin Sadowski | 2011-09-09 | 1 | -9/+9 | |
| | | | | llvm-svn: 139368 | |||||
* | Thread Safety: In C++0x Mutexes are the objects that control access to ↵ | Caitlin Sadowski | 2011-09-08 | 1 | -55/+55 | |
| | | | | | | shared variables, while Locks are the objects that acquire and release Mutexes. We switch to this new terminology. llvm-svn: 139321 | |||||
* | Thread Safety: adding basic no thread safety analysis option | Caitlin Sadowski | 2011-09-08 | 1 | -0/+10 | |
| | | | | llvm-svn: 139310 | |||||
* | Thread safety: Adding basic support for locks required and excluded attributes | Caitlin Sadowski | 2011-09-08 | 1 | -9/+114 | |
| | | | | llvm-svn: 139308 | |||||
* | Thread safety: shared vs. exclusive locks | Caitlin Sadowski | 2011-09-08 | 1 | -17/+98 | |
| | | | | llvm-svn: 139307 | |||||
* | Thread safety: small formatting change in test comments | Caitlin Sadowski | 2011-09-08 | 1 | -45/+44 | |
| | | | | llvm-svn: 139306 | |||||
* | Thread Safety: Patch to implement delayed parsing of attributes within a | Caitlin Sadowski | 2011-09-08 | 1 | -0/+25 | |
| | | | | | | | | class scope. This patch was also written by DeLesley Hutchins. llvm-svn: 139301 | |||||
* | Thread safety: added basic handling for pt_guarded_by/var and guarded_by/var ↵ | Caitlin Sadowski | 2011-08-29 | 1 | -1/+113 | |
| | | | | | | annotations. We identify situations where we are accessing (reading or writing) guarded variables, and report an error if the appropriate locks are not held. llvm-svn: 138774 | |||||
* | Thread safety: various minor bugfixes, with test cases | Caitlin Sadowski | 2011-08-29 | 1 | -0/+30 | |
| | | | | | | This patch is by DeLesley Hutchins. llvm-svn: 138738 | |||||
* | Thread-safety analysis: adding in a basic lockset tracking system. This | Caitlin Sadowski | 2011-08-23 | 1 | -0/+267 | |
system flags an error when unlocking a lock which was not held, locking the same lock twice, having a different lockset on each iteration of a loop, or going out of scope while still holding a lock. In order to successfully use the lockset, this patch also makes sure that attribute arguments are attached correctly for later parsing. This patch was also worked on by DeLesley Hutchins. Note: This patch has been reviewed by Chandler Carruth and Jeffrey Yasskin. Feel free to provide post-commit review comments for a subsequent patch. llvm-svn: 138350 |