Sign in
llvm
/
clang
/
14db9fed7ce9427cefa9e066f41dd23b4073e464
/
.
/
test
/
Analysis
/
concrete-address.c
blob: 84ebb21805a2e0aca0d8abc7ce72a07b1a3e35dd [
file
] [
log
] [
blame
]
// RUN: clang-cc -analyze -checker-cfref -analyzer-store=basic --verify %s &&
// RUN: clang-cc -analyze -checker-cfref -analyzer-store=region --verify %s
void
foo
()
{
int
*
p
=
(
int
*)
0x10000
;
// Should not crash here.
*
p
=
3
;
}