| Tom Care | 52d861c | 2010-09-10 00:44:44 +0000 | [diff] [blame^] | 1 | // RUN: %clang_cc1 -analyze -analyzer-experimental-internal-checks -analyzer-check-objc-mem -analyzer-check-dead-stores -verify -Wno-unreachable-code -analyzer-opt-analyze-nested-blocks -analyzer-stats %s |
| 2 | |||||
| 3 | int foo(); | ||||
| 4 | |||||
| 5 | int test() { // expected-warning{{Total CFGBlocks}} | ||||
| 6 | int a = 1; | ||||
| 7 | a = 34 / 12; | ||||
| 8 | |||||
| 9 | if (foo()) | ||||
| 10 | return a; | ||||
| 11 | |||||
| 12 | a /= 4; | ||||
| 13 | return a; | ||||
| 14 | } | ||||