gcc/testsuite/g++.dg/analyzer/pr96643.C

   1 /* { dg-additional-options "-O1" } */
   2
   3 int l0;
   4
   5 class qv {
   6 public:
   7   int operator[] (int b1) const { return k2[b1]; }
   8
   9 private:
  10   int *k2;
  11 };
  12
  13 class g0 {
  14   qv nf, v6;
  15
  16   void
  17   iq ();
  18 };
  19
  20 void
  21 g0::iq ()
  22 {
  23   for (;;)
  24     if (nf[0] == 0)
  25       ++l0;
  26 }