dc0541f12f
Thread Safety Analysis: fix before/after checks so that they work on global
...
variables as well member variables.
llvm-svn: 248803
2015-09-29 15:25:51 +00:00
3efd0495a0
Thread Safety Analysis: add a -Wthread-safety-negative flag that warns whenever
...
a mutex is acquired, but corresponding mutex is not provably not-held. This
is based on the earlier negative requirements patch.
llvm-svn: 214789
2014-08-04 22:13:06 +00:00
e044904301
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."
...
llvm-svn: 205359
2014-04-01 21:43:23 +00:00
df115d9bf3
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.
...
llvm-svn: 204469
2014-03-21 14:48:48 +00:00
24b71b3072
Correct the function name shown in diagnostics in warn-thread-safety-analysis.c
...
Patch by Alex Wang.
llvm-svn: 199762
2014-01-21 19:07:40 +00:00
b9411ce1f7
Disable and XFAIL a test that never worked
...
-verify was simply ignored by the driver.
This commit fixes the RUN line and XFAILs the test, unblocking changes to ban
use of the driver in Sema tests and avoid problems like this.
llvm-svn: 199347
2014-01-16 02:36:24 +00:00
4bc4751755
Remove assert header dependency in test
...
llvm-svn: 187387
2013-07-29 22:37:42 +00:00
021221db7c
Support for Thread Safety Analysis in C
...
Patch by Ethan Jackson.
llvm-svn: 187365
2013-07-29 18:24:03 +00:00
DeLesley Hutchins