| Daniel Dunbar | d427023 | 2009-01-20 23:17:32 +0000 | [diff] [blame^] | 1 | // RUN: clang -analyze -checker-cfref %s -verify && |
| 2 | // RUN: clang -analyze -checker-simple %s -verify | ||||
| Ted Kremenek | 5c456fe | 2008-10-18 03:28:48 +0000 | [diff] [blame] | 3 | |
| 4 | unsigned foo(); | ||||
| 5 | typedef struct bf { unsigned x:2; } bf; | ||||
| 6 | void bar() { | ||||
| 7 | bf y; | ||||
| 8 | *(unsigned*)&y = foo(); | ||||
| 9 | y.x = 1; | ||||
| 10 | } | ||||