diff options
author | Ted Kremenek <kremenek@apple.com> | 2011-04-12 00:44:31 +0000 |
---|---|---|
committer | Ted Kremenek <kremenek@apple.com> | 2011-04-12 00:44:31 +0000 |
commit | 4f939da02d068aa7448d85922b997edc598cd36c (patch) | |
tree | 8a5195b4d6d4d94832a9c8c45c8b021db851ef2a /clang/test/Analysis/misc-ps-region-store.cpp | |
parent | 471257c132b3b149419125b9a3a4319d672fd7cc (diff) | |
download | bcm5719-llvm-4f939da02d068aa7448d85922b997edc598cd36c.tar.gz bcm5719-llvm-4f939da02d068aa7448d85922b997edc598cd36c.zip |
RegionStoreManager::invalidateRegions: treat classes the same as structs.
llvm-svn: 129333
Diffstat (limited to 'clang/test/Analysis/misc-ps-region-store.cpp')
-rw-r--r-- | clang/test/Analysis/misc-ps-region-store.cpp | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/clang/test/Analysis/misc-ps-region-store.cpp b/clang/test/Analysis/misc-ps-region-store.cpp index e01c348e328..aaf13810990 100644 --- a/clang/test/Analysis/misc-ps-region-store.cpp +++ b/clang/test/Analysis/misc-ps-region-store.cpp @@ -346,3 +346,17 @@ float test_ref_double() { return Val; } +// Test invalidation of class fields. +class TestInvalidateClass { +public: + int x; +}; + +void test_invalidate_class_aux(TestInvalidateClass &x); + +int test_invalidate_class() { + TestInvalidateClass y; + test_invalidate_class_aux(y); + return y.x; // no-warning +} + |