40 lines
1.2 KiB
C
40 lines
1.2 KiB
C
/* { dg-do compile } */
|
|
/* { dg-options "-O2 -fdump-tree-vrp1-details" } */
|
|
|
|
foo (int i, int *p)
|
|
{
|
|
int j;
|
|
|
|
if (i > 10)
|
|
{
|
|
if (p)
|
|
{
|
|
j = *p;
|
|
/* This should be folded to if (1) because of the parent 'if
|
|
(p)'. But the dereference of p above does not need an
|
|
assertion. */
|
|
if (p)
|
|
return j + 1;
|
|
}
|
|
}
|
|
else
|
|
{
|
|
j = *p - 3;
|
|
/* This should be folded to if (0), because p has just been
|
|
dereferenced. But we were not inserting enough ASSERT_EXPRs
|
|
to figure it out. */
|
|
if (!p)
|
|
return j - 4;
|
|
}
|
|
|
|
return i;
|
|
}
|
|
/* Target with fno-delete-null-pointer-checks should not fold checks */
|
|
/* { dg-final { scan-tree-dump-times "Folding predicate p_.*to 1" 1 "vrp1" } } */
|
|
/* { dg-final { scan-tree-dump-times "Folding predicate p_.*to 0" 1 "vrp1" { target { ! keeps_null_pointer_checks } } } } */
|
|
/* { dg-final { scan-tree-dump-times "Folding predicate p_.*to 0" 0 "vrp1" { target { keeps_null_pointer_checks } } } } */
|
|
|
|
/* { dg-final { scan-tree-dump-times "PREDICATE: p_\[0-9\]" 2 "vrp1" { target { ! keeps_null_pointer_checks } } } } */
|
|
/* { dg-final { scan-tree-dump-times "PREDICATE: p_\[0-9\]" 1 "vrp1" { target { keeps_null_pointer_checks } } } } */
|
|
/* { dg-final { cleanup-tree-dump "vrp1" } } */
|