Home
last modified time | relevance | path

Searched refs:SymExpr (Results 1 – 23 of 23) sorted by relevance

/freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/
H A DSymbolManager.cpp36 void SymExpr::anchor() {} in anchor()
124 SymExpr::symbol_iterator::symbol_iterator(const SymExpr *SE) { in symbol_iterator()
128 SymExpr::symbol_iterator &SymExpr::symbol_iterator::operator++() { in operator ++()
146 case SymExpr::SymbolExtentKind: in expand()
149 case SymExpr::SymbolCastKind: in expand()
152 case SymExpr::SymIntExprKind: in expand()
155 case SymExpr::IntSymExprKind: in expand()
486 case SymExpr::SymIntExprKind: in isLive()
489 case SymExpr::IntSymExprKind: in isLive()
492 case SymExpr::SymSymExprKind: in isLive()
[all …]
H A DSValBuilder.cpp68 NonLoc SValBuilder::makeNonLoc(const SymExpr *lhs, BinaryOperator::Opcode op, in makeNonLoc()
79 BinaryOperator::Opcode op, const SymExpr *rhs, in makeNonLoc()
86 NonLoc SValBuilder::makeNonLoc(const SymExpr *lhs, BinaryOperator::Opcode op, in makeNonLoc()
87 const SymExpr *rhs, QualType type) { in makeNonLoc()
93 NonLoc SValBuilder::makeNonLoc(const SymExpr *operand, in makeNonLoc()
381 const SymExpr *symLHS = LHS.getAsSymExpr(); in makeSymExprValNN()
382 const SymExpr *symRHS = RHS.getAsSymExpr(); in makeSymExprValNN()
496 const SymExpr *se = val.getAsSymbolicExpression(); in evalIntegralCast()
H A DSVals.cpp137 const SymExpr *SVal::getAsSymbolicExpression() const { in getAsSymbolicExpression()
144 const SymExpr* SVal::getAsSymExpr() const { in getAsSymExpr()
145 const SymExpr* Sym = getAsSymbol(); in getAsSymExpr()
H A DProgramState.cpp565 bool ScanReachableSymbols::scan(const SymExpr *sym) { in scan()
566 for (SymExpr::symbol_iterator SI = sym->symbol_begin(), in scan()
594 if (const SymExpr *Sym = val.getAsSymbolicExpression()) in scan()
747 if (const SymExpr *Sym = V.getAsSymExpr()) in isTainted()
777 for (SymExpr::symbol_iterator SI = Sym->symbol_begin(), SE =Sym->symbol_end(); in isTainted()
H A DSimpleSValBuilder.cpp54 SVal MakeSymIntVal(const SymExpr *LHS, BinaryOperator::Opcode op,
90 if (const SymExpr *se = val.getAsSymbolicExpression()) { in evalCastFromNonLoc()
218 SVal SimpleSValBuilder::MakeSymIntVal(const SymExpr *LHS, in MakeSymIntVal()
H A DRangeConstraintManager.cpp318 const SymExpr *SE = SymVal->getSymbol(); in canReasonAbout()
/freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSymbolManager.h69 static bool classof(const SymExpr *SE) { in classof()
121 static bool classof(const SymExpr *SE) { in classof()
255 class SymbolCast : public SymExpr {
256 const SymExpr *Operand;
304 class BinarySymExpr : public SymExpr {
310 : SymExpr(k), Op(op), T(t) { in BinarySymExpr()
334 const SymExpr *LHS;
378 const SymExpr *RHS;
420 const SymExpr *LHS;
421 const SymExpr *RHS;
[all …]
H A DSymExpr.h30 class SymExpr : public llvm::FoldingSetNode {
44 SymExpr(Kind k) : K(k) {} in SymExpr() function
55 virtual ~SymExpr() = default;
72 SmallVector<const SymExpr *, 5> itr;
78 symbol_iterator(const SymExpr *SE);
81 const SymExpr *operator*();
106 const clang::ento::SymExpr *SE) {
111 using SymbolRef = const SymExpr *;
117 class SymbolData : public SymExpr {
123 SymbolData(Kind k, SymbolID sym) : SymExpr(k), Sym(sym) { in SymbolData()
[all …]
H A DSymbols.def1 //===-- Symbols.def - Metadata about SymExpr kinds --------------*- C++ -*-===//
10 // The list of symbols (SymExpr sub-classes) used in the Static Analyzer.
14 // SYMBOL(Id, Parent) - for specific SymExpr sub-classes, reserving the
37 ABSTRACT_SYMBOL(BinarySymExpr, SymExpr)
43 SYMBOL(SymbolCast, SymExpr)
45 ABSTRACT_SYMBOL(SymbolData, SymExpr)
H A DSValBuilder.h94 bool haveSameType(const SymExpr *Sym1, const SymExpr *Sym2) { in haveSameType()
323 NonLoc makeNonLoc(const SymExpr *lhs, BinaryOperator::Opcode op,
327 const SymExpr *lhs, QualType type);
329 NonLoc makeNonLoc(const SymExpr *lhs, BinaryOperator::Opcode op,
330 const SymExpr *rhs, QualType type);
333 NonLoc makeNonLoc(const SymExpr *operand, QualType fromTy, QualType toTy);
H A DSVals.h188 const SymExpr *getAsSymbolicExpression() const;
190 const SymExpr *getAsSymExpr() const;
197 SymExpr::symbol_iterator symbol_begin() const { in symbol_begin()
198 const SymExpr *SE = getAsSymbol(/*IncludeBaseRegions=*/true); in symbol_begin()
202 return SymExpr::symbol_iterator(); in symbol_begin()
205 SymExpr::symbol_iterator symbol_end() const { in symbol_end()
206 return SymExpr::symbol_end(); in symbol_end()
356 return (const SymExpr *) Data; in getSymbol()
H A DSValVisitor.h86 case SymExpr::Id ## Kind: DISPATCH(Id); in Visit()
H A DSMTConstraintManager.h228 const SymExpr *Sym = SymVal->getSymbol(); in canReasonAbout()
H A DProgramState.h903 bool scan(const SymExpr *sym);
/freebsd-12.1/contrib/llvm/lib/Target/NVPTX/
H A DNVPTXMCExpr.h92 const MCSymbolRefExpr *SymExpr;
95 : SymExpr(_SymExpr) {} in NVPTXGenericMCSymbolRefExpr()
102 *create(const MCSymbolRefExpr *SymExpr, MCContext &Ctx);
109 const MCSymbolRefExpr *getSymbolExpr() const { return SymExpr; } in getSymbolExpr()
H A DNVPTXMCExpr.cpp55 NVPTXGenericMCSymbolRefExpr::create(const MCSymbolRefExpr *SymExpr, in create() argument
57 return new (Ctx) NVPTXGenericMCSymbolRefExpr(SymExpr); in create()
63 SymExpr->print(OS, MAI); in printImpl()
/freebsd-12.1/contrib/llvm/lib/Target/Sparc/MCTargetDesc/
H A DSparcMCCodeEmitter.cpp165 const MCSymbolRefExpr *SymExpr = cast<MCSymbolRefExpr>(SExpr->getSubExpr()); in getCallTargetOpValue() local
166 assert(SymExpr->getSymbol().getName() == "__tls_get_addr" && in getCallTargetOpValue()
/freebsd-12.1/contrib/llvm/lib/Target/AMDGPU/
H A DAMDGPUMCInstLower.cpp145 const MCExpr *SymExpr = in lowerOperand() local
147 const MCExpr *Expr = MCBinaryExpr::createAdd(SymExpr, in lowerOperand()
/freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/
H A DExprInspectionChecker.cpp343 Optional<std::string> lookup(const SymExpr *S) { in lookup()
351 Optional<std::string> VisitSymExpr(const SymExpr *S) { in VisitSymExpr()
H A DIteratorChecker.cpp296 REGISTER_MAP_WITH_PROGRAMSTATE(IteratorComparisonMap, const SymExpr *,
328 BinaryOperator::Opcode getOpcode(const SymExpr *SE);
334 const SymExpr *Condition, const SVal &LVal,
337 const SymExpr *Condition);
1856 BinaryOperator::Opcode getOpcode(const SymExpr *SE) { in getOpcode()
1960 const SymExpr *Condition, const SVal &LVal, in saveComparison()
1971 const SymExpr *Condition) { in loadComparison()
H A DCStringChecker.cpp2452 for (SymExpr::symbol_iterator si = Len.symbol_begin(), in checkLiveSymbols()
/freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/BugReporter/
H A DPathDiagnostic.h57 class SymExpr; variable
59 using SymbolRef = const SymExpr *;
/freebsd-12.1/contrib/llvm/lib/Target/Mips/AsmParser/
H A DMipsAsmParser.cpp225 bool loadAndAddSymbolAddress(const MCExpr *SymExpr, unsigned DstReg,
2846 bool MipsAsmParser::loadAndAddSymbolAddress(const MCExpr *SymExpr, in loadAndAddSymbolAddress() argument
2858 if (!SymExpr->evaluateAsRelocatable(Res, nullptr, nullptr)) { in loadAndAddSymbolAddress()
2878 MipsMCExpr::create(MipsMCExpr::MEK_GOT_CALL, SymExpr, getContext()); in loadAndAddSymbolAddress()
2895 MipsMCExpr::create(MipsMCExpr::MEK_GOT, SymExpr, getContext()); in loadAndAddSymbolAddress()
2899 LoExpr = MipsMCExpr::create(MipsMCExpr::MEK_LO, SymExpr, getContext()); in loadAndAddSymbolAddress()
2934 if (!SymExpr->evaluateAsRelocatable(Res, nullptr, nullptr)) { in loadAndAddSymbolAddress()
3012 MipsMCExpr::create(MipsMCExpr::MEK_HI, SymExpr, getContext()); in loadAndAddSymbolAddress()
3014 MipsMCExpr::create(MipsMCExpr::MEK_LO, SymExpr, getContext()); in loadAndAddSymbolAddress()
3026 MipsMCExpr::create(MipsMCExpr::MEK_HIGHEST, SymExpr, getContext()); in loadAndAddSymbolAddress()
[all …]