At first I misread that as void testSequencingOfConditionalTempDtors(bool b) { (b || check(Dtor())), check(NoReturnDtor()); clang_analyzer_warnIfReached(); // expected-warning{{REACHABLE}} } which should NOT be reachable. That's probably also a good test case. The comma operator is a real pain. http://reviews.llvm.org/D3627