Sign in
gnu
/
gcc
/
refs/heads/devel/c++-contracts
/
.
/
gcc
/
testsuite
/
gcc.dg
/
analyzer
/
fold-string-to-char.c
blob: 46139216bbac36f2a922deb57943194b89c6f33d [
file
] [
log
] [
blame
]
#include
"analyzer-decls.h"
void
test_1
(
void
)
{
char
str
[]
=
"Hello"
;
char
*
ptr
=
str
;
__analyzer_eval
(
ptr
[
0
]
==
'H'
);
/* { dg-warning "TRUE" } */
}