| 1 | // RUN: %clang_analyze_cc1 -analyzer-checker=debug.Stats -verify -Wno-unreachable-code %s |
|---|---|
| 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 | } |
| 12 |