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 
foo()9 void foo() {
10   U u = {};
11   A *a = &u; // expected-warning{{incompatible pointer types}}
12   a->x;      // no-crash
13 }
14