reference.cpp revision 3cd8bd4226dc39dbeb729edab42afaf440a02ef2 
1// RUN: %clang_cc1 -analyze -analyzer-experimental-internal-checks -checker-cfref -analyzer-store=region -analyzer-constraints=range -verify %s
2
3void f1() {
4  int const &i = 3;
5  int b = i;
6
7  int *p = 0;
8
9  if (b != 3)
10    *p = 1; // no-warning
11}
12