test/Analysis/conditional-op-missing-lhs.c

   1 // RUN: %clang_cc1 -analyze -analyzer-experimental-internal-checks -analyzer-check-dead-stores -warn-uninit-values -verify %s
   2
   3 void f1()
   4 {
   5   int i;
   6
   7   int j = i ? : 1; // expected-warning{{use of uninitialized variable}} //expected-warning{{Value stored to 'j' during its initialization is never read}}
   8 }
   9
  10 void *f2(int *i)
  11 {
  12   return i ? : 0;
  13 }
  14
  15 void *f3(int *i)
  16 {
  17   int a;
  18
  19   return &a ? : i;
  20 }
  21
  22 void f4()
  23 {
  24   char c[1 ? : 2];
  25 }
  26