When declaring an @(rodata, static) slice literal the fixed array backing is still mutable (compiles) but does not crash (which is desired)

minimal example

package test
import "core:fmt"
main :: proc() {
    @(rodata, static)
    data := [][]f64{{1, 2, 3, 4}, {5, 6, 7, 8, 9, 10}}
    fmt.println(data[0][0]) // 1
    data[0][0] = 42 // will compile, but NOT crash at runtime
    fmt.println(data[0][0]) // 42
}

Issue: when declaring an @(rodata, static) slice literal the fixed array backing is still considered mutable by the compiler but does NOT crash at runtime

Desired

Compiler should error (if possible) when trying to mutate a slice literal but should at least crash at runtime if compiler passes it

compiler command

odin run . or odin build .

system info

Odin 2025-01
Windows
LLVM 18.1.8

suggested labels

?

[jasonKercher]

I think he uploaded the wrong example. The one he uploaded works as expected. This does not:

package test
import "core:fmt"
main :: proc() {
    @(rodata, static)
    data := [][]f64{{1, 2, 3, 4}, {5, 6, 7, 8, 9, 10}}
    fmt.println(data[0][0]) // 1
    data[0][0] = 42
    fmt.println(data[0][0]) // 42
}

[gingerBill]

This is weird since it is generated correctly:

@"test::data" = weak constant { ptr, i64 } { ptr @"csba$test-builtin$2", i64 2 }

So I don't know why it isn't in a read-only data section.