| Dominic Chen | 184c624 | 2017-03-03 18:02:02 +0000 | [diff] [blame] | 1 | // RUN: %clang_analyze_cc1 -analyzer-checker=debug.Stats -verify -Wno-unreachable-code %s |
| Matthias Gehre | 09a134e | 2015-11-14 00:36:50 +0000 | [diff] [blame] | 2 | |
| 3 | struct S { | ||||
| 4 | ~S(); | ||||
| 5 | }; | ||||
| 6 | |||||
| 7 | // the return at the end of an CompoundStmt does not lead to an unreachable block containing the dtors | ||||
| 8 | void test() { // expected-warning-re{{test -> Total CFGBlocks: {{[0-9]+}} | Unreachable CFGBlocks: 0 | Exhausted Block: no | Empty WorkList: yes}} | ||||
| 9 | S s; | ||||
| 10 | return; | ||||
| 11 | } | ||||