Gitiles
Code Review
Sign In
gerrit-public.fairphone.software
/
fp2-dev
/
platform
/
external
/
clang
/
b79fe2d28777652a4df4f49dc876cbec060ca90e
/
.
/
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
;
}