| 1 | // RUN: %clang_analyze_cc1 -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 | |
|---|