Sign in
gnu
/
gcc
/
1ba7adabf29eb671e418692fad076ea6edd08e3d
/
.
/
gcc
/
testsuite
/
gcc.dg
/
tree-ssa
/
pr78153-1.c
blob: 2530ba08e1ca53fd7df7d467b2da5602f42f6fe0 [
file
] [
log
] [
blame
]
/* { dg-do compile } */
/* { dg-options "-O2 -fdump-tree-evrp-slim" } */
void
f
(
const
char
*
s
)
{
if
(
__PTRDIFF_MAX__
<=
__builtin_strlen
(
s
))
__builtin_abort
();
}
/* { dg-final { scan-tree-dump-not "__builtin_abort" "evrp" } } */