forked from OSchip/llvm-project
parent
45c2f9d320
commit
96c0fa8b42
|
@ -148,7 +148,13 @@ private:
|
||||||
Store BindStructToVal(Store store, const TypedRegion* BaseR, SVal V);
|
Store BindStructToVal(Store store, const TypedRegion* BaseR, SVal V);
|
||||||
Store BindStructToSymVal(Store store, const TypedRegion* BaseR);
|
Store BindStructToSymVal(Store store, const TypedRegion* BaseR);
|
||||||
|
|
||||||
|
/// Retrieve the values in a struct and return a CompoundVal, used when doing
|
||||||
|
/// struct copy:
|
||||||
|
/// struct s x, y;
|
||||||
|
/// x = y;
|
||||||
|
/// y's value is retrieved by this method.
|
||||||
SVal RetrieveStruct(Store store, const TypedRegion* R);
|
SVal RetrieveStruct(Store store, const TypedRegion* R);
|
||||||
|
|
||||||
Store BindStruct(Store store, const TypedRegion* R, SVal V);
|
Store BindStruct(Store store, const TypedRegion* R, SVal V);
|
||||||
|
|
||||||
// Utility methods.
|
// Utility methods.
|
||||||
|
|
Loading…
Reference in New Issue