Named return value sidesteps "unsafe stack variable returned"

[thetarnav]

Named return value sidesteps "unsafe stack variable returned"

code

foo :: proc () -> ^int {
	v: int
	return &v // It is unsafe to return the address of a local variable ('&v') from a procedure, as it uses the current stack frame's memory
}

bar :: proc () -> (p: ^int) {
	v: int
	p = &v
	return // no error
}

report

	Odin:    dev-2024-05:1e5267c8e
	OS:      Ubuntu 22.04.4 LTS, Linux 6.5.0-28-generic
	CPU:     Intel(R) Core(TM) i5-8265U CPU @ 1.60GHz
	RAM:     7631 MiB
	Backend: LLVM 17.0.6

[gingerBill]

This is extremely hard to check for because of how the compiler is set up.

[JesseRMeyer]

Worth tracking the issue anyway as a known deficiency.