Closed elgeeko1 closed 1 week ago
This has more or less been a known issue -- the casts being done here do not really make sense. This actually should be OK because we are casting from a 32-bit pointer to a 64-bit integer, and we can just work around it by tweaking the error reporting settings in the C compiler, but I don't know why we wouldn't just fix this the right way (by storing pointers in the priority queue instead of integers).
I provided a solution in PR #450.
Platform: Raspberry Pi 4B OS: Ubuntu 22.04 32-bit LF branch: either v0.7.2 or master
Build commands:
Expected output: happy build.
Observed output:
The same build steps work for linux/amd64, linux/arm64, and linux/riscv64.