| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| |
| // rdar://problem/64202361 |
| |
| struct A { |
| int a; |
| struct { |
| struct { |
| int b; |
| union { |
| int c; |
| }; |
| }; |
| }; |
| }; |
| |
| int testCrash() { |
| int *x = 0; |
| int A::*ap = &A::a; |
| |
| if (ap) // no crash |
| return *x; // expected-warning{{Dereference of null pointer (loaded from variable 'x')}} |
| |
| return 10; |
| } |
| |
| int testIndirectCrash() { |
| int *x = 0; |
| int A::*cp = &A::c; |
| |
| if (cp) // no crash |
| return *x; // expected-warning{{Dereference of null pointer (loaded from variable 'x')}} |
| |
| return 10; |
| } |