1 /* { dg-do compile } */
2 /* { dg-options "-O2 -fdump-tree-isolate-paths -fdelete-null-pointer-checks -Wnull-dereference" } */
3 /* { dg-skip-if "" keeps_null_pointer_checks } */
6 struct demangle_component
17 struct demangle_component
*comps
;
23 static struct demangle_component
*
24 d_make_empty (struct d_info
*di
)
26 struct demangle_component
*p
;
28 if (di
->next_comp
>= di
->num_comps
)
30 p
= &di
->comps
[di
->next_comp
];
36 struct demangle_component
*
37 d_type (struct d_info
*di
)
39 struct demangle_component
*ret
;
40 ret
= d_make_empty (di
);
41 ret
->type
= 42; /* { dg-warning "null pointer dereference" } */
42 ret
->zzz
= -1; /* { dg-warning "null pointer dereference" } */
46 /* We're testing three aspects of isolation here. First that isolation
47 occurs, second that if we have two null dereferences in a block that
48 that we delete everything from the first dereferece to the end of the
49 block, regardless of which comes first in the immediate use iterator
50 and finally that we set the RHS of the store to zero. */
51 /* { dg-final { scan-tree-dump-times "__builtin_trap" 1 "isolate-paths"} } */
52 /* { dg-final { scan-tree-dump-times "->type = 42" 1 "isolate-paths"} } */
53 /* { dg-final { scan-tree-dump-times "->type ={v} 0" 1 "isolate-paths"} } */
54 /* { dg-final { scan-tree-dump-times "->zzz" 1 "isolate-paths"} } */