Lines Matching defs:threadSafety

62 using namespace threadSafety;
280 namespace threadSafety {
317 } // namespace threadSafety
1028   friend class threadSafety::BeforeSet;
1031   threadSafety::til::MemRegionRef Arena;
1032   threadSafety::SExprBuilder SxBuilder;
1254   const threadSafety::til::SExpr *SExp = CapE.sexpr();
2391   threadSafety::CFGWalker walker;
2396   // threadSafety::printSCFG(walker);
2700 void threadSafety::runThreadSafetyAnalysis(AnalysisDeclContext &AC,
2709 void threadSafety::threadSafetyCleanup(BeforeSet *Cache) { delete Cache; }
2713 LockKind threadSafety::getLockKindFromAccessKind(AccessKind AK) {