elementtype.c revision 565e465c6d0093f1bf8414b2cabdc842022385a9
1// RUN: %clang_cc1 -analyze -analyzer-experimental-internal-checks -analyzer-check-objc-mem -analyzer-store=region %s 2 3typedef struct added_obj_st { 4 int type; 5} ADDED_OBJ; 6 7// Test if we are using the canonical type for ElementRegion. 8void f() { 9 ADDED_OBJ *ao[4]={((void*)0),((void*)0),((void*)0),((void*)0)}; 10 if (ao[0] != ((void*)0)) { 11 ao[0]->type=0; 12 } 13} 14