Sign in
fuchsia
/
third_party
/
llvm-project
/
875fba9e9cf5e250fda51f5f5ac059a8b41e96ae
/
.
/
klee
/
test
/
regression
/
2008-05-23-gep-with-global-const.c
blob: 5e03ec1d53b98691bf7cd3d60da555219f86b277 [
file
] [
log
] [
blame
]
// RUN: %llvmgcc -O0 -c -o %t.bc %s
// RUN: %klee --exit-on-error %t.bc
#include
<assert.h>
int
a
;
int
main
()
{
void
*
p1
=
&((
char
*)
0
)[(
long
)
&
a
];
void
*
p2
=
&
a
;
assert
(
p1
==
p2
);
return
0
;
}