24 lines
691 B
C
24 lines
691 B
C
/* { dg-do compile } */
|
|
/* { dg-options "-O2 -fdump-tree-vrp1" } */
|
|
|
|
int
|
|
foo (int *p)
|
|
{
|
|
int a = *p;
|
|
int b = p != 0;
|
|
|
|
*p = b;
|
|
|
|
if (b)
|
|
return a;
|
|
else
|
|
return 0;
|
|
}
|
|
|
|
/* Target with fno-delete-null-pointer-checks should not fold checks */
|
|
/* { dg-final { scan-tree-dump-times "Folding predicate " 1 "vrp1" { target { ! keeps_null_pointer_checks } } } } */
|
|
/* { dg-final { scan-tree-dump-times "Folding predicate " 0 "vrp1" { target { keeps_null_pointer_checks } } } } */
|
|
/* { dg-final { scan-tree-dump-not "b_. =" "vrp1" { target { ! avr-*-* } } } } */
|
|
/* { dg-final { scan-tree-dump "b_. =" "vrp1" { target { avr-*-* } } } } */
|
|
/* { dg-final { cleanup-tree-dump "vrp1" } } */
|