diff options
| author | Ted Kremenek <kremenek@apple.com> | 2009-06-23 00:46:41 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2009-06-23 00:46:41 +0000 |
| commit | fb87e308150f079bb602199d661b10d736b9dc55 (patch) | |
| tree | fb4fafe21ec4789e4729b1997a92d8b4f5a2ae3e /clang/lib/Analysis/GRExprEngineInternalChecks.cpp | |
| parent | 2fe5b26414c3fac29a3b897ba02c2fb494aaab23 (diff) | |
| download | bcm5719-llvm-fb87e308150f079bb602199d661b10d736b9dc55.tar.gz bcm5719-llvm-fb87e308150f079bb602199d661b10d736b9dc55.zip | |
MemRegions:
- Embed a reference to MemRegionManager objects in MemSpaceRegion objects
- Use this embedded reference for MemRegion objects to access ASTContext objects without external help
- Use this access to ASTContext to simplify 'isBoundable' (no ASTContext& argument required)
llvm-svn: 73935
Diffstat (limited to 'clang/lib/Analysis/GRExprEngineInternalChecks.cpp')
| -rw-r--r-- | clang/lib/Analysis/GRExprEngineInternalChecks.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/clang/lib/Analysis/GRExprEngineInternalChecks.cpp b/clang/lib/Analysis/GRExprEngineInternalChecks.cpp index 7f7270d40d6..13df89ebbfd 100644 --- a/clang/lib/Analysis/GRExprEngineInternalChecks.cpp +++ b/clang/lib/Analysis/GRExprEngineInternalChecks.cpp @@ -717,7 +717,7 @@ public: if (isa<loc::ConcreteInt>(V)) { bool b = false; ASTContext &C = BRC.getASTContext(); - if (R->isBoundable(C)) { + if (R->isBoundable()) { if (const TypedRegion *TR = dyn_cast<TypedRegion>(R)) { if (C.isObjCObjectPointerType(TR->getValueType(C))) { os << "initialized to nil"; @@ -748,7 +748,7 @@ public: if (isa<loc::ConcreteInt>(V)) { bool b = false; ASTContext &C = BRC.getASTContext(); - if (R->isBoundable(C)) { + if (R->isBoundable()) { if (const TypedRegion *TR = dyn_cast<TypedRegion>(R)) { if (C.isObjCObjectPointerType(TR->getValueType(C))) { os << "nil object reference stored to "; |
