HomeSort by relevance Sort by last modified time
    Searched refs:SymbolManager (Results 1 - 12 of 12) 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"
151 SymbolManager::getRegionValueSymbol(const TypedValueRegion* R) {
166 const SymbolConjured* SymbolManager::conjureSymbol(const Stmt *E,
186 SymbolManager::getDerivedSymbol(SymbolRef parentSymbol,
204 SymbolManager::getExtentSymbol(const SubRegion *R) {
220 SymbolManager::getMetadataSymbol(const MemRegion* R, const Stmt *S, QualType T,
238 SymbolManager::getCastSymbol(const SymExpr *Op,
253 const SymIntExpr *SymbolManager::getSymIntExpr(const SymExpr *lhs
    [all...]
Android.mk 50 SymbolManager.cpp
SimpleConstraintManager.h 83 SymbolManager &getSymbolManager() const { return SVB.getSymbolManager(); }
SValBuilder.cpp 98 if (!SymbolManager::canSymbolicate(T))
129 if (!SymbolManager::canSymbolicate(type))
145 if (!SymbolManager::canSymbolicate(type))
162 assert(SymbolManager::canSymbolicate(T));
172 assert(SymbolManager::canSymbolicate(type) && "Invalid metadata symbol type");
188 if (!SymbolManager::canSymbolicate(T))
SimpleConstraintManager.cpp 158 SymbolManager &SymMgr = getSymbolManager();
RegionStore.cpp     [all...]
  /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
SValBuilder.h 40 SymbolManager SymMgr;
137 SymbolManager &getSymbolManager() { return SymMgr; }
138 const SymbolManager &getSymbolManager() const { return SymMgr; }
143 // Forwarding methods to SymbolManager.
SymbolManager.h 1 //== SymbolManager.h - Management of Symbolic Values ------------*- C++ -*--==//
10 // This file defines SymbolManager, a class that manages symbolic values
233 /// Clients should not ask the SymbolManager for a region's extent. Always use
471 class SymbolManager {
485 SymbolManager(ASTContext &ctx, BasicValueFactory &bv,
490 ~SymbolManager();
575 SymbolManager& SymMgr;
587 SymbolReaper(const StackFrameContext *Ctx, const Stmt *s, SymbolManager& symmgr,
ExprEngine.h 72 SymbolManager& SymMgr;
303 SymbolManager& getSymbolManager() { return SymMgr; }
304 const SymbolManager& getSymbolManager() const { return SymMgr; }
CheckerContext.h 161 SymbolManager &getSymbolManager() {
ProgramState.h 145 SymbolManager &getSymbolManager() const;
490 SymbolManager &getSymbolManager() {
493 const SymbolManager &getSymbolManager() const {
724 inline SymbolManager &ProgramState::getSymbolManager() const {
  /prebuilts/sdk/tools/
jack.jar 

Completed in 157 milliseconds