| 1 | // RUN: %clang_analyze_cc1 -analyzer-checker=core.builtin -analyzer-store=region -verify -Wno-unused %s |
|---|---|
| 2 | |
| 3 | typedef union { |
| 4 | int y; |
| 5 | } U; |
| 6 | |
| 7 | typedef struct { int x; } A; |
| 8 | |
| 9 | void foo() { |
| 10 | U u = {}; |
| 11 | A *a = &u; // expected-warning{{incompatible pointer types}} |
| 12 | a->x; // no-crash |
| 13 | } |
| 14 |