### BTest baseline data generated by btest-diff. Do not edit. Use "btest -U/-u" to update. Requires BTest >= 0.63.
[debug/cfg-initial] Module 'Test'
digraph {
    0 [label="global value_ref<S> s = [$i=0];" xlabel="gen: [s: global value_ref<S> s = [$i=0];] in: [] out: [s: global value_ref<S> s = [$i=0];]"];
    1 [label="(*s).f();" xlabel="read: [s] write: [s] in: [s: global value_ref<S> s = [$i=0];] out: [s: global value_ref<S> s = [$i=0];] keep"];
    2 [label=start shape=Mdiamond xlabel="in: [] out: []"];
    3 [label="end <...>/local-struct-value.hlt:6:1-32:1" shape=triangle xlabel="in: [s: global value_ref<S> s = [$i=0];] out: [s: global value_ref<S> s = [$i=0];]"];
    4 [label="end <...>/local-struct-value.hlt:6:1-32:1" shape=triangle xlabel="in: [s: global value_ref<S> s = [$i=0];] out: [s: global value_ref<S> s = [$i=0];]"];
    2 -> 0 [label="0"];
    0 -> 1 [label="1"];
    1 -> 4 [label="2"];
    4 -> 3 [label="3"];
}
[debug/cfg-initial] Function 'S::f'
digraph {
    0 [label="self" xlabel="in: [] out: [] aliases: [ref]"];
    1 [label="(*self).print();" xlabel="read: [ref, self] write: [ref, self] in: [] out: [] keep"];
    2 [label="local strong_ref<S> ref = self" xlabel="read: [ref, self] gen: [ref: local strong_ref<S> ref = self] in: [] out: [ref: local strong_ref<S> ref = self] aliases: [self]"];
    3 [label="(*ref).i = 1;" xlabel="read: [ref, self] write: [ref, self] gen: [ref: (*ref).i = 1;] kill: [ref: local strong_ref<S> ref = self] in: [ref: local strong_ref<S> ref = self] out: [ref: (*ref).i = 1;]"];
    4 [label="(*self).print();" xlabel="read: [ref, self] write: [ref, self] in: [ref: (*ref).i = 1;] out: [ref: (*ref).i = 1;] keep"];
    5 [label="(*ref).i = 2;" xlabel="read: [ref, self] write: [ref, self] gen: [ref: (*ref).i = 2;] kill: [ref: (*ref).i = 1;] in: [ref: (*ref).i = 1;] out: [ref: (*ref).i = 2;]"];
    6 [label="(*self).print();" xlabel="read: [ref, self] write: [ref, self] in: [ref: (*ref).i = 2;] out: [ref: (*ref).i = 2;] keep"];
    7 [label=start shape=Mdiamond xlabel="in: [] out: []"];
    8 [label="end <...>/local-struct-value.hlt:20:20-27:1" shape=triangle xlabel="in: [] out: []"];
    9 [label="end <...>/local-struct-value.hlt:20:20-27:1" shape=triangle xlabel="kill: [ref: (*ref).i = 2;] in: [ref: (*ref).i = 2;] out: []"];
    7 -> 0 [label="0"];
    0 -> 1 [label="1"];
    1 -> 2 [label="2"];
    2 -> 3 [label="3"];
    3 -> 4 [label="4"];
    4 -> 5 [label="5"];
    5 -> 6 [label="6"];
    6 -> 9 [label="7"];
    9 -> 8 [label="8"];
}
[debug/cfg-initial] Module 'hilti'
digraph {
    0 [label=start shape=Mdiamond xlabel="in: [] out: []"];
    1 [label="end <...>/hilti.hlt:3:1-68:1" shape=triangle xlabel="in: [] out: []"];
    2 [label="end <...>/hilti.hlt:3:1-68:1" shape=triangle xlabel="in: [] out: []"];
    0 -> 2 [label="0"];
    2 -> 1 [label="1"];
}
0
1
2
