Sign in
gnu
/
gcc
/
ec7c796de020cb5cd955aa5b26c92b1da49d6076
/
.
/
gcc
/
testsuite
/
gcc.dg
/
tree-ssa
/
vrp-float-signbit-3.c
blob: 182a33fca6e324abded473a0e2f1109fa337794f [
file
] [
log
] [
blame
]
// { dg-do compile }
// { dg-options "-O2 -ffinite-math-only -fdump-tree-evrp" }
void
link_error
();
void
foo
(
float
x
)
{
if
(
__builtin_signbit
(
x
))
{
if
(
x
>
0.0
)
link_error
();
}
}
// { dg-final { scan-tree-dump-not "link_error" "evrp" } }