Skip to content
Commit 4266522a authored by DeLesley Hutchins's avatar DeLesley Hutchins
Browse files

Thread safety analysis: Add support for negative requirements, which are 

capability expressions of the form !expr, and denote a capability that must
not be held.

llvm-svn: 214725
parent 0b2ebcb4
Expand all Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment