diff options
Diffstat (limited to 'test/Analysis/rdar-6442306-1.m')
-rw-r--r-- | test/Analysis/rdar-6442306-1.m | 34 |
1 files changed, 0 insertions, 34 deletions
diff --git a/test/Analysis/rdar-6442306-1.m b/test/Analysis/rdar-6442306-1.m deleted file mode 100644 index d84000076d79..000000000000 --- a/test/Analysis/rdar-6442306-1.m +++ /dev/null @@ -1,34 +0,0 @@ -// RUN: %clang_analyze_cc1 -analyzer-checker=core,alpha.core -analyzer-disable-checker=alpha.core.PointerArithm %s -analyzer-store=region -verify -// expected-no-diagnostics - -typedef int bar_return_t; -typedef struct { - unsigned char int_rep; -} Foo_record_t; -extern Foo_record_t Foo_record; -struct QuxSize {}; -typedef struct QuxSize QuxSize; -typedef struct { - Foo_record_t Foo; - QuxSize size[0]; -} __Request__SetPortalSize_t; - -double __Foo_READSWAP__double(double*); - -static __inline__ bar_return_t -__Beeble_check__Request__SetPortalSize_t(__Request__SetPortalSize_t *In0P) { - if (In0P->Foo.int_rep != Foo_record.int_rep) { - do { - int __i__, __C__ = (2); - for (__i__ = 0; - __i__ < __C__; - __i__++) do { - *(&((double *)(&In0P->size))[__i__]) = - __Foo_READSWAP__double(&((double *)(&In0P->size))[__i__]); - } - while (0); - } - while (0); - } - return 0; -} |