OpenGrok
Home
Sort by relevance
Sort by last modified time
Full Search
Definition
Symbol
File Path
History
|
|
Help
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 181 milliseconds