clang
3.9.0
|
#include "clang/Analysis/Analyses/PostOrderCFGView.h"
#include "clang/Analysis/Analyses/ThreadSafetyTIL.h"
#include "clang/Analysis/Analyses/ThreadSafetyTraverse.h"
#include "clang/Analysis/AnalysisContext.h"
#include "clang/Basic/OperatorKinds.h"
#include <memory>
#include <ostream>
#include <sstream>
#include <vector>
Go to the source code of this file.
Classes | |
class | clang::threadSafety::CFGVisitor |
class | clang::threadSafety::CFGWalker |
class | clang::threadSafety::CapabilityExpr |
class | clang::threadSafety::SExprBuilder |
struct | clang::threadSafety::SExprBuilder::CallingContext |
Encapsulates the lexical context of a function call. More... | |
Namespaces | |
clang | |
Dataflow Directional Tag Classes. | |
clang::threadSafety | |
clang::threadSafety::sx | |
Functions | |
bool | clang::threadSafety::sx::equals (const til::SExpr *E1, const til::SExpr *E2) |
bool | clang::threadSafety::sx::matches (const til::SExpr *E1, const til::SExpr *E2) |
bool | clang::threadSafety::sx::partiallyMatches (const til::SExpr *E1, const til::SExpr *E2) |
std::string | clang::threadSafety::sx::toString (const til::SExpr *E) |
void | clang::threadSafety::printSCFG (CFGWalker &Walker) |