[analyzer] Toning down invalidation a bit
When a function takes the address of a field the analyzer will no longer
assume that the function will change other fields of the enclosing structs.
Differential Revision: https://reviews.llvm.org/D57230
llvm-svn: 352473
diff --git a/clang/test/Analysis/cxx-uninitialized-object.cpp b/clang/test/Analysis/cxx-uninitialized-object.cpp
index 07006be..93a02a4 100644
--- a/clang/test/Analysis/cxx-uninitialized-object.cpp
+++ b/clang/test/Analysis/cxx-uninitialized-object.cpp
@@ -358,7 +358,7 @@
void wontInitialize(const T &);
class PassingToUnknownFunctionTest1 {
- int a, b;
+ int a, b; // expected-note{{uninitialized field 'this->b'}}
public:
PassingToUnknownFunctionTest1() {
@@ -368,8 +368,7 @@
}
PassingToUnknownFunctionTest1(int) {
- mayInitialize(a);
- // All good!
+ mayInitialize(a); // expected-warning{{1 uninitialized field at the end of the constructor call}}
}
PassingToUnknownFunctionTest1(int, int) {