1*67e74705SXin Li// RUN: %clang_cc1 -analyze -analyzer-checker=core,alpha.core -analyzer-disable-checker=alpha.core.PointerArithm %s -analyzer-store=region -verify 2*67e74705SXin Li// expected-no-diagnostics 3*67e74705SXin Li 4*67e74705SXin Litypedef int bar_return_t; 5*67e74705SXin Litypedef struct { 6*67e74705SXin Li unsigned char int_rep; 7*67e74705SXin Li} Foo_record_t; 8*67e74705SXin Liextern Foo_record_t Foo_record; 9*67e74705SXin Listruct QuxSize {}; 10*67e74705SXin Litypedef struct QuxSize QuxSize; 11*67e74705SXin Litypedef struct { 12*67e74705SXin Li Foo_record_t Foo; 13*67e74705SXin Li QuxSize size[0]; 14*67e74705SXin Li} __Request__SetPortalSize_t; 15*67e74705SXin Li 16*67e74705SXin Lidouble __Foo_READSWAP__double(double*); 17*67e74705SXin Li 18*67e74705SXin Listatic __inline__ bar_return_t 19*67e74705SXin Li__Beeble_check__Request__SetPortalSize_t(__Request__SetPortalSize_t *In0P) { 20*67e74705SXin Li if (In0P->Foo.int_rep != Foo_record.int_rep) { 21*67e74705SXin Li do { 22*67e74705SXin Li int __i__, __C__ = (2); 23*67e74705SXin Li for (__i__ = 0; 24*67e74705SXin Li __i__ < __C__; 25*67e74705SXin Li __i__++) do { 26*67e74705SXin Li *(&((double *)(&In0P->size))[__i__]) = 27*67e74705SXin Li __Foo_READSWAP__double(&((double *)(&In0P->size))[__i__]); 28*67e74705SXin Li } 29*67e74705SXin Li while (0); 30*67e74705SXin Li } 31*67e74705SXin Li while (0); 32*67e74705SXin Li } 33*67e74705SXin Li return 0; 34*67e74705SXin Li} 35