/external/clang/lib/StaticAnalyzer/Core/ |
Store.cpp | 105 if (const TypedValueRegion *TR = dyn_cast<TypedValueRegion>(R)) { 177 if (const TypedValueRegion *TR = dyn_cast<TypedValueRegion>(baseR)) { 231 const TypedValueRegion *TVR = dyn_cast<TypedValueRegion>(MR); 299 if (const TypedValueRegion *TVR = dyn_cast<TypedValueRegion>(MR)) 370 Failed = isa<TypedValueRegion>(MR); 378 SVal StoreManager::CastRetrievedVal(SVal V, const TypedValueRegion *R [all...] |
RegionStore.cpp | 237 if (const TypedValueRegion *TR = dyn_cast<TypedValueRegion>(R)) 445 const TypedValueRegion *R, 451 const TypedValueRegion* R, SVal V); 455 const TypedValueRegion* R, SVal V); 458 const TypedValueRegion* R, 512 SVal getBindingForLazySymbol(const TypedValueRegion *R); 515 const TypedValueRegion *R, 526 SVal getBindingForStruct(RegionBindingsConstRef B, const TypedValueRegion *R); 527 SVal getBindingForArray(RegionBindingsConstRef B, const TypedValueRegion *R) [all...] |
BasicValueFactory.cpp | 31 const TypedValueRegion *region) { 128 const TypedValueRegion *region) {
|
ExprEngineObjC.cpp | 108 if (const TypedValueRegion *R = 109 dyn_cast<TypedValueRegion>(MV->getRegion())) {
|
MemRegion.cpp | 183 DefinedOrUnknownSVal TypedValueRegion::getExtent(SValBuilder &svalBuilder) const { 433 void TypedValueRegion::anchor() { } 969 const TypedValueRegion *Super, 992 if (isa<TypedValueRegion>(Super)) { 993 assert(isValidBaseClass(RD, dyn_cast<TypedValueRegion>(Super), IsVirtual)); [all...] |
SVals.cpp | 154 const TypedValueRegion *nonloc::LazyCompoundVal::getRegion() const {
|
SValBuilder.cpp | 95 SValBuilder::getRegionValueSymbolVal(const TypedValueRegion* region) { 185 const TypedValueRegion *region) {
|
SymbolManager.cpp | 151 SymbolManager::getRegionValueSymbol(const TypedValueRegion* R) { 187 const TypedValueRegion *R) {
|
BugReporterVisitors.cpp | 588 if (const TypedValueRegion *TR = dyn_cast<TypedValueRegion>(R)) { 655 if (const TypedValueRegion *TR = dyn_cast<TypedValueRegion>(R)) { [all...] |
ProgramState.cpp | 242 if (const TypedValueRegion *TR = dyn_cast<TypedValueRegion>(R)) {
|
ExprEngine.cpp | 214 const TypedValueRegion *TR = nullptr; [all...] |
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
BasicValueFactory.h | 47 const TypedValueRegion *region; 49 LazyCompoundValData(const StoreRef &st, const TypedValueRegion *r) 53 const TypedValueRegion *getRegion() const { return region; } 57 const TypedValueRegion *region); 173 const TypedValueRegion *region);
|
MemRegion.h | 497 /// TypedValueRegion - An abstract class representing regions having a typed value. 498 class TypedValueRegion : public TypedRegion { 502 TypedValueRegion(const MemRegion* sReg, Kind k) : TypedRegion(sReg, k) {} 741 class StringRegion : public TypedValueRegion { 747 : TypedValueRegion(sreg, StringRegionKind), Str(str) {} 777 class ObjCStringRegion : public TypedValueRegion { 783 : TypedValueRegion(sreg, ObjCStringRegionKind), Str(str) {} 813 class CompoundLiteralRegion : public TypedValueRegion { 819 : TypedValueRegion(sReg, CompoundLiteralRegionKind), CL(cl) {} 842 class DeclRegion : public TypedValueRegion { [all...] |
SymbolManager.h | 37 class TypedValueRegion; 125 const TypedValueRegion *R; 128 SymbolRegionValue(SymbolID sym, const TypedValueRegion *r) 131 const TypedValueRegion* getRegion() const { return R; } 133 static void Profile(llvm::FoldingSetNodeID& profile, const TypedValueRegion* R) { 202 const TypedValueRegion *R; 205 SymbolDerived(SymbolID sym, SymbolRef parent, const TypedValueRegion *r) 209 const TypedValueRegion *getRegion() const { return R; } 216 const TypedValueRegion *r) { 495 const SymbolRegionValue* getRegionValueSymbol(const TypedValueRegion* R) [all...] |
SValBuilder.h | 164 DefinedOrUnknownSVal getRegionValueSymbolVal(const TypedValueRegion *region); 194 SymbolRef parentSymbol, const TypedValueRegion *region); 217 const TypedValueRegion *region) {
|
SVals.h | 36 class TypedValueRegion; 446 const TypedValueRegion *getRegion() const;
|
Store.h | 242 SVal CastRetrievedVal(SVal val, const TypedValueRegion *region,
|
/external/clang/lib/StaticAnalyzer/Checkers/ |
BoolAssignmentChecker.cpp | 58 const TypedValueRegion *TR = 59 dyn_cast_or_null<TypedValueRegion>(loc.getAsRegion());
|
DereferenceChecker.cpp | 233 const TypedValueRegion *TVR = dyn_cast_or_null<TypedValueRegion>(MR);
|
CallAndMessageChecker.cpp | 229 bool Find(const TypedValueRegion *R) {
|
BasicObjCFoundationChecks.cpp | 474 const TypedValueRegion* R = dyn_cast<TypedValueRegion>(LV->stripCasts()); [all...] |
CStringChecker.cpp | [all...] |