| 1 | // RUN: %clang_analyze_cc1 -analyzer-checker=core,alpha.core -analyzer-store=region %s |
|---|---|
| 2 | |
| 3 | typedef struct added_obj_st { |
| 4 | int type; |
| 5 | } ADDED_OBJ; |
| 6 | |
| 7 | // Test if we are using the canonical type for ElementRegion. |
| 8 | void 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 |