Goose  Diff

Differences From Artifact [320be31af5]:

• File bs/compiler.cpp — part of check-in [5e72e8e08c] at 2019-10-09 19:21:29 on branch trunk — Some renaming for consistency and to match commonly used names for those things. (user: achavasse size: 3568)

To Artifact [ab1d8c176b]:

• File bs/compiler.cpp — part of check-in [b414bc18df] at 2019-10-12 17:25:06 on branch trunk — Verifier: use z3 push/pop to check assertions one at a time, so that we can find and report multiple errors in the same function. (user: achavasse size: 3566)

122
123
124
125
126
127
128
129
130
131
132
133

        p.emitTerminator( llr::Ret() );

        if( returnType == GetValueType< void >() )
            p.emitTerminator( llr::Ret() );
    }

    verify::Func fv( cfg );
    if( !fv.validate() )
        return nullptr;

    return cfg;
}

|

122
123
124
125
126
127
128
129
130
131
132
133

        p.emitTerminator( llr::Ret() );

        if( returnType == GetValueType< void >() )
            p.emitTerminator( llr::Ret() );
    }

    verify::Func fv( cfg );
    if( !fv.verify() )
        return nullptr;

    return cfg;
}