| Daniel Dunbar | ffd408a | 2009-03-24 02:24:46 +0000 | [diff] [blame] | 1 | // RUN: clang-cc -analyze -checker-cfref %s --analyzer-store=basic -verify && |
| Ted Kremenek | 8871d5a | 2009-05-01 19:22:20 +0000 | [diff] [blame^] | 2 | // RUN: clang-cc -analyze -checker-cfref %s --analyzer-store=region -verify |
| 3 | // XFAIL | ||||
| Ted Kremenek | 66f07b1 | 2008-10-18 03:28:48 +0000 | [diff] [blame] | 4 | |
| 5 | unsigned foo(); | ||||
| 6 | typedef struct bf { unsigned x:2; } bf; | ||||
| 7 | void bar() { | ||||
| 8 | bf y; | ||||
| 9 | *(unsigned*)&y = foo(); | ||||
| 10 | y.x = 1; | ||||
| 11 | } | ||||