reference.cpp revision 565e465c6d0093f1bf8414b2cabdc842022385a9 
1// RUN: %clang_cc1 -analyze -analyzer-experimental-internal-checks -analyzer-check-objc-mem -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