blob: 5897c5533150e27c8dea65a4e9e08dbaf401ff2c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
// RUN: %clang_analyze_cc1 -analyzer-checker=core,alpha.core %s
typedef struct added_obj_st {
int type;
} ADDED_OBJ;
// Test if we are using the canonical type for ElementRegion.
void f(void) {
ADDED_OBJ *ao[4]={((void*)0),((void*)0),((void*)0),((void*)0)};
if (ao[0] != ((void*)0)) {
ao[0]->type=0;
}
}
|
