HomeSort by: relevance | last modified time | path
    Searched refs:SymExpr (Results 1 - 22 of 22) sorted by relevancy

  /src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
SymExpr.h 1 //===- SymExpr.h - Management of Symbolic Values ----------------*- C++ -*-===//
9 // This file defines SymExpr and SymbolData.
29 class SymExpr : public llvm::FoldingSetNode {
43 SymExpr(Kind k) : K(k) {}
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...]
SymbolManager.h 23 #include "clang/StaticAnalyzer/Core/PathSensitive/SymExpr.h"
70 static bool classof(const SymExpr *SE) {
124 static bool classof(const SymExpr *SE) {
165 static bool classof(const SymExpr *SE) {
200 static bool classof(const SymExpr *SE) {
258 static bool classof(const SymExpr *SE) {
264 class SymbolCast : public SymExpr {
265 const SymExpr *Operand;
274 SymbolCast(const SymExpr *In, QualType From, QualType To)
275 : SymExpr(SymbolCastKind), Operand(In), FromTy(From), ToTy(To)
    [all...]
SValBuilder.h 28 #include "clang/StaticAnalyzer/Core/PathSensitive/SymExpr.h"
107 bool haveSameType(const SymExpr *Sym1, const SymExpr *Sym2) {
336 NonLoc makeNonLoc(const SymExpr *lhs, BinaryOperator::Opcode op,
340 const SymExpr *lhs, QualType type);
342 NonLoc makeNonLoc(const SymExpr *lhs, BinaryOperator::Opcode op,
343 const SymExpr *rhs, QualType type);
346 NonLoc makeNonLoc(const SymExpr *operand, QualType fromTy, QualType toTy);
SVals.h 20 #include "clang/StaticAnalyzer/Core/PathSensitive/SymExpr.h"
193 SymExpr::symbol_iterator symbol_begin() const {
194 const SymExpr *SE = getAsSymbol(/*IncludeBaseRegions=*/true);
198 return SymExpr::symbol_iterator();
201 SymExpr::symbol_iterator symbol_end() const {
202 return SymExpr::symbol_end();
352 return (const SymExpr *) Data;
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.
SMTConstraintManager.h 253 const SymExpr *Sym = SymVal->getSymbol();
ProgramState.h 879 bool scan(const SymExpr *sym);
  /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Core/
SymbolManager.cpp 24 #include "clang/StaticAnalyzer/Core/PathSensitive/SymExpr.h"
36 void SymExpr::anchor() {}
44 LLVM_DUMP_METHOD void SymExpr::dump() const { dumpToStream(llvm::errs()); }
46 void BinarySymExpr::dumpToStreamImpl(raw_ostream &OS, const SymExpr *Sym) {
104 bool SymExpr::symbol_iterator::operator==(const symbol_iterator &X) const {
108 bool SymExpr::symbol_iterator::operator!=(const symbol_iterator &X) const {
112 SymExpr::symbol_iterator::symbol_iterator(const SymExpr *SE) {
116 SymExpr::symbol_iterator &SymExpr::symbol_iterator::operator++()
    [all...]
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,
ProgramState.cpp 556 bool ScanReachableSymbols::scan(const SymExpr *sym) {
557 for (SymExpr::symbol_iterator SI = sym->symbol_begin(),
DynamicType.cpp 20 #include "clang/StaticAnalyzer/Core/PathSensitive/SymExpr.h"
197 static raw_ostream &printJson(const SymExpr *Symbol, raw_ostream &Out,
SimpleSValBuilder.cpp 48 SVal MakeSymIntVal(const SymExpr *LHS, BinaryOperator::Opcode op,
85 SVal SimpleSValBuilder::MakeSymIntVal(const SymExpr *LHS,
RangeConstraintManager.cpp 1116 const SymExpr *LHS = SSE->getLHS();
1117 const SymExpr *RHS = SSE->getRHS();
1954 const SymExpr *SE = SymVal->getSymbol();
  /src/external/apache2/llvm/dist/llvm/lib/Target/PowerPC/MCTargetDesc/
PPCELFStreamer.cpp 145 const MCSymbolRefExpr *SymExpr = static_cast<const MCSymbolRefExpr *>(Expr);
146 assert(SymExpr->getKind() == MCSymbolRefExpr::VK_PPC_PCREL_OPT &&
149 getContext().getOrCreateSymbol(SymExpr->getSymbol().getName());
180 const MCSymbolRefExpr *SymExpr = static_cast<const MCSymbolRefExpr *>(Expr);
181 assert(SymExpr->getKind() == MCSymbolRefExpr::VK_PPC_PCREL_OPT &&
184 getContext().getOrCreateSymbol(SymExpr->getSymbol().getName());
217 const MCSymbolRefExpr *SymExpr = static_cast<const MCSymbolRefExpr *>(Expr);
218 if (!SymExpr || SymExpr->getKind() != MCSymbolRefExpr::VK_PPC_PCREL_OPT)
PPCInstPrinter.cpp 91 const MCSymbolRefExpr *SymExpr =
94 if (SymExpr && SymExpr->getKind() == MCSymbolRefExpr::VK_PPC_PCREL_OPT) {
95 const MCSymbol &Symbol = SymExpr->getSymbol();
  /src/external/apache2/llvm/dist/llvm/lib/Target/NVPTX/
NVPTXMCExpr.h 91 const MCSymbolRefExpr *SymExpr;
94 : SymExpr(_SymExpr) {}
101 *create(const MCSymbolRefExpr *SymExpr, MCContext &Ctx);
108 const MCSymbolRefExpr *getSymbolExpr() const { return SymExpr; }
NVPTXMCExpr.cpp 54 NVPTXGenericMCSymbolRefExpr::create(const MCSymbolRefExpr *SymExpr,
56 return new (Ctx) NVPTXGenericMCSymbolRefExpr(SymExpr);
62 SymExpr->print(OS, MAI);
  /src/external/apache2/llvm/dist/llvm/lib/Target/Sparc/MCTargetDesc/
SparcMCCodeEmitter.cpp 198 const MCSymbolRefExpr *SymExpr = cast<MCSymbolRefExpr>(SExpr->getSubExpr());
199 assert(SymExpr->getSymbol().getName() == "__tls_get_addr" &&
  /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/
Taint.cpp 183 for (SymExpr::symbol_iterator SI = Sym->symbol_begin(),
ExprInspectionChecker.cpp 432 Optional<std::string> lookup(const SymExpr *S) {
440 Optional<std::string> VisitSymExpr(const SymExpr *S) { return lookup(S); }
CStringChecker.cpp 2415 for (SymExpr::symbol_iterator si = Len.symbol_begin(),
  /src/external/apache2/llvm/dist/llvm/lib/Target/Mips/AsmParser/
MipsAsmParser.cpp 233 bool loadAndAddSymbolAddress(const MCExpr *SymExpr, unsigned DstReg,
2907 bool MipsAsmParser::loadAndAddSymbolAddress(const MCExpr *SymExpr,
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, getContext())
    [all...]

Completed in 77 milliseconds