| Ted Kremenek | 04b1de1 | 2009-01-22 22:42:59 +0000 | [diff] [blame^] | 1 | // RUN: clang -analyze -checker-cfref %s --analyzer-store-basic -verify && |
| 2 | // RUN: clang -analyze -checker-cfref %s --analyzer-store-region -verify && | ||||
| Daniel Dunbar | d427023 | 2009-01-20 23:17:32 +0000 | [diff] [blame] | 3 | // RUN: clang -analyze -checker-simple %s -verify |
| Ted Kremenek | 5c456fe | 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 | } | ||||