repo.or.cz
/
official-gcc.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
* ubsan.c (ubsan_expand_null_ifn): Use _v1 suffixed type mismatch
[official-gcc.git]
/
gcc
/
testsuite
/
c-c++-common
/
pr27336.c
blob
ce6855989a2c4d89446439890003dde4d21bb2e4
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" } } */