Sign in
fuchsia
/
third_party
/
llvm-project
/
64f305867da33959cb5d2e9854d3d8565735d37a
/
.
/
klee
/
test
/
Feature
/
DefineFixedObject.c
blob: 36822434aa173d65bda3ef5af84168487260e9e3 [
file
] [
log
] [
blame
]
// RUN: %llvmgcc -c -o %t1.bc %s
// RUN: %klee --exit-on-error %t1.bc
#include
<stdio.h>
#define
ADDRESS
((
int
*)
0x0080
)
int
main
()
{
klee_define_fixed_object
(
ADDRESS
,
4
);
int
*
p
=
ADDRESS
;
*
p
=
10
;
printf
(
"*p: %d\n"
,
*
p
);
return
0
;
}