]> granicus.if.org Git - clang/commit
Add the ability to use logical expressions for capability attributes. This is to...
authorAaron Ballman <aaron@aaronballman.com>
Fri, 9 May 2014 18:26:23 +0000 (18:26 +0000)
committerAaron Ballman <aaron@aaronballman.com>
Fri, 9 May 2014 18:26:23 +0000 (18:26 +0000)
commitb8f956e09adccac3ea93a074bcdef7909b808303
treec7ca292c53999f31616492c9a25f04247bb61681
parent3ae09ee2ed3e345e33b8350149b09eb64d913e81
Add the ability to use logical expressions for capability attributes. This is to allow requirements to be expressed not just in terms of lists, but in terms of logical expressions. Eg)

void foo(void) __attribute__((requires_capability((FlightControl || Worker) && !Logger)));

This is WIP code.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@208439 91177308-0d34-0410-b5e6-96231b3b80d8
include/clang/Analysis/Analyses/ThreadSafetyLogical.h [new file with mode: 0644]
include/clang/Analysis/Analyses/ThreadSafetyUtil.h
lib/Analysis/CMakeLists.txt
lib/Analysis/ThreadSafety.cpp
lib/Analysis/ThreadSafetyLogical.cpp [new file with mode: 0644]