Searched refs:SymbolDerived (Results 1 - 6 of 6) sorted by relevance

/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DSymbolManager.cpp94 void SymbolDerived::dumpToStream(raw_ostream &os) const {
202 const SymbolDerived*
206 SymbolDerived::Profile(profile, parentSymbol, R);
210 SD = (SymExpr*) BPAlloc.Allocate<SymbolDerived>();
211 new (SD) SymbolDerived(SymbolCounter, parentSymbol, R);
216 return cast<SymbolDerived>(SD);
327 QualType SymbolDerived::getType() const {
478 KnownLive = isLive(cast<SymbolDerived>(sym)->getParentSymbol());
/freebsd-11-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSymbolManager.h127 class SymbolDerived : public SymbolData { class in namespace:clang::ento
132 SymbolDerived(SymbolID sym, SymbolRef parent, const TypedValueRegion *r) function in class:clang::ento::SymbolDerived
499 const SymbolDerived *getDerivedSymbol(SymbolRef parentSymbol,
/freebsd-11-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Checkers/
H A DSValExplainer.h105 std::string VisitSymbolDerived(const SymbolDerived *S) {
/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DTaint.cpp194 if (const auto *SD = dyn_cast<SymbolDerived>(*SI)) {
195 // If this is a SymbolDerived with a tainted parent, it's also tainted.
199 // If this is a SymbolDerived with the same parent symbol as another
200 // tainted SymbolDerived and a region that's a sub-region of that tainted
H A DMacOSKeychainAPIChecker.cpp602 // would be SymbolDerived based on that SymbolConjured. However, such
603 // SymbolDerived will never be listed in the Escaped set when the base
611 if (const auto *SD = dyn_cast<SymbolDerived>(Sym)) {
H A DFuchsiaHandleChecker.cpp468 if (const auto *SD = dyn_cast<SymbolDerived>(I.first)) {

Completed in 135 milliseconds