Ticket #10459: steptest.cpp

class A {
    public:
        A() { x = 0; };
        virtual ~A() { x = 5; };

    private:
        int x;
};

int a()
{
    int x = 0xabcdef;
    if (true)
    {
        A myA;
        if (x == 5)
            return 3;
        else if (x == 0xabcdef)
            return 12;
        else if (x == 12000)
            return 5;
    }

    return 17;
}


int main(int, char **)
{
    a();

    return 0;
}