OpenGrok
Home
Sort by relevance
Sort by last modified time
Full Search
Definition
Symbol
File Path
History
|
|
Help
Searched
defs:SymbolManager
(Results
1 - 3
of
3
) 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
...]
/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
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,
/prebuilts/sdk/tools/jacks/
jack-2.28.RELEASE.jar
Completed in 672 milliseconds