The JavaScriptCore DFG JIT compiler likes to speculate on a lot of fast cases of JavaScript execution, like that integer additions don't overflow, bitwise operations don't create numbers that are not representable using signed 32-bit integers, etc. We only have limited test coverage for these cases, and that should be fixed.