OpenGrok
Home
Sort by relevance
Sort by last modified time
Full Search
Definition
Symbol
File Path
History
|
|
Help
Searched
refs:SymbolicRegion
(Results
1 - 16
of
16
) sorted by null
/external/clang/lib/StaticAnalyzer/Checkers/
PointerSubChecker.cpp
60
if (isa<
SymbolicRegion
>(BaseLR) || isa<
SymbolicRegion
>(BaseRR))
CastSizeChecker.cpp
52
const
SymbolicRegion
*SR = dyn_cast<
SymbolicRegion
>(R);
MallocChecker.cpp
436
const
SymbolicRegion
*R =
437
dyn_cast_or_null<
SymbolicRegion
>(retVal.getAsRegion());
552
const
SymbolicRegion
*SR = dyn_cast<
SymbolicRegion
>(R);
[
all
...]
GenericTaintChecker.cpp
578
const
SymbolicRegion
*SymReg = dyn_cast_or_null<
SymbolicRegion
>(MemReg);
RetainCountChecker.cpp
[
all
...]
/external/clang/lib/StaticAnalyzer/Core/
SVals.cpp
40
if (const
SymbolicRegion
*SR = dyn_cast<
SymbolicRegion
>(R)) {
72
if (const
SymbolicRegion
*SymR = dyn_cast<
SymbolicRegion
>(R))
88
if (const
SymbolicRegion
*SymR = dyn_cast<
SymbolicRegion
>(SR))
SimpleConstraintManager.cpp
90
if (const
SymbolicRegion
*SymR = dyn_cast<
SymbolicRegion
>(SubR)) {
RegionStore.cpp
673
if (const
SymbolicRegion
*SR = dyn_cast<
SymbolicRegion
>(baseR))
694
if (isa<AllocaRegion>(baseR) || isa<
SymbolicRegion
>(baseR)) {
[
all
...]
MemRegion.cpp
215
DefinedOrUnknownSVal
SymbolicRegion
::getExtent(SValBuilder &svalBuilder) const {
330
void
SymbolicRegion
::ProfileRegion(llvm::FoldingSetNodeID& ID, SymbolRef sym,
337
void
SymbolicRegion
::Profile(llvm::FoldingSetNodeID& ID) const {
338
SymbolicRegion
::ProfileRegion(ID, sym, getSuperRegion());
501
void
SymbolicRegion
::dumpToStream(raw_ostream &os) const {
799
const
SymbolicRegion
*MemRegionManager::getSymbolicRegion(SymbolRef sym) {
800
return getSubRegion<
SymbolicRegion
>(sym, getUnknownRegion());
[
all
...]
ProgramState.cpp
562
if (const
SymbolicRegion
*SR = dyn_cast<
SymbolicRegion
>(R))
628
if (const
SymbolicRegion
*SR = dyn_cast_or_null<
SymbolicRegion
>(R))
671
if (const
SymbolicRegion
*SR = dyn_cast<
SymbolicRegion
>(Reg))
SymbolManager.cpp
435
if (const
SymbolicRegion
*SR = dyn_cast<
SymbolicRegion
>(MR))
Store.cpp
73
if (isa<CodeTextRegion>(R) || isa<
SymbolicRegion
>(R))
BugReporter.cpp
[
all
...]
SimpleSValBuilder.cpp
704
!isa<
SymbolicRegion
>(LeftBase) && !isa<
SymbolicRegion
>(RightBase)) {
[
all
...]
BugReporterVisitors.cpp
340
while (R && !isa<
SymbolicRegion
>(R)) {
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
MemRegion.h
634
///
SymbolicRegion
- A special, "non-concrete" region. Unlike other region
635
/// clases,
SymbolicRegion
represents a region that serves as an alias for
639
class
SymbolicRegion
: public SubRegion {
644
SymbolicRegion
(const SymbolRef s, const MemRegion* sreg)
[
all
...]
Completed in 418 milliseconds