[Bug tree-optimization/31037] [4.3 Regression] ICE: verify_ssa failed - definition in block 23 does not dominate use in block 32

[reichelt at gcc dot gnu dot org]

------- Comment #10 from reichelt at gcc dot gnu dot org  2007-05-27 11:03 
-------
A slightly reduced version of the testcase in comment #3
(crashes with "-O -fno-exceptions"):

=====================================
struct A
{
    A (const char *q) : p(q) {}
    const char *p;
};

struct B
{
    void foo(const A);
    B (const A a) { foo(a); }
    ~B();
};

const char str[] = "";

void bar();

int baz(int i)
{
    B b(str);

    if (i)
    {
        if (i == 1)
            ++i;
        bar();
    }

    if (i != 3)
        return 0;
    return 1;
}
=====================================


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31037