HomeSort by relevance Sort by last modified time
    Searched refs:SymbolManager (Results 1 - 10 of 10) sorted by null

  /external/clang/lib/StaticAnalyzer/Core/
SymbolManager.cpp 1 //== SymbolManager.h - Management of Symbolic Values ------------*- C++ -*--==//
10 // This file defines SymbolManager, a class that manages symbolic values
15 #include "clang/StaticAnalyzer/Core/PathSensitive/SymbolManager.h"
92 SymbolManager::getRegionValueSymbol(const TypedRegion* R) {
108 SymbolManager::getConjuredSymbol(const Stmt* E, QualType T, unsigned Count,
126 SymbolManager::getDerivedSymbol(SymbolRef parentSymbol,
144 SymbolManager::getExtentSymbol(const SubRegion *R) {
160 SymbolManager::getMetadataSymbol(const MemRegion* R, const Stmt* S, QualType T,
177 const SymIntExpr *SymbolManager::getSymIntExpr(const SymExpr *lhs,
195 const SymSymExpr *SymbolManager::getSymSymExpr(const SymExpr *lhs
    [all...]
Android.mk 42 SymbolManager.cpp \
SValBuilder.cpp 76 if (!SymbolManager::canSymbolicate(T))
92 if (!SymbolManager::canSymbolicate(T))
108 if (!SymbolManager::canSymbolicate(type))
123 assert(SymbolManager::canSymbolicate(type) && "Invalid metadata symbol type");
139 if (!SymbolManager::canSymbolicate(T))
SimpleConstraintManager.cpp 151 SymbolManager &SymMgr = state->getSymbolManager();
BasicStore.cpp 142 if (!SymbolManager::canSymbolicate(T) || !T->isScalarType())
RegionStore.cpp 716 assert(SymbolManager::canSymbolicate(T) || V.isUnknown());
    [all...]
  /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
SymbolManager.h 1 //== SymbolManager.h - Management of Symbolic Values ------------*- C++ -*--==//
10 // This file defines SymbolManager, a class that manages symbolic values
197 /// Clients should not ask the SymbolManager for a region's extent. Always use
356 class SymbolManager {
365 SymbolManager(ASTContext& ctx, BasicValueFactory &bv,
369 ~SymbolManager();
421 SymbolManager& SymMgr;
424 SymbolReaper(const LocationContext *ctx, const Stmt *s, SymbolManager& symmgr)
SValBuilder.h 38 SymbolManager SymMgr;
110 SymbolManager &getSymbolManager() { return SymMgr; }
111 const SymbolManager &getSymbolManager() const { return SymMgr; }
116 // Forwarding methods to SymbolManager.
ExprEngine.h 55 SymbolManager& SymMgr;
215 SymbolManager& getSymbolManager() { return SymMgr; }
216 const SymbolManager& getSymbolManager() const { return SymMgr; }
GRState.h 143 SymbolManager &getSymbolManager() const;
499 SymbolManager &getSymbolManager() {
502 const SymbolManager &getSymbolManager() const {
719 inline SymbolManager &GRState::getSymbolManager() const {

Completed in 170 milliseconds