Home
last modified time | relevance | path

Searched refs:SymbolCast (Results 1 – 9 of 9) sorted by relevance

/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DTaint.cpp91 while (const SymbolCast *SC = dyn_cast<SymbolCast>(Sym)) in addTaint()
117 while (const SymbolCast *SC = dyn_cast<SymbolCast>(Sym)) in removeTaint()
325 if (const auto *SC = dyn_cast<SymbolCast>(SubSym)) { in getTaintedSymbolsImpl()
H A DExprInspectionChecker.cpp514 std::optional<std::string> VisitSymbolCast(const SymbolCast *S) { in VisitSymbolCast()
/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSMTConstraintManager.h161 if (const SymbolCast *SC = dyn_cast<SymbolCast>(Sym)) { in REGISTER_TRAIT_WITH_PROGRAMSTATE()
281 if (const SymbolCast *SC = dyn_cast<SymbolCast>(Sym)) in REGISTER_TRAIT_WITH_PROGRAMSTATE()
H A DSymbols.def44 SYMBOL(SymbolCast, SymExpr)
H A DSymbolManager.h287 class SymbolCast : public SymExpr {
297 SymbolCast(SymbolID Sym, const SymExpr *In, QualType From, QualType To) in SymbolCast() function
H A DSMTConv.h435 if (const SymbolCast *SC = dyn_cast<SymbolCast>(Sym)) { in getSymExpr()
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DSymbolManager.cpp63 void SymbolCast::dumpToStream(raw_ostream &os) const { in dumpToStream()
184 itr.push_back(cast<SymbolCast>(SE)->getOperand()); in expand()
374 KnownLive = isLive(cast<SymbolCast>(sym)->getOperand()); in isLive()
H A DSValBuilder.cpp114 return nonloc::SymbolVal(SymMgr.acquire<SymbolCast>(operand, fromTy, toTy)); in makeNonLoc()
1057 if (!isa<SymbolCast>(SE)) in simplifySymbolCast()
1060 SymbolRef RootSym = cast<SymbolCast>(SE)->getOperand(); in simplifySymbolCast()
H A DSimpleSValBuilder.cpp1393 SVal VisitSymbolCast(const SymbolCast *S) { in simplifySValOnce()