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