| // RUN: %clang_analyze_cc1 -analyzer-checker=core.builtin -analyzer-store=region -verify -Wno-unused %s | |
| typedef union { | |
| int y; | |
| } U; | |
| typedef struct { int x; } A; | |
| void foo(void) { | |
| U u = {}; | |
| A *a = &u; // expected-warning{{incompatible pointer types}} | |
| a->x; // no-crash | |
| } |