OpenGrok
Home
Sort by relevance
Sort by last modified time
Full Search
Definition
Symbol
File Path
History
|
|
Help
Searched
refs:SymbolManager
(Results
1 - 9
of
9
) 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"
152
SymbolManager
::getRegionValueSymbol(const TypedValueRegion* R) {
167
const SymbolConjured*
SymbolManager
::conjureSymbol(const Stmt *E,
187
SymbolManager
::getDerivedSymbol(SymbolRef parentSymbol,
205
SymbolManager
::getExtentSymbol(const SubRegion *R) {
221
SymbolManager
::getMetadataSymbol(const MemRegion* R, const Stmt *S, QualType T,
239
SymbolManager
::getCastSymbol(const SymExpr *Op,
254
const SymIntExpr *
SymbolManager
::getSymIntExpr(const SymExpr *lhs
[
all
...]
SValBuilder.cpp
98
if (!
SymbolManager
::canSymbolicate(T))
122
if (!
SymbolManager
::canSymbolicate(type))
138
if (!
SymbolManager
::canSymbolicate(type))
155
assert(
SymbolManager
::canSymbolicate(T));
165
assert(
SymbolManager
::canSymbolicate(type) && "Invalid metadata symbol type");
181
if (!
SymbolManager
::canSymbolicate(T))
Android.mk
49
SymbolManager
.cpp \
RegionStore.cpp
[
all
...]
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
SValBuilder.h
40
SymbolManager
SymMgr;
136
SymbolManager
&getSymbolManager() { return SymMgr; }
137
const
SymbolManager
&getSymbolManager() const { return SymMgr; }
142
// 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
469
class
SymbolManager
{
483
SymbolManager
(ASTContext &ctx, BasicValueFactory &bv,
488
~
SymbolManager
();
573
SymbolManager
& SymMgr;
585
SymbolReaper(const StackFrameContext *Ctx, const Stmt *s,
SymbolManager
& symmgr,
ExprEngine.h
73
SymbolManager
& SymMgr;
290
SymbolManager
& getSymbolManager() { return SymMgr; }
291
const
SymbolManager
& getSymbolManager() const { return SymMgr; }
CheckerContext.h
165
SymbolManager
&getSymbolManager() {
ProgramState.h
145
SymbolManager
&getSymbolManager() const;
486
SymbolManager
&getSymbolManager() {
489
const
SymbolManager
&getSymbolManager() const {
721
inline
SymbolManager
&ProgramState::getSymbolManager() const {
Completed in 210 milliseconds