Sign in
gnu
/
gcc
/
e0a7a6752dad7848eb4b29b826a551c0992256ec
/
.
/
gcc
/
testsuite
/
gcc.dg
/
analyzer
/
symbolic-8.c
blob: f9c3596cbbcc99a3fdaad016d676736c5ef82ef6 [
file
] [
log
] [
blame
]
/* Merger where "arr" has two different symbolic bindings. */
void
test
(
int
i
,
int
j
,
int
flag
)
{
int
arr
[
16
];
if
(
flag
)
arr
[
i
]
=
42
;
else
arr
[
j
]
=
17
;
}