Gitiles
Code Review
Sign In
gerrit-public.fairphone.software
/
platform
/
external
/
clang
/
9baf39df74caa56696b293e763fdd7ef002e51ca
/
.
/
test
/
Analysis
/
concrete-address.c
blob: f6c445ebf56e1b1c1f5f224af1386839d5612dd9 [
file
] [
log
] [
blame
]
// RUN: %clang_cc1 -analyze -analyzer-checker=core,experimental.core -analyzer-store=region -verify %s
void
foo
()
{
int
*
p
=
(
int
*)
0x10000
;
// Should not crash here.
*
p
=
3
;
}