Suggestions-and-Issues icon indicating copy to clipboard operation
Suggestions-and-Issues copied to clipboard

[Bug]: [ALPHA] Static evaluator crash when width=64

Open altrag opened this issue 1 year ago • 0 comments

Discord Thread

https://discord.com/channels/828292123936948244/1308000245409386517

What happened?

I was trying to create (1<<width)-1 (ie: largest unsigned value for a given bit width) and it just fails outright at 64 (returns zero. As best I can tell it's just truncating at 6 bits and giving me (1<<0)-1).

So I tried to be clever using (1 << (width - 1)) + ((1 << (width - 1)) - 1) and the game crashes with the following console message:

fatal.nim(54)            sysFatal
Error: unhandled exception: over- or underflow [OverflowDefect]

It works fine for bit widths up to 63. I suspect this will be naturally fixed (or at least moved to a higher breakpoint!) if/when the anticipated 512-bit support is available, but figured I'd report it anyway.

Version

0.1220 Beta

What OSes are you seeing the problem on?

Windows

Relevant debug.log output, search next to the exectuable

No response

altrag avatar Nov 18 '24 09:11 altrag