Goose  Diff

Differences From Artifact [c8ebb038fa]:

• File bs/builtins/types/localvar/localvar.cpp — part of check-in [3a2f2c23ab] at 2019-08-08 23:24:19 on branch trunk — Implemented the assignation operator. (user: achavasse size: 1852)

To Artifact [ad004a46ca]:

• File bs/builtins/types/localvar/localvar.cpp — part of check-in [aee388d9c0] at 2019-08-09 19:54:22 on branch trunk — Cleanup: got rid of the half-assed location and poisoning systems in ir::Terms. (user: achavasse size: 1852)

58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73

    {
        auto t = FromValue< LocalVarType >( *ValueFromIRExpr( v.type() ) );
        if( !t )
            return nullopt;

        auto result = Decompose( v.val(),
            Vec(
                Val< uint64_t >(),
                Val< uint64_t >()
            )
        );

        if( !result )
            return nullopt;

        auto&& [cfgId,index] = *result;

|
|

58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73

    {
        auto t = FromValue< LocalVarType >( *ValueFromIRExpr( v.type() ) );
        if( !t )
            return nullopt;

        auto result = Decompose( v.val(),
            Vec(
                Val< uint32_t >(),
                Val< uint32_t >()
            )
        );

        if( !result )
            return nullopt;

        auto&& [cfgId,index] = *result;