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/GRSimpleVals.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/GRSimpleVals.cpp')
| -rw-r--r-- | clang/lib/Analysis/GRSimpleVals.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/clang/lib/Analysis/GRSimpleVals.cpp b/clang/lib/Analysis/GRSimpleVals.cpp index 7e54f1ad686..878f46d9d51 100644 --- a/clang/lib/Analysis/GRSimpleVals.cpp +++ b/clang/lib/Analysis/GRSimpleVals.cpp @@ -367,8 +367,8 @@ void GRSimpleVals::EvalCall(ExplodedNodeSet<GRState>& Dst, if (isa<loc::MemRegionVal>(V)) { const MemRegion *R = cast<loc::MemRegionVal>(V).getRegion(); - if (R->isBoundable(Eng.getContext())) - St = StateMgr.BindLoc(St, cast<Loc>(V), UnknownVal()); + if (R->isBoundable()) + St = StateMgr.BindLoc(St, cast<Loc>(V), UnknownVal()); } else if (isa<nonloc::LocAsInteger>(V)) St = StateMgr.BindLoc(St, cast<nonloc::LocAsInteger>(V).getLoc(), UnknownVal()); |
