// RUN: %clang_analyze_cc1 -analyzer-checker=core,alpha.core -analyzer-store=region %stypedefstruct added_obj_st {int type;} ADDED_OBJ;// Test if we are using the canonical type for ElementRegion.voidf() {
ADDED_OBJ *ao[4]={((void*)0),((void*)0),((void*)0),((void*)0)};if(ao[0] != ((void*)0)) {
ao[0]->type=0;}}