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