Add the ability to use logical expressions for capability attributes. This is...
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
Showing
- include/clang/Analysis/Analyses/ThreadSafetyLogical.h 108 additions, 0 deletionsinclude/clang/Analysis/Analyses/ThreadSafetyLogical.h
- include/clang/Analysis/Analyses/ThreadSafetyUtil.h 2 additions, 0 deletionsinclude/clang/Analysis/Analyses/ThreadSafetyUtil.h
- lib/Analysis/CMakeLists.txt 2 additions, 1 deletionlib/Analysis/CMakeLists.txt
- lib/Analysis/ThreadSafety.cpp 47 additions, 0 deletionslib/Analysis/ThreadSafety.cpp
- lib/Analysis/ThreadSafetyLogical.cpp 112 additions, 0 deletionslib/Analysis/ThreadSafetyLogical.cpp
Loading
Please register or sign in to comment