Sign in
gnu
/
gcc
/
refs/heads/devel/c++-contracts
/
.
/
gcc
/
testsuite
/
gcc.dg
/
analyzer
/
symbolic-3.c
blob: da4cdbbc54c162090da1c5666b94960bee85b4e5 [
file
] [
log
] [
blame
]
#include
"analyzer-decls.h"
int
iarr
[
16
];
void
test_1
(
int
i
,
int
j
)
{
int
init_el_8
=
iarr
[
8
];
__analyzer_eval
(
init_el_8
==
iarr
[
8
]);
/* { dg-warning "TRUE" } */
iarr
[
i
]
=
j
;
__analyzer_eval
(
init_el_8
==
iarr
[
8
]);
/* { dg-warning "UNKNOWN" } */
}