Mercurial > hg > CbC > CbC_gcc
annotate gcc/testsuite/c-c++-common/pr27336.c @ 111:04ced10e8804
gcc 7
author | kono |
---|---|
date | Fri, 27 Oct 2017 22:46:09 +0900 |
parents | |
children | 1830386684a0 |
rev | line source |
---|---|
111 | 1 /* { dg-do compile } */ |
2 /* { dg-options "-O2 -fdelete-null-pointer-checks -fdump-tree-vrp1" } */ | |
3 | |
4 struct B { int x; }; | |
5 extern void g3(struct B *that) __attribute__((nonnull)); | |
6 int f3(struct B *a) | |
7 { | |
8 g3(a); | |
9 return a != (void *)0; | |
10 } | |
11 | |
12 /* { dg-final { scan-tree-dump "return 1;" "vrp1" } } */ |