V8 correctness failure in configs: x64,ignition:x64,slow_path |
||||
Issue descriptionDetailed report: https://clusterfuzz.com/testcase?key=6223593619587072 Fuzzer: foozzie_js_mutation Job Type: v8_foozzie Platform Id: linux Crash Type: V8 correctness failure Crash Address: Crash State: configs: x64,ignition:x64,slow_path sources: 265 Sanitizer: address (ASAN) Regressed: https://clusterfuzz.com/revisions?job=v8_foozzie&range=56368:56369 Reproducer Testcase: https://clusterfuzz.com/download?testcase_id=6223593619587072 Issue filed automatically. See https://github.com/google/clusterfuzz-tools for more information.
,
Oct 29
,
Oct 29
Doesn't seem to related to NumberModules (interestingly). Simplified test case:
```js
// Flags: --allow-natives-syntax
function foo(x) {
return (x >>> 2147483648) + -6;
}
assertEquals(-6, foo(0));
assertEquals(-6, foo(0));
%OptimizeFunctionOnNextCall(foo);
assertEquals(4294967283, foo(-7));
```
,
Oct 29
,
Oct 29
This requires some expertise from jarin@, seems to be flushing out some issue in how we have the SpeculativeSafeIntegerAdd, since we incorrectly eliminate the overflow check on that one (generating just a `subl rax,6` here). Let's look into this together when you're back.
,
Oct 29
Issue 899749 has been merged into this issue.
,
Nov 7
ClusterFuzz testcase 5135891809697792 is verified as fixed, so closing issue as verified. If this is incorrect, please add ClusterFuzz-Wrong label and re-open the issue.
,
Nov 7
ClusterFuzz has detected this issue as fixed in range 57284:57285. Detailed report: https://clusterfuzz.com/testcase?key=6223593619587072 Fuzzer: foozzie_js_mutation Job Type: v8_foozzie Platform Id: linux Crash Type: V8 correctness failure Crash Address: Crash State: configs: x64,ignition:x64,slow_path sources: 265 Sanitizer: address (ASAN) Regressed: https://clusterfuzz.com/revisions?job=v8_foozzie&range=56368:56369 Fixed: https://clusterfuzz.com/revisions?job=v8_foozzie&range=57284:57285 Reproducer Testcase: https://clusterfuzz.com/download?testcase_id=6223593619587072 See https://github.com/google/clusterfuzz-tools for more information. If you suspect that the result above is incorrect, try re-doing that job on the test case report page. |
||||
►
Sign in to add a comment |
||||
Comment 1 by ClusterFuzz
, Oct 28Owner: bmeu...@chromium.org
Status: Assigned (was: Untriaged)