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"
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