reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
58 return To::classof(&Val); 106 return isa_impl<To, From>::doit(*Val); 122 return isa_impl_wrap<To, SimpleFrom, 132 return isa_impl_cl<To,FromTy>::doit(Val); 142 return isa_impl_wrap<X, const Y, 172 using ret_type = To *; // Pointer arg case, return Ty* 176 using ret_type = const To *; // Constant pointer arg case, return const Ty* 198 using ret_type = typename cast_retty<To, SimpleFrom>::ret_type; 204 using ret_type = typename cast_retty_impl<To,FromTy>::ret_type; 210 To, From, typename simplify_type<From>::SimpleType>::ret_type; 227 static typename cast_retty<To, FromTy>::ret_type doit(const FromTy &Val) { 228 typename cast_retty<To, FromTy>::ret_type Res2 256 inline typename cast_retty<X, Y>::ret_type cast(Y &Val) { 263 inline typename cast_retty<X, Y *>::ret_type cast(Y *Val) { 265 return cast_convert_val<X, Y*, 337 LLVM_NODISCARD inline typename cast_retty<X, Y>::ret_type dyn_cast(Y &Val) { 342 LLVM_NODISCARD inline typename cast_retty<X, Y *>::ret_type dyn_cast(Y *Val) { 343 return isa<X>(Val) ? cast<X>(Val) : nullptr; 343 return isa<X>(Val) ? cast<X>(Val) : nullptr;tools/clang/include/clang/Analysis/Analyses/ThreadSafetyCommon.h
365 SelfVar = new (Arena) til::Variable(nullptr); 366 SelfVar->setKind(til::Variable::VK_SFun); 490 til::Variable *SelfVar = nullptr;tools/clang/include/clang/Analysis/Analyses/ThreadSafetyTIL.h
379 Variable(const Variable &Vd, SExpr *D) // rewrite constructor 413 typename C::CType compare(const Variable* E, C& Cmp) const { 664 Function(Variable *Vd, SExpr *Bd) 666 Vd->setKind(Variable::VK_Fun); 669 Function(const Function &F, Variable *Vd, SExpr *Bd) // rewrite constructor 671 Vd->setKind(Variable::VK_Fun); 676 Variable *variableDecl() { return VarDecl; } 677 const Variable *variableDecl() const { return VarDecl; } 687 Variable *Nvd = Vs.enterScope(*VarDecl, E0); 706 Variable *VarDecl; 715 SFunction(Variable *Vd, SExpr *B) 718 Vd->setKind(Variable::VK_SFun); 722 SFunction(const SFunction &F, Variable *Vd, SExpr *B) // rewrite constructor 725 Vd->setKind(Variable::VK_SFun); 731 Variable *variableDecl() { return VarDecl; } 732 const Variable *variableDecl() const { return VarDecl; } 742 Variable *Nvd = Vs.enterScope(*VarDecl, nullptr); 758 Variable *VarDecl; 1857 Let(Variable *Vd, SExpr *Bd) : SExpr(COP_Let), VarDecl(Vd), Body(Bd) { 1858 Vd->setKind(Variable::VK_Let); 1861 Let(const Let &L, Variable *Vd, SExpr *Bd) : SExpr(L), VarDecl(Vd), Body(Bd) { 1862 Vd->setKind(Variable::VK_Let); 1867 Variable *variableDecl() { return VarDecl; } 1868 const Variable *variableDecl() const { return VarDecl; } 1878 Variable *Nvd = Vs.enterScope(*VarDecl, E0); 1897 Variable *VarDecl;tools/clang/include/clang/Analysis/Analyses/ThreadSafetyTraverse.h
200 R_SExpr reduceFunction(Function &Orig, Variable *Nvd, R_SExpr E0) { 204 R_SExpr reduceSFunction(SFunction &Orig, Variable *Nvd, R_SExpr E0) { 279 R_SExpr reduceLet(Let &Orig, Variable *Nvd, R_SExpr B) { 283 Variable *enterScope(Variable &Orig, R_SExpr E0) { return &Orig; } 283 Variable *enterScope(Variable &Orig, R_SExpr E0) { return &Orig; } 284 void exitScope(const Variable &Orig) {} 290 Variable *reduceVariableRef(Variable *Ovd) { return Ovd; } 290 Variable *reduceVariableRef(Variable *Ovd) { return Ovd; } 348 void enterScope(const Variable *V1, const Variable *V2) {} 348 void enterScope(const Variable *V1, const Variable *V2) {} 351 bool compareVariableRefs(const Variable *V1, const Variable *V2) { 351 bool compareVariableRefs(const Variable *V1, const Variable *V2) { 386 void enterScope(const Variable* V1, const Variable* V2) {} 386 void enterScope(const Variable* V1, const Variable* V2) {} 389 bool compareVariableRefs(const Variable* V1, const Variable* V2) { 389 bool compareVariableRefs(const Variable* V1, const Variable* V2) { 629 void printVariable(const Variable *V, StreamType &SS, bool IsVarDecl=false) { 630 if (CStyle && V->kind() == Variable::VK_SFun) 709 if (const auto *V = dyn_cast<Variable>(SAP->sfun())) { 709 if (const auto *V = dyn_cast<Variable>(SAP->sfun())) { 710 if (!SAP->isDelegation() && V->kind() == Variable::VK_SFun) { 826 const auto *V = cast<Variable>(E); 826 const auto *V = cast<Variable>(E);tools/clang/lib/Analysis/ThreadSafetyCommon.cpp
312 if (const auto *V = dyn_cast<til::Variable>(E)) 312 if (const auto *V = dyn_cast<til::Variable>(E)) 641 E = new (Arena) til::Variable(E, VD); 662 if (auto *V = dyn_cast<til::Variable>(E)) { 662 if (auto *V = dyn_cast<til::Variable>(E)) {tools/clang/lib/Analysis/ThreadSafetyTIL.cpp
84 if (const auto *V = dyn_cast<Variable>(E)) { 84 if (const auto *V = dyn_cast<Variable>(E)) { 85 if (V->kind() == Variable::VK_Let) { 106 if (auto *V = dyn_cast<Variable>(E)) { 106 if (auto *V = dyn_cast<Variable>(E)) { 107 if (V->kind() != Variable::VK_Let)