OpenGrok
Home
Sort by relevance
Sort by last modified time
Full Search
Definition
Symbol
File Path
History
|
|
Help
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"
168
SymbolManager
::getRegionValueSymbol(const TypedValueRegion* R) {
184
SymbolManager
::getConjuredSymbol(const Stmt *E, const LocationContext *LCtx,
203
SymbolManager
::getDerivedSymbol(SymbolRef parentSymbol,
221
SymbolManager
::getExtentSymbol(const SubRegion *R) {
237
SymbolManager
::getMetadataSymbol(const MemRegion* R, const Stmt *S, QualType T,
255
SymbolManager
::getCastSymbol(const SymExpr *Op,
270
const SymIntExpr *
SymbolManager
::getSymIntExpr(const SymExpr *lhs
[
all
...]
Android.mk
45
SymbolManager
.cpp \
SValBuilder.cpp
98
if (!
SymbolManager
::canSymbolicate(T))
124
if (!
SymbolManager
::canSymbolicate(type))
141
if (!
SymbolManager
::canSymbolicate(type))
156
assert(
SymbolManager
::canSymbolicate(type) && "Invalid metadata symbol type");
172
if (!
SymbolManager
::canSymbolicate(T))
SimpleConstraintManager.cpp
162
SymbolManager
&SymMgr = state->getSymbolManager();
RegionStore.cpp
740
assert(
SymbolManager
::canSymbolicate(T) || V.isUnknown());
[
all
...]
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
SValBuilder.h
40
SymbolManager
SymMgr;
139
SymbolManager
&getSymbolManager() { return SymMgr; }
140
const
SymbolManager
&getSymbolManager() const { return SymMgr; }
145
// 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
234
/// Clients should not ask the
SymbolManager
for a region's extent. Always use
470
class
SymbolManager
{
484
SymbolManager
(ASTContext &ctx, BasicValueFactory &bv,
489
~
SymbolManager
();
574
SymbolManager
& SymMgr;
579
SymbolReaper(const LocationContext *ctx, const Stmt *s,
SymbolManager
& symmgr,
ExprEngine.h
61
SymbolManager
& SymMgr;
246
SymbolManager
& getSymbolManager() { return SymMgr; }
247
const
SymbolManager
& getSymbolManager() const { return SymMgr; }
CheckerContext.h
107
SymbolManager
&getSymbolManager() {
ProgramState.h
139
SymbolManager
&getSymbolManager() const;
467
SymbolManager
&getSymbolManager() {
470
const
SymbolManager
&getSymbolManager() const {
695
inline
SymbolManager
&ProgramState::getSymbolManager() const {
Completed in 86 milliseconds