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