diff options
Diffstat (limited to 'clang/lib/Analysis/RegionStore.cpp')
| -rw-r--r-- | clang/lib/Analysis/RegionStore.cpp | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/clang/lib/Analysis/RegionStore.cpp b/clang/lib/Analysis/RegionStore.cpp index 9753b914f2c..006b613528f 100644 --- a/clang/lib/Analysis/RegionStore.cpp +++ b/clang/lib/Analysis/RegionStore.cpp @@ -148,7 +148,13 @@ private: Store BindStructToVal(Store store, const TypedRegion* BaseR, SVal V); 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); + Store BindStruct(Store store, const TypedRegion* R, SVal V); // Utility methods. |
