1 // RUN: %clang_cc1 -analyze -analyzer-experimental-internal-checks -analyzer-check-objc-mem -analyzer-store=region -analyzer-constraints=range -verify %s
2
3 void 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