| Dominic Chen | 184c624 | 2017-03-03 18:02:02 +0000 | [diff] [blame] | 1 | // RUN: %clang_analyze_cc1 -analyzer-checker=core.builtin -analyzer-store=region -verify -Wno-unused %s |
| Artem Dergachev | 22e28f4 | 2016-11-22 04:29:23 +0000 | [diff] [blame] | 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 | } | ||||