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