clang 20.0.0git
|
#include "clang/Analysis/Analyses/ThreadSafetyTraverse.h"
Public Member Functions | |
PrettyPrinter (bool V=false, bool C=true, bool CS=true) | |
Static Public Member Functions | |
static void | print (const SExpr *E, StreamType &SS) |
Protected Member Functions | |
Self * | self () |
void | newline (StreamType &SS) |
unsigned | precedence (const SExpr *E) |
void | printBlockLabel (StreamType &SS, const BasicBlock *BB, int index) |
void | printSExpr (const SExpr *E, StreamType &SS, unsigned P, bool Sub=true) |
void | printNull (StreamType &SS) |
void | printFuture (const Future *E, StreamType &SS) |
void | printUndefined (const Undefined *E, StreamType &SS) |
void | printWildcard (const Wildcard *E, StreamType &SS) |
template<class T > | |
void | printLiteralT (const LiteralT< T > *E, StreamType &SS) |
void | printLiteralT (const LiteralT< uint8_t > *E, StreamType &SS) |
void | printLiteral (const Literal *E, StreamType &SS) |
void | printLiteralPtr (const LiteralPtr *E, StreamType &SS) |
void | printVariable (const Variable *V, StreamType &SS, bool IsVarDecl=false) |
void | printFunction (const Function *E, StreamType &SS, unsigned sugared=0) |
void | printSFunction (const SFunction *E, StreamType &SS) |
void | printCode (const Code *E, StreamType &SS) |
void | printField (const Field *E, StreamType &SS) |
void | printApply (const Apply *E, StreamType &SS, bool sugared=false) |
void | printSApply (const SApply *E, StreamType &SS) |
void | printProject (const Project *E, StreamType &SS) |
void | printCall (const Call *E, StreamType &SS) |
void | printAlloc (const Alloc *E, StreamType &SS) |
void | printLoad (const Load *E, StreamType &SS) |
void | printStore (const Store *E, StreamType &SS) |
void | printArrayIndex (const ArrayIndex *E, StreamType &SS) |
void | printArrayAdd (const ArrayAdd *E, StreamType &SS) |
void | printUnaryOp (const UnaryOp *E, StreamType &SS) |
void | printBinaryOp (const BinaryOp *E, StreamType &SS) |
void | printCast (const Cast *E, StreamType &SS) |
void | printSCFG (const SCFG *E, StreamType &SS) |
void | printBBInstr (const SExpr *E, StreamType &SS) |
void | printBasicBlock (const BasicBlock *E, StreamType &SS) |
void | printPhi (const Phi *E, StreamType &SS) |
void | printGoto (const Goto *E, StreamType &SS) |
void | printBranch (const Branch *E, StreamType &SS) |
void | printReturn (const Return *E, StreamType &SS) |
void | printIdentifier (const Identifier *E, StreamType &SS) |
void | printIfThenElse (const IfThenElse *E, StreamType &SS) |
void | printLet (const Let *E, StreamType &SS) |
Static Protected Attributes | |
static const unsigned | Prec_Atom = 0 |
static const unsigned | Prec_Postfix = 1 |
static const unsigned | Prec_Unary = 2 |
static const unsigned | Prec_Binary = 3 |
static const unsigned | Prec_Other = 4 |
static const unsigned | Prec_Decl = 5 |
static const unsigned | Prec_MAX = 6 |
Definition at line 405 of file ThreadSafetyTraverse.h.
|
inline |
Definition at line 417 of file ThreadSafetyTraverse.h.
|
inlineprotected |
Definition at line 428 of file ThreadSafetyTraverse.h.
Referenced by clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printBasicBlock(), clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printBBInstr(), and clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printSCFG().
|
inlineprotected |
Definition at line 442 of file ThreadSafetyTraverse.h.
References E, clang::threadSafety::til::PrettyPrinter< Self, StreamType >::Prec_Atom, clang::threadSafety::til::PrettyPrinter< Self, StreamType >::Prec_Binary, clang::threadSafety::til::PrettyPrinter< Self, StreamType >::Prec_Decl, clang::threadSafety::til::PrettyPrinter< Self, StreamType >::Prec_MAX, clang::threadSafety::til::PrettyPrinter< Self, StreamType >::Prec_Other, clang::threadSafety::til::PrettyPrinter< Self, StreamType >::Prec_Postfix, and clang::threadSafety::til::PrettyPrinter< Self, StreamType >::Prec_Unary.
Referenced by clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printSExpr().
|
inlinestatic |
Definition at line 420 of file ThreadSafetyTraverse.h.
References E, clang::threadSafety::til::PrettyPrinter< Self, StreamType >::Prec_MAX, and clang::Self.
|
inlineprotected |
Definition at line 746 of file ThreadSafetyTraverse.h.
References E, clang::threadSafety::til::PrettyPrinter< Self, StreamType >::Prec_Other, and clang::threadSafety::til::PrettyPrinter< Self, StreamType >::self().
|
inlineprotected |
Definition at line 685 of file ThreadSafetyTraverse.h.
References E, clang::threadSafety::til::SExpr::opcode(), clang::threadSafety::til::PrettyPrinter< Self, StreamType >::Prec_MAX, clang::threadSafety::til::PrettyPrinter< Self, StreamType >::Prec_Postfix, clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printApply(), and clang::threadSafety::til::PrettyPrinter< Self, StreamType >::self().
Referenced by clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printApply().
|
inlineprotected |
|
inlineprotected |
|
inlineprotected |
Definition at line 842 of file ThreadSafetyTraverse.h.
References E, clang::threadSafety::til::PrettyPrinter< Self, StreamType >::newline(), clang::threadSafety::til::PrettyPrinter< Self, StreamType >::Prec_MAX, clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printBBInstr(), clang::threadSafety::til::PrettyPrinter< Self, StreamType >::self(), and clang::T.
Referenced by clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printSCFG().
|
inlineprotected |
Definition at line 826 of file ThreadSafetyTraverse.h.
References E, clang::threadSafety::til::PrettyPrinter< Self, StreamType >::newline(), clang::threadSafety::til::PrettyPrinter< Self, StreamType >::Prec_MAX, clang::threadSafety::til::PrettyPrinter< Self, StreamType >::self(), and V.
Referenced by clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printBasicBlock().
|
inlineprotected |
|
inlineprotected |
Definition at line 485 of file ThreadSafetyTraverse.h.
References clang::threadSafety::til::BasicBlock::blockID().
Referenced by clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printBranch(), and clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printGoto().
|
inlineprotected |
|
inlineprotected |
Definition at line 734 of file ThreadSafetyTraverse.h.
References E, clang::threadSafety::til::PrettyPrinter< Self, StreamType >::Prec_Postfix, clang::threadSafety::til::PrettyPrinter< Self, StreamType >::self(), and clang::T.
|
inlineprotected |
Definition at line 787 of file ThreadSafetyTraverse.h.
References clang::threadSafety::til::CAST_extendNum, clang::threadSafety::til::CAST_none, clang::threadSafety::til::CAST_objToPtr, clang::threadSafety::til::CAST_toFloat, clang::threadSafety::til::CAST_toInt, clang::threadSafety::til::CAST_truncNum, E, clang::threadSafety::til::PrettyPrinter< Self, StreamType >::Prec_Unary, and clang::threadSafety::til::PrettyPrinter< Self, StreamType >::self().
|
inlineprotected |
Definition at line 671 of file ThreadSafetyTraverse.h.
References E, clang::threadSafety::til::PrettyPrinter< Self, StreamType >::Prec_Decl, and clang::threadSafety::til::PrettyPrinter< Self, StreamType >::self().
|
inlineprotected |
Definition at line 678 of file ThreadSafetyTraverse.h.
References E, clang::threadSafety::til::PrettyPrinter< Self, StreamType >::Prec_Decl, and clang::threadSafety::til::PrettyPrinter< Self, StreamType >::self().
|
inlineprotected |
Definition at line 639 of file ThreadSafetyTraverse.h.
References E, clang::threadSafety::til::SExpr::opcode(), clang::threadSafety::til::PrettyPrinter< Self, StreamType >::Prec_Decl, clang::threadSafety::til::PrettyPrinter< Self, StreamType >::Prec_MAX, and clang::threadSafety::til::PrettyPrinter< Self, StreamType >::self().
|
inlineprotected |
Definition at line 529 of file ThreadSafetyTraverse.h.
References E, clang::threadSafety::til::PrettyPrinter< Self, StreamType >::Prec_Atom, and clang::threadSafety::til::PrettyPrinter< Self, StreamType >::self().
|
inlineprotected |
Definition at line 878 of file ThreadSafetyTraverse.h.
References E, and clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printBlockLabel().
|
inlineprotected |
Definition at line 897 of file ThreadSafetyTraverse.h.
References E.
|
inlineprotected |
Definition at line 901 of file ThreadSafetyTraverse.h.
References E, clang::threadSafety::til::PrettyPrinter< Self, StreamType >::Prec_MAX, clang::threadSafety::til::PrettyPrinter< Self, StreamType >::Prec_Other, clang::threadSafety::til::PrettyPrinter< Self, StreamType >::Prec_Unary, and clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printSExpr().
|
inlineprotected |
|
inlineprotected |
Definition at line 550 of file ThreadSafetyTraverse.h.
References clang::threadSafety::til::ValueType::Base, clang::threadSafety::til::ValueType::BT_Bool, clang::threadSafety::til::ValueType::BT_Float, clang::threadSafety::til::ValueType::BT_Int, clang::threadSafety::til::ValueType::BT_Pointer, clang::threadSafety::til::ValueType::BT_String, clang::threadSafety::til::ValueType::BT_ValueRef, clang::threadSafety::til::ValueType::BT_Void, E, clang::threadSafety::getSourceLiteralString(), clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printLiteralT(), clang::threadSafety::til::ValueType::Signed, clang::threadSafety::til::ValueType::Size, clang::threadSafety::til::ValueType::ST_16, clang::threadSafety::til::ValueType::ST_32, clang::threadSafety::til::ValueType::ST_64, and clang::threadSafety::til::ValueType::ST_8.
|
inlineprotected |
Definition at line 625 of file ThreadSafetyTraverse.h.
|
inlineprotected |
Definition at line 542 of file ThreadSafetyTraverse.h.
References E.
Referenced by clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printLiteral().
|
inlineprotected |
Definition at line 546 of file ThreadSafetyTraverse.h.
References E.
|
inlineprotected |
Definition at line 751 of file ThreadSafetyTraverse.h.
References E, clang::threadSafety::til::PrettyPrinter< Self, StreamType >::Prec_Postfix, and clang::threadSafety::til::PrettyPrinter< Self, StreamType >::self().
|
inlineprotected |
Definition at line 525 of file ThreadSafetyTraverse.h.
|
inlineprotected |
Definition at line 863 of file ThreadSafetyTraverse.h.
References E, clang::threadSafety::til::Phi::PH_SingleVal, clang::threadSafety::til::PrettyPrinter< Self, StreamType >::Prec_MAX, clang::threadSafety::til::PrettyPrinter< Self, StreamType >::self(), and V.
|
inlineprotected |
Definition at line 708 of file ThreadSafetyTraverse.h.
References E, clang::threadSafety::til::PrettyPrinter< Self, StreamType >::Prec_Postfix, clang::threadSafety::til::PrettyPrinter< Self, StreamType >::self(), V, and clang::threadSafety::til::Variable::VK_SFun.
|
inlineprotected |
Definition at line 892 of file ThreadSafetyTraverse.h.
References E, clang::threadSafety::til::PrettyPrinter< Self, StreamType >::Prec_Other, and clang::threadSafety::til::PrettyPrinter< Self, StreamType >::self().
|
inlineprotected |
|
inlineprotected |
Definition at line 818 of file ThreadSafetyTraverse.h.
References E, clang::threadSafety::til::PrettyPrinter< Self, StreamType >::newline(), and clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printBasicBlock().
|
inlineprotected |
Definition at line 498 of file ThreadSafetyTraverse.h.
References E, P, clang::threadSafety::til::PrettyPrinter< Self, StreamType >::Prec_MAX, clang::threadSafety::til::PrettyPrinter< Self, StreamType >::precedence(), and clang::threadSafety::til::PrettyPrinter< Self, StreamType >::self().
Referenced by clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printIfThenElse(), and clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printLet().
|
inlineprotected |
Definition at line 664 of file ThreadSafetyTraverse.h.
References E, clang::threadSafety::til::PrettyPrinter< Self, StreamType >::Prec_Decl, and clang::threadSafety::til::PrettyPrinter< Self, StreamType >::self().
|
inlineprotected |
Definition at line 757 of file ThreadSafetyTraverse.h.
References E, clang::threadSafety::til::PrettyPrinter< Self, StreamType >::Prec_Other, and clang::threadSafety::til::PrettyPrinter< Self, StreamType >::self().
|
inlineprotected |
|
inlineprotected |
Definition at line 533 of file ThreadSafetyTraverse.h.
|
inlineprotected |
Definition at line 632 of file ThreadSafetyTraverse.h.
References V, and clang::threadSafety::til::Variable::VK_SFun.
Referenced by clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printLet().
|
inlineprotected |
Definition at line 537 of file ThreadSafetyTraverse.h.
|
inlineprotected |
Definition at line 426 of file ThreadSafetyTraverse.h.
References clang::Self.
Referenced by clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printAlloc(), clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printApply(), clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printArrayAdd(), clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printArrayIndex(), clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printBasicBlock(), clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printBBInstr(), clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printBinaryOp(), clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printBranch(), clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printCall(), clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printCast(), clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printCode(), clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printField(), clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printFunction(), clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printFuture(), clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printLoad(), clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printPhi(), clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printProject(), clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printReturn(), clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printSApply(), clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printSExpr(), clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printSFunction(), clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printStore(), and clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printUnaryOp().
|
staticprotected |
Definition at line 433 of file ThreadSafetyTraverse.h.
Referenced by clang::threadSafety::til::PrettyPrinter< Self, StreamType >::precedence(), clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printArrayAdd(), and clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printFuture().
|
staticprotected |
Definition at line 436 of file ThreadSafetyTraverse.h.
Referenced by clang::threadSafety::til::PrettyPrinter< Self, StreamType >::precedence(), and clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printBinaryOp().
|
staticprotected |
Definition at line 438 of file ThreadSafetyTraverse.h.
Referenced by clang::threadSafety::til::PrettyPrinter< Self, StreamType >::precedence(), clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printCode(), clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printField(), clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printFunction(), clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printLet(), and clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printSFunction().
|
staticprotected |
Definition at line 439 of file ThreadSafetyTraverse.h.
Referenced by clang::threadSafety::til::PrettyPrinter< Self, StreamType >::precedence(), clang::threadSafety::til::PrettyPrinter< Self, StreamType >::print(), clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printApply(), clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printArrayIndex(), clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printBasicBlock(), clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printBBInstr(), clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printBranch(), clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printFunction(), clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printIfThenElse(), clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printPhi(), clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printSApply(), and clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printSExpr().
|
staticprotected |
Definition at line 437 of file ThreadSafetyTraverse.h.
Referenced by clang::threadSafety::til::PrettyPrinter< Self, StreamType >::precedence(), clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printAlloc(), clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printIfThenElse(), clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printReturn(), and clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printStore().
|
staticprotected |
Definition at line 434 of file ThreadSafetyTraverse.h.
Referenced by clang::threadSafety::til::PrettyPrinter< Self, StreamType >::precedence(), clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printApply(), clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printArrayAdd(), clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printArrayIndex(), clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printCall(), clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printLoad(), clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printProject(), and clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printSApply().
|
staticprotected |
Definition at line 435 of file ThreadSafetyTraverse.h.
Referenced by clang::threadSafety::til::PrettyPrinter< Self, StreamType >::precedence(), clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printCast(), clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printIfThenElse(), and clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printUnaryOp().