undefined behivior (in terms of the C standard) in libsql-sqlite3/src/vectorfloat16.c

[nevakrien]

I am not sure if this is intentional or not but if it is intentional I would expect some sort of comment documenting why this is the chosen implementation.

so in line 74 IN https://github.com/tursodatabase/libsql/blob/main/libsql-sqlite3/src/vectorfloat16.c#L74
there is a deference of an int pointer as float. In ansi C that's undefined behavior because it breaks strict aliasing.
The situation can be mostly remedied for c99+ by using a union instead of just a u32.

however I dont really have a clean solution for purely ansi C.