test/Analysis/reference.cpp

   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 }