119   extern bool check(const Dtor &);
124     if (coin() && (coin() || coin() || check(Dtor()))) {  in testPR16664andPR18159Crash()
149   extern bool check(const NoReturnDtor &);
154     if (i == 5 && (i == 4 || check(NoReturnDtor()) || i == 5)) {  in testConsistencyIf()
160     (i == 5 && (i == 4 || check(NoReturnDtor()) || i == 5)) ? 1 : 0;  in testConsistencyTernary()
167     (i == 5 && (i == 4 || check(NoReturnDtor()) || i == 5)) ? 1 : 0;  in testConsistencyTernary()
177     if (i == 5 && (i == 4 || i == 5 || check(NoReturnDtor())))  in testConsistencyNested()
180     if (i == 5 && (i == 4 || i == 5 || check(NoReturnDtor())))  in testConsistencyNested()
188                  compute(i == 5 && (i == 4 || check(NoReturnDtor()))))) ||  in testConsistencyNested()
195                  compute(i == 5 && (i == 4 || check(NoReturnDtor()))))) ||  in testConsistencyNested()
204       if (!value || check(NoReturnDtor())) {  in testConsistencyNestedSimple()
213       if (!value || !value || check(NoReturnDtor())) {  in testConsistencyNestedComplex()
222       if (!value || value || check(NoReturnDtor())) {  in testConsistencyNestedWarning()
230       if (!value || !value || check(NoReturnDtor()) || value) {  in testConsistencyNestedComplexMidBranch()
239       if (!value || (!value || check(NoReturnDtor()) || value)) {  in testConsistencyNestedComplexNestedBranch()
249       if (!other || !value || (other = false) || check(NoReturnDtor()) ||  in testConsistencyNestedVariableModification()
258       bool b = value && (value ? check(NoReturnDtor()) : true);  in testTernaryNoReturnTrueBranch()
264       bool b = !value && !value ? true : check(NoReturnDtor());  in testTernaryNoReturnFalseBranch()
270       bool b = !value && !value ? check(NoReturnDtor()) : true;  in testTernaryIgnoreNoreturnBranch()
276             check(NoReturnDtor());  in testTernaryTrueBranchReached()
279     value ? check(NoReturnDtor()) :  in testTernaryFalseBranchReached()
285       if (i < 3 && (i >= 2 || check(NoReturnDtor()))) {  in testLoop()
294         check(NoReturnDtor()) ||  in testRecursiveFrames()
302     []() { check(NoReturnDtor()); } != nullptr || check(Dtor());  in testLambdas()
306     ({ ++v; v == 10 || check(NoReturnDtor()); v == 42; }) || v == 23;  in testGnuExpressionStatements()
309     ({ ++v; check(NoReturnDtor()); v == 42; }) || v == 23;  in testGnuExpressionStatements()
316     (++v, check(NoReturnDtor()), v == 42),  in testGnuExpressionStatementsDestructionPoint()
321     ({ ++v; check(NoReturnDtor()); v == 42; }),  in testGnuExpressionStatementsDestructionPoint()
330       if (!value || check((NoReturnDtor(), Dtor())) || value) {  in testMultipleTemporaries()
338       if (false && false && check(NoReturnDtor()) && true) {  in testBinaryOperatorShortcut()
353       if (true) (void)0; else (void)check(NoReturnDtor());  in testIfAtEndOfLoop()
366       true ? (void)0 : (void)check(NoReturnDtor());  in testTernaryAtEndOfLoop()
371     check(Dtor()) &&  in testNoReturnInComplexCondition()
372         (check(NoReturnDtor()) || check(NoReturnDtor())) && check(Dtor());  in testNoReturnInComplexCondition()
377     b || (check(Dtor()), check(NoReturnDtor()));  in testSequencingOfConditionalTempDtors()
382     (b || check(Dtor())), check(NoReturnDtor());  in testSequencingOfConditionalTempDtors2()
387     b || (check(Dtor()) + check(NoReturnDtor()));  in testSequencingOfConditionalTempDtorsWithinBinaryOperators()
442   extern void check(int);
452     check(x); // Analyzer used to give a "x is uninitialized warning" here  in testNoWarning()