forked from OSchip/llvm-project
parent
00879d8faa
commit
fd62a33616
|
@ -349,6 +349,7 @@ public:
|
||||||
|
|
||||||
SVal RetrieveArray(const GRState *St, const TypedRegion* R);
|
SVal RetrieveArray(const GRState *St, const TypedRegion* R);
|
||||||
|
|
||||||
|
/// Get the state and region whose binding this region R corresponds to.
|
||||||
std::pair<const GRState*, const MemRegion*>
|
std::pair<const GRState*, const MemRegion*>
|
||||||
GetLazyBinding(RegionBindings B, const MemRegion *R);
|
GetLazyBinding(RegionBindings B, const MemRegion *R);
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue