diff options
Diffstat (limited to 'test')
-rw-r--r-- | test/Analysis/fields.c | 7 | ||||
-rw-r--r-- | test/Analysis/nullptr.cpp | 9 |
2 files changed, 4 insertions, 12 deletions
diff --git a/test/Analysis/fields.c b/test/Analysis/fields.c index a10d5a8060..da0847a560 100644 --- a/test/Analysis/fields.c +++ b/test/Analysis/fields.c @@ -26,10 +26,3 @@ void test() { Point p; (void)(p = getit()).x; } - - -void testNullAddress() { - Point *p = 0; - int *px = &p->x; // expected-warning{{Access to field 'x' results in a dereference of a null pointer (loaded from variable 'p')}} - *px = 1; // No warning because analysis stops at the previous line. -} diff --git a/test/Analysis/nullptr.cpp b/test/Analysis/nullptr.cpp index 80ef5fbf6d..050c3f8dc5 100644 --- a/test/Analysis/nullptr.cpp +++ b/test/Analysis/nullptr.cpp @@ -23,11 +23,10 @@ void foo3(void) { }; char *np = nullptr; // casting a nullptr to anything should be caught eventually - int *ip = &(((struct foo *)np)->f); // expected-warning{{Access to field 'f' results in a dereference of a null pointer (loaded from variable 'np')}} - - // Analysis stops at the first problem case, so we won't actually warn here. - *ip = 0; - *np = 0; + int *ip = &(((struct foo *)np)->f); + *ip = 0; // expected-warning{{Dereference of null pointer}} + // should be error here too, but analysis gets stopped +// *np = 0; } // nullptr is implemented as a zero integer value, so should be able to compare |