Memory leak caused by a wrong optimization

[vtereshkov]

The temporary reference holder variable that stores the returned value of foo() has been eliminated because this returned value has been immediately (?) assigned to p. However, p is of type T, not V, so the b' s reference count is not tracked.

type T = struct {x: int}
type V = struct {a: T; b: []int}

fn foo(): V {
        return {{42}, {}}
}

fn main() {
        p := foo().a
        printf("%v\n", p)   // {x: 42}
        
}  // Warning: Memory leak

[vtereshkov]

000000040      9                    PUSH_ZERO 2
000000041      9               PUSH_LOCAL_PTR -40        // Result of type V
000000042      9                         CALL foo (1)
000000043      9                     PUSH_REG 0
000000044      9               PUSH_LOCAL_PTR -80
000000045      9                 SWAP; ASSIGN struct 8   // Assignment of type T