/freebsd-13-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | SymExpr.h | 1 //===- SymExpr.h - Management of Symbolic Values ----------------*- C++ -*-===// 9 // This file defines SymExpr and SymbolData. 29 class SymExpr : public llvm::FoldingSetNode { class in namespace:clang::ento 43 SymExpr(Kind k) : K(k) {} function in class:clang::ento::SymExpr 54 virtual ~SymExpr() = default; 71 SmallVector<const SymExpr *, 5> itr; 77 symbol_iterator(const SymExpr *SE); 80 const SymExpr *operator*(); 105 const clang::ento::SymExpr *SE) { 110 using SymbolRef = const SymExpr *; [all...] |
H A D | SymbolManager.h | 23 #include "clang/StaticAnalyzer/Core/PathSensitive/SymExpr.h" 68 static bool classof(const SymExpr *SE) { 120 static bool classof(const SymExpr *SE) { 159 static bool classof(const SymExpr *SE) { 192 static bool classof(const SymExpr *SE) { 248 static bool classof(const SymExpr *SE) { 254 class SymbolCast : public SymExpr { 255 const SymExpr *Operand; 264 SymbolCast(const SymExpr *In, QualType From, QualType To) 265 : SymExpr(SymbolCastKin [all...] |
H A D | SValBuilder.h | 28 #include "clang/StaticAnalyzer/Core/PathSensitive/SymExpr.h" 93 bool haveSameType(const SymExpr *Sym1, const SymExpr *Sym2) { 322 NonLoc makeNonLoc(const SymExpr *lhs, BinaryOperator::Opcode op, 326 const SymExpr *lhs, QualType type); 328 NonLoc makeNonLoc(const SymExpr *lhs, BinaryOperator::Opcode op, 329 const SymExpr *rhs, QualType type); 332 NonLoc makeNonLoc(const SymExpr *operand, QualType fromTy, QualType toTy);
|
H A D | SVals.h | 20 #include "clang/StaticAnalyzer/Core/PathSensitive/SymExpr.h" 187 const SymExpr *getAsSymbolicExpression() const; 189 const SymExpr *getAsSymExpr() const; 199 SymExpr::symbol_iterator symbol_begin() const { 200 const SymExpr *SE = getAsSymbol(/*IncludeBaseRegions=*/true); 204 return SymExpr::symbol_iterator(); 207 SymExpr::symbol_iterator symbol_end() const { 208 return SymExpr::symbol_end(); 358 return (const SymExpr *) Data;
|
H A D | SValVisitor.h | 73 /// SymExprVisitor - this class implements a simple visitor for SymExpr 85 case SymExpr::Id ## Kind: DISPATCH(Id); 88 llvm_unreachable("Unknown SymExpr kind!"); 135 /// SVal, SymExpr and MemRegion subclasses.
|
H A D | SMTConstraintManager.h | 254 const SymExpr *Sym = SymVal->getSymbol();
|
H A D | ProgramState.h | 879 bool scan(const SymExpr *sym);
|
/freebsd-13-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
H A D | SymbolManager.cpp | 23 #include "clang/StaticAnalyzer/Core/PathSensitive/SymExpr.h" 35 void SymExpr::anchor() {} 37 LLVM_DUMP_METHOD void SymExpr::dump() const { dumpToStream(llvm::errs()); } 39 void BinarySymExpr::dumpToStreamImpl(raw_ostream &OS, const SymExpr *Sym) { 97 bool SymExpr::symbol_iterator::operator==(const symbol_iterator &X) const { 101 bool SymExpr::symbol_iterator::operator!=(const symbol_iterator &X) const { 105 SymExpr::symbol_iterator::symbol_iterator(const SymExpr *SE) { 109 SymExpr::symbol_iterator &SymExpr [all...] |
H A D | SValBuilder.cpp | 33 #include "clang/StaticAnalyzer/Core/PathSensitive/SymExpr.h" 67 NonLoc SValBuilder::makeNonLoc(const SymExpr *lhs, BinaryOperator::Opcode op, 78 BinaryOperator::Opcode op, const SymExpr *rhs, 85 NonLoc SValBuilder::makeNonLoc(const SymExpr *lhs, BinaryOperator::Opcode op, 86 const SymExpr *rhs, QualType type) { 92 NonLoc SValBuilder::makeNonLoc(const SymExpr *operand, 380 const SymExpr *symLHS = LHS.getAsSymExpr(); 381 const SymExpr *symRHS = RHS.getAsSymExpr(); 495 const SymExpr *se = val.getAsSymbolicExpression();
|
H A D | SVals.cpp | 24 #include "clang/StaticAnalyzer/Core/PathSensitive/SymExpr.h" 137 const SymExpr *SVal::getAsSymbolicExpression() const { 144 const SymExpr* SVal::getAsSymExpr() const { 145 const SymExpr* Sym = getAsSymbol();
|
H A D | ProgramState.cpp | 556 bool ScanReachableSymbols::scan(const SymExpr *sym) { 557 for (SymExpr::symbol_iterator SI = sym->symbol_begin(), 585 if (const SymExpr *Sym = val.getAsSymbolicExpression())
|
H A D | DynamicType.cpp | 20 #include "clang/StaticAnalyzer/Core/PathSensitive/SymExpr.h" 197 static raw_ostream &printJson(const SymExpr *Symbol, raw_ostream &Out,
|
H A D | RangeConstraintManager.cpp | 677 const SymExpr *LHS = SSE->getLHS(); 678 const SymExpr *RHS = SSE->getRHS(); 1003 const SymExpr *SE = SymVal->getSymbol();
|
H A D | SimpleSValBuilder.cpp | 53 SVal MakeSymIntVal(const SymExpr *LHS, BinaryOperator::Opcode op, 89 if (const SymExpr *se = val.getAsSymbolicExpression()) { 217 SVal SimpleSValBuilder::MakeSymIntVal(const SymExpr *LHS,
|
/freebsd-13-stable/contrib/llvm-project/llvm/lib/Target/NVPTX/ |
H A D | NVPTXMCExpr.h | 91 const MCSymbolRefExpr *SymExpr; member in class:llvm::NVPTXGenericMCSymbolRefExpr 94 : SymExpr(_SymExpr) {} 101 *create(const MCSymbolRefExpr *SymExpr, MCContext &Ctx); 108 const MCSymbolRefExpr *getSymbolExpr() const { return SymExpr; }
|
H A D | NVPTXMCExpr.cpp | 54 NVPTXGenericMCSymbolRefExpr::create(const MCSymbolRefExpr *SymExpr, argument 56 return new (Ctx) NVPTXGenericMCSymbolRefExpr(SymExpr); 62 SymExpr->print(OS, MAI);
|
/freebsd-13-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
H A D | Taint.cpp | 151 if (const SymExpr *Sym = V.getAsSymExpr()) 183 for (SymExpr::symbol_iterator SI = Sym->symbol_begin(),
|
H A D | ExprInspectionChecker.cpp | 368 Optional<std::string> lookup(const SymExpr *S) { 376 Optional<std::string> VisitSymExpr(const SymExpr *S) {
|
H A D | CStringChecker.cpp | 2415 for (SymExpr::symbol_iterator si = Len.symbol_begin(),
|
/freebsd-13-stable/contrib/llvm-project/llvm/lib/Target/Sparc/MCTargetDesc/ |
H A D | SparcMCCodeEmitter.cpp | 165 const MCSymbolRefExpr *SymExpr = cast<MCSymbolRefExpr>(SExpr->getSubExpr()); local 166 assert(SymExpr->getSymbol().getName() == "__tls_get_addr" &&
|
/freebsd-13-stable/contrib/llvm-project/llvm/lib/Target/Mips/AsmParser/ |
H A D | MipsAsmParser.cpp | 233 bool loadAndAddSymbolAddress(const MCExpr *SymExpr, unsigned DstReg, 2907 bool MipsAsmParser::loadAndAddSymbolAddress(const MCExpr *SymExpr, argument 2919 if (!SymExpr->evaluateAsRelocatable(Res, nullptr, nullptr)) { 2945 SymExpr, getContext()); 2947 SymExpr, getContext()); 2956 MipsMCExpr::create(MipsMCExpr::MEK_GOT_CALL, SymExpr, getContext()); 2989 MipsMCExpr::create(MipsMCExpr::MEK_GOT_HI16, SymExpr, getContext()); 3051 MipsMCExpr::create(MipsMCExpr::MEK_GOT, SymExpr, getContext()); 3052 LoExpr = MipsMCExpr::create(MipsMCExpr::MEK_LO, SymExpr, getContext()); 3079 MipsMCExpr::create(MipsMCExpr::MEK_HI, SymExpr, getContex [all...] |