David Blaikie 9fd28f7304 Lower return expr; for value return forms of class type (#7908) ...

A function with a value return form, such as `->? form(val C)`, is
lowered to return the value representation of `C`: a pointer for types
with a pointer value representation. However, lowering of `ReturnExpr`
re-derived the return convention independently of the function's
signature, and assumed that any returned value expression was a
`returned var`, taking the initializing-return path. For types with an
in-place initializing representation, that tried to initialize a
nonexistent return slot and crashed. (This only appeared to work for
types like `i32`, whose by-copy initializing representation happens to
match the value representation.)

Fix this by recording how the function returns its result -- `void`, by
copy, by reference, in place via an `sret` parameter, or as the entry
point's implicit `i32` -- as a `ReturnKind` in `FunctionTypeInfo` and
`FunctionInfo` when the signature is lowered, and having the `Return`
and `ReturnExpr` handlers switch on it. This keeps the signature and the
`return` lowering in agreement by construction, and replaces the
`IsEntryPoint` check in `Return` lowering.

2026-10-08 19:52:12 +00:00

..

call

Lower return expr; for value return forms of class type (#7908)

2026-10-08 19:52:12 +00:00

declaration

roll llvm to 7024b9e1b423b3c3c6ac76ab6a73cb2c9e4ef842 (#7781)

2026-09-14 21:54:09 +00:00

definition

Classify decorated built-in types as trivially destructible (#7847)

2026-09-28 23:16:19 +00:00

generic

Add a Core.Array class type, and make array refer to it. (#7892)

2026-10-06 17:23:49 +00:00