Searched refs:SymExpr (Results 1 - 21 of 21) sorted by relevance

/freebsd-13-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSymExpr.h1 //===- 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 DSymbolManager.h23 #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 DSValBuilder.h28 #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 DSVals.h20 #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 DSValVisitor.h73 /// 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 DSMTConstraintManager.h254 const SymExpr *Sym = SymVal->getSymbol();
H A DProgramState.h879 bool scan(const SymExpr *sym);
/freebsd-13-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DSymbolManager.cpp23 #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 DSValBuilder.cpp33 #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 DSVals.cpp24 #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 DProgramState.cpp556 bool ScanReachableSymbols::scan(const SymExpr *sym) {
557 for (SymExpr::symbol_iterator SI = sym->symbol_begin(),
585 if (const SymExpr *Sym = val.getAsSymbolicExpression())
H A DDynamicType.cpp20 #include "clang/StaticAnalyzer/Core/PathSensitive/SymExpr.h"
197 static raw_ostream &printJson(const SymExpr *Symbol, raw_ostream &Out,
H A DRangeConstraintManager.cpp677 const SymExpr *LHS = SSE->getLHS();
678 const SymExpr *RHS = SSE->getRHS();
1003 const SymExpr *SE = SymVal->getSymbol();
H A DSimpleSValBuilder.cpp53 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 DNVPTXMCExpr.h91 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 DNVPTXMCExpr.cpp54 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 DTaint.cpp151 if (const SymExpr *Sym = V.getAsSymExpr())
183 for (SymExpr::symbol_iterator SI = Sym->symbol_begin(),
H A DExprInspectionChecker.cpp368 Optional<std::string> lookup(const SymExpr *S) {
376 Optional<std::string> VisitSymExpr(const SymExpr *S) {
H A DCStringChecker.cpp2415 for (SymExpr::symbol_iterator si = Len.symbol_begin(),
/freebsd-13-stable/contrib/llvm-project/llvm/lib/Target/Sparc/MCTargetDesc/
H A DSparcMCCodeEmitter.cpp165 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 DMipsAsmParser.cpp233 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...]

Completed in 214 milliseconds