| 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 | } |