Stream: git-wasmtime

Topic: wasmtime / issue #5100 egraphs fuzzbug: "assertion failed...


view this post on Zulip Wasmtime GitHub notifications bot (Oct 22 2022 at 17:28):

cfallin opened issue #5100:

On spectests fuzz target, with input (base64'd)

ICAgIP//ICAgICAg//8gICAgICAgICAgIP8gICAgICAgIP8gICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIAAa

we get

  assertion failed: self.values[v].ty().is_invalid()
  cranelift_codegen::egraph::FuncEGraph::elaborate::h6d3baada5c13884e
  cranelift_codegen::context::Context::optimize::hd81b91acfa46eca1

I suspect this is an issue related to recent optimizations and is probably an easy fix; I'll take a look on Monday.

OSS-Fuzz issue 52640

view this post on Zulip Wasmtime GitHub notifications bot (Oct 22 2022 at 17:32):

afonso360 commented on issue #5100:

It looks like cranelift-fuzzgen found the same issue, I just filed a similar bug report in #5099!

view this post on Zulip Wasmtime GitHub notifications bot (Oct 22 2022 at 17:34):

cfallin commented on issue #5100:

Ah, and your bug report is much more useful with a CLIF input too -- thanks!

view this post on Zulip Wasmtime GitHub notifications bot (Oct 25 2022 at 05:22):

cfallin closed issue #5100:

On spectests fuzz target, with input (base64'd)

ICAgIP//ICAgICAg//8gICAgICAgICAgIP8gICAgICAgIP8gICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIAAa

we get

  assertion failed: self.values[v].ty().is_invalid()
  cranelift_codegen::egraph::FuncEGraph::elaborate::h6d3baada5c13884e
  cranelift_codegen::context::Context::optimize::hd81b91acfa46eca1

I suspect this is an issue related to recent optimizations and is probably an easy fix; I'll take a look on Monday.

OSS-Fuzz issue 52640


Last updated: Dec 23 2024 at 12:05 UTC