Home
last modified time | relevance | path

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

/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DSymbolManager.cpp32 void SymExpr::anchor() {} in anchor()
40 LLVM_DUMP_METHOD void SymExpr::dump() const { dumpToStream(llvm::errs()); } in dump()
42 void BinarySymExpr::dumpToStreamImpl(raw_ostream &OS, const SymExpr *Sym) { in dumpToStreamImpl()
150 bool SymExpr::symbol_iterator::operator==(const symbol_iterator &X) const { in operator ==()
154 bool SymExpr::symbol_iterator::operator!=(const symbol_iterator &X) const { in operator !=()
158 SymExpr::symbol_iterator::symbol_iterator(const SymExpr *SE) { in symbol_iterator()
162 SymExpr::symbol_iterator &SymExpr::symbol_iterator::operator++() { in operator ++()
168 SymbolRef SymExpr::symbol_iterator::operator*() { in operator *()
173 void SymExpr::symbol_iterator::expand() { in expand()
174 const SymExpr *SE = itr.pop_back_val(); in expand()
[all …]
H A DSValBuilder.cpp77 nonloc::SymbolVal SValBuilder::makeNonLoc(const SymExpr *lhs, in makeNonLoc()
87 const SymExpr *rhs, QualType type) { in makeNonLoc()
93 nonloc::SymbolVal SValBuilder::makeNonLoc(const SymExpr *lhs, in makeNonLoc()
95 const SymExpr *rhs, QualType type) { in makeNonLoc()
101 NonLoc SValBuilder::makeNonLoc(const SymExpr *operand, UnaryOperator::Opcode op, in makeNonLoc()
108 nonloc::SymbolVal SValBuilder::makeNonLoc(const SymExpr *operand, in makeNonLoc()
H A DRangeConstraintManager.cpp1524 const SymExpr *LHS = SSE->getLHS(); in getRangeForComparisonSymbol()
1525 const SymExpr *RHS = SSE->getRHS(); in getRangeForComparisonSymbol()
2015 case SymExpr::Id##Kind: \ in assignImpl()
2055 bool assignSymExprImpl(const SymExpr *Sym, RangeSet Constraint) { in assignSymExprImpl()
2056 CONSTRAINT_DISPATCH(SymExpr); in assignSymExprImpl()
2059 DEFAULT_ASSIGN(SymExpr);
2108 inline bool assignSymExprToConst(const SymExpr *Sym, Const Constraint);
2201 bool ConstraintAssignor::assignSymExprToConst(const SymExpr *Sym, in assignSymExprToConst()
2815 const SymExpr *SE = SymVal->getSymbol(); in canReasonAbout()
H A DDynamicType.cpp196 static raw_ostream &printJson(const SymExpr *Symbol, raw_ostream &Out, in printJson()
H A DSVals.cpp176 QualType VisitSymExpr(const SymExpr *SE) { return SE->getType(); } in VisitSymExpr()
H A DSimpleSValBuilder.cpp96 SVal MakeSymIntVal(const SymExpr *LHS, BinaryOperator::Opcode op,
128 SVal SimpleSValBuilder::MakeSymIntVal(const SymExpr *LHS, in MakeSymIntVal()
1397 const SymExpr *OpSym = S->getOperand(); in simplifySValOnce()
H A DProgramState.cpp597 bool ScanReachableSymbols::scan(const SymExpr *sym) { in scan()
/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSymExpr.h32 class SymExpr : public llvm::FoldingSetNode {
56 SymExpr(Kind k, SymbolID Sym) : K(k), Sym(Sym) {} in SymExpr() function
67 virtual ~SymExpr() = default;
92 SmallVector<const SymExpr *, 5> itr;
98 symbol_iterator(const SymExpr *SE);
101 const SymExpr *operator*();
128 const clang::ento::SymExpr *SE) {
133 using SymbolRef = const SymExpr *;
138 class SymbolData : public SymExpr {
142 SymbolData(Kind k, SymbolID sym) : SymExpr(k, sym) { assert(classof(this)); } in SymbolData()
[all …]
H A DSymbolManager.h76 static bool classof(const SymExpr *SE) { return classof(SE->getKind()); } in classof()
132 static bool classof(const SymExpr *SE) { return classof(SE->getKind()); } in classof()
176 static bool classof(const SymExpr *SE) { return classof(SE->getKind()); } in classof()
213 static bool classof(const SymExpr *SE) { return classof(SE->getKind()); } in classof()
282 static bool classof(const SymExpr *SE) { return classof(SE->getKind()); } in classof()
287 class SymbolCast : public SymExpr {
288 const SymExpr *Operand;
297 SymbolCast(SymbolID Sym, const SymExpr *In, QualType From, QualType To) in SymbolCast()
298 : SymExpr(ClassKind, Sym), Operand(In), FromTy(From), ToTy(To) { in SymbolCast()
315 const SymExpr *getOperand() const { return Operand; } in getOperand()
[all …]
H A DSymbols.def1 //===-- Symbols.def - Metadata about SymExpr kinds --------------*- C++ -*-===//
9 // The list of symbols (SymExpr sub-classes) used in the Static Analyzer.
13 // SYMBOL(Id, Parent) - for specific SymExpr sub-classes, reserving the
36 SYMBOL(UnarySymExpr, SymExpr)
38 ABSTRACT_SYMBOL(BinarySymExpr, SymExpr)
44 SYMBOL(SymbolCast, SymExpr)
46 ABSTRACT_SYMBOL(SymbolData, SymExpr)
H A DSValBuilder.h320 nonloc::SymbolVal makeNonLoc(const SymExpr *lhs, BinaryOperator::Opcode op,
324 const SymExpr *lhs, QualType type);
326 nonloc::SymbolVal makeNonLoc(const SymExpr *lhs, BinaryOperator::Opcode op,
327 const SymExpr *rhs, QualType type);
329 NonLoc makeNonLoc(const SymExpr *operand, UnaryOperator::Opcode op,
333 nonloc::SymbolVal makeNonLoc(const SymExpr *operand, QualType fromTy,
H A DSVals.h156 llvm::iterator_range<SymExpr::symbol_iterator> symbols() const { in symbols()
157 if (const SymExpr *SE = getAsSymbol(/*IncludeBaseRegions=*/true)) in symbols()
159 SymExpr::symbol_iterator end{}; in symbols()
289 return (const SymExpr *) Data; in getSymbol()
H A DSMTConstraintManager.h260 const SymExpr *Sym = SymVal->getSymbol(); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
H A DProgramState.h900 bool scan(const SymExpr *sym);
/freebsd/contrib/llvm-project/llvm/lib/Target/PowerPC/MCTargetDesc/
H A DPPCELFStreamer.cpp141 const MCSymbolRefExpr *SymExpr = static_cast<const MCSymbolRefExpr *>(Expr); in emitGOTToPCRelReloc() local
142 assert(getSpecifier(SymExpr) == PPC::S_PCREL_OPT && in emitGOTToPCRelReloc()
145 getContext().getOrCreateSymbol(SymExpr->getSymbol().getName()); in emitGOTToPCRelReloc()
174 const MCSymbolRefExpr *SymExpr = static_cast<const MCSymbolRefExpr *>(Expr); in emitGOTToPCRelLabel() local
175 assert(getSpecifier(SymExpr) == PPC::S_PCREL_OPT && in emitGOTToPCRelLabel()
178 getContext().getOrCreateSymbol(SymExpr->getSymbol().getName()); in emitGOTToPCRelLabel()
212 const MCSymbolRefExpr *SymExpr = static_cast<const MCSymbolRefExpr *>(Expr); in isPartOfGOTToPCRelPair() local
213 if (!SymExpr || getSpecifier(SymExpr) != PPC::S_PCREL_OPT) in isPartOfGOTToPCRelPair()
H A DPPCInstPrinter.cpp92 const MCSymbolRefExpr *SymExpr = in printInst() local
95 if (SymExpr && getSpecifier(SymExpr) == PPC::S_PCREL_OPT) { in printInst()
96 const MCSymbol &Symbol = SymExpr->getSymbol(); in printInst()
/freebsd/contrib/llvm-project/llvm/lib/Target/NVPTX/
H A DNVPTXMCExpr.h93 const MCSymbolRefExpr *SymExpr;
96 : SymExpr(_SymExpr) {} in NVPTXGenericMCSymbolRefExpr()
103 *create(const MCSymbolRefExpr *SymExpr, MCContext &Ctx);
110 const MCSymbolRefExpr *getSymbolExpr() const { return SymExpr; } in getSymbolExpr()
H A DNVPTXMCExpr.cpp60 NVPTXGenericMCSymbolRefExpr::create(const MCSymbolRefExpr *SymExpr, in create() argument
62 return new (Ctx) NVPTXGenericMCSymbolRefExpr(SymExpr); in create()
68 MAI->printExpr(OS, *SymExpr); in printImpl()
/freebsd/contrib/llvm-project/llvm/lib/Target/CSKY/MCTargetDesc/
H A DCSKYTargetStreamer.cpp98 if (const MCSymbolRefExpr *SymExpr = dyn_cast<MCSymbolRefExpr>(Expr)) { in addConstantPoolEntry() local
99 const MCSymbol *Sym = &SymExpr->getSymbol(); in addConstantPoolEntry()
/freebsd/contrib/llvm-project/llvm/lib/Target/AMDGPU/
H A DAMDGPUMCResourceInfo.cpp154 const MCSymbolRefExpr *SymExpr = cast<MCSymbolRefExpr>(CurExpr); in flattenedCycleMax() local
155 const MCSymbol &SymRef = SymExpr->getSymbol(); in flattenedCycleMax()
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DExprInspectionChecker.cpp472 std::optional<std::string> lookup(const SymExpr *S) { in lookup()
480 std::optional<std::string> VisitSymExpr(const SymExpr *S) { in VisitSymExpr()
/freebsd/contrib/llvm-project/llvm/lib/Target/Mips/AsmParser/
H A DMipsAsmParser.cpp232 bool loadAndAddSymbolAddress(const MCExpr *SymExpr, MCRegister DstReg,
2927 bool MipsAsmParser::loadAndAddSymbolAddress(const MCExpr *SymExpr, in loadAndAddSymbolAddress() argument
2939 if (!SymExpr->evaluateAsRelocatable(Res, nullptr)) { in loadAndAddSymbolAddress()
2968 MCSpecifierExpr::create(SymExpr, Mips::S_CALL_HI16, getContext()); in loadAndAddSymbolAddress()
2970 MCSpecifierExpr::create(SymExpr, Mips::S_CALL_LO16, getContext()); in loadAndAddSymbolAddress()
2979 MCSpecifierExpr::create(SymExpr, Mips::S_GOT_CALL, getContext()); in loadAndAddSymbolAddress()
3012 MCSpecifierExpr::create(SymExpr, Mips::S_GOT_HI16, getContext()); in loadAndAddSymbolAddress()
3073 GotExpr = MCSpecifierExpr::create(SymExpr, Mips::S_GOT, getContext()); in loadAndAddSymbolAddress()
3074 LoExpr = MCSpecifierExpr::create(SymExpr, Mips::S_LO, getContext()); in loadAndAddSymbolAddress()
3101 MCSpecifierExpr::create(SymExpr, Mips::S_HI, getContext()); in loadAndAddSymbolAddress()
[all …]
/freebsd/contrib/llvm-project/llvm/include/llvm/Testing/Demangle/
H A DDemangleTestCases.inc8109 …PSIntENS_8QualTypeE", "clang::ento::SValBuilder::makeNonLoc(clang::ento::SymExpr const*, clang::Bi…
8110 …::ento::SValBuilder::makeNonLoc(clang::ento::SymExpr const*, clang::BinaryOperatorKind, clang::ent…
8132 …S0_7SymExprE", "clang::ento::SVal::symbol_iterator::symbol_iterator(clang::ento::SymExpr const*)"},
8133 …S0_7SymExprE", "clang::ento::SVal::symbol_iterator::symbol_iterator(clang::ento::SymExpr const*)"},
8161 …onstraintManager::assumeSymRel(clang::ento::GRState const*, clang::ento::SymExpr const*, clang::Bi…
8173 …", "(anonymous namespace)::SimpleSValBuilder::MakeSymIntVal(clang::ento::SymExpr const*, clang::Bi…
8187 {"_ZNK5clang4ento7SymExpr4dumpEv", "clang::ento::SymExpr::dump() const"},
8200 …ENS_8QualTypeE", "clang::ento::SymbolManager::getSymIntExpr(clang::ento::SymExpr const*, clang::Bi…
8201 …o::SymbolManager::getSymSymExpr(clang::ento::SymExpr const*, clang::BinaryOperatorKind, clang::ent…
8220 {"_ZN4llvm10FoldingSetIN5clang4ento7SymExprEED1Ev", "llvm::FoldingSet<clang::ento::SymExpr>::~Foldi…
[all …]