FP: knownConditionTrueFalse does not account for possible exception

[Paul Cornett]

Regression since 1.90:

void g1();
void g2();
void g3();
void f()
{
        bool b = false;
        try {
                g1();
                b = true;
                g2();
        }
        catch (...) {
                if (b) {
                        g3();
                }
        }
}

t.cpp:13:7: note: Condition 'b' is always true

[versat]

Thank you for reporting this, I will create a ticket.

EDIT:
Created ticket: https://trac.cppcheck.net/ticket/9687 (closed as duplicate)

[Daniel Marjamäki]

Thanks!

I created this ticket: https://trac.cppcheck.net/ticket/9686#ticket

Very nice catch that you found this regression before release. 👍