Searched refs:lexpr (Results 1 - 2 of 2) sorted by relevance
/external/clang/lib/Analysis/ | ||
H A D | ThreadSafetyLogical.cpp | 16 using namespace clang::threadSafety::lexpr; 104 namespace lexpr { namespace in namespace:clang::threadSafety |
/external/clang/include/clang/Analysis/Analyses/ | ||
H A D | ThreadSafetyLogical.h | 20 namespace lexpr { namespace in namespace:clang::threadSafety 100 return lexpr::implies(this, RHS); |
Completed in 85 milliseconds