misc-ps-region-store-i386.m revision 0c106995d52738c4cc0e25edffd6ae2ffaea817d 
1// RUN: clang-cc -triple i386-apple-darwin9 -analyze -checker-cfref --analyzer-store=region --verify -fblocks %s
2
3typedef struct _BStruct { void *grue; } BStruct;
4void testB_aux(void *ptr);
5void testB(BStruct *b) {
6  {
7    int *__gruep__ = ((int *)&((b)->grue));
8    int __gruev__ = *__gruep__;
9    int __gruev2__ = *__gruep__;
10    if (__gruev__ != __gruev2__) {
11      int *p = 0;
12      *p = 0xDEADBEEF;
13    }
14    
15    testB_aux(__gruep__);
16  }
17  {
18    int *__gruep__ = ((int *)&((b)->grue));
19    int __gruev__ = *__gruep__;
20    int __gruev2__ = *__gruep__;
21    if (__gruev__ != __gruev2__) {
22      int *p = 0;
23      *p = 0xDEADBEEF;
24    }
25    
26    if (~0 != __gruev__) {}
27  }
28}
29
30