dead-stores.cpp revision 4fcfde4d5c8f25e40720972a5543d538a0dcb220 
1// RUN: clang-cc -analyze -warn-dead-stores -verify %s
2// RUN: clang-cc -analyze -checker-cfref -analyzer-store=basic -analyzer-constraints=basic -warn-dead-stores -verify %s
3// RUN: clang-cc -analyze -checker-cfref -analyzer-store=basic -analyzer-constraints=range -warn-dead-stores -verify %s
4// RUN: clang-cc -analyze -checker-cfref -analyzer-store=region -analyzer-constraints=basic -warn-dead-stores -verify %s
5// RUN: clang-cc -analyze -checker-cfref -analyzer-store=region -analyzer-constraints=range -warn-dead-stores -verify %s
6
7int j;
8void f1() {
9  int x = 4;
10
11  ++x; // expected-warning{{never read}}
12
13  switch (j) {
14  case 1:
15    throw 1;
16    (void)x;
17    break;
18  }
19}
20