cfallin opened issue #3191:
The Cranelift interpreter appears not to properly handle an overflow (from e.g.
INT_MIN / -1
), resulting in a panic rather than an explicit error type returned to the caller. Found via fuzzing.In the implementation here, it appears that we need to check for this case specifically.
cfallin commented on issue #3191:
cc @abrown
abrown commented on issue #3191:
also cc: @afonso360
abrown closed issue #3191:
The Cranelift interpreter appears not to properly handle an overflow (from e.g.
INT_MIN / -1
), resulting in a panic rather than an explicit error type returned to the caller. Found via fuzzing.In the implementation here, it appears that we need to check for this case specifically.
Last updated: Dec 23 2024 at 13:07 UTC