[Webkit-unassigned] [Bug 247452] New: unhelpful error message for TableGrow

[bugzilla-daemon at webkit.org]

https://bugs.webkit.org/show_bug.cgi?id=247452

            Bug ID: 247452
           Summary: unhelpful error message for TableGrow
           Product: WebKit
           Version: WebKit Nightly Build
          Hardware: Unspecified
                OS: Unspecified
            Status: NEW
          Keywords: InRadar
          Severity: Normal
          Priority: P2
         Component: WebAssembly
          Assignee: webkit-unassigned at lists.webkit.org
          Reporter: d_degazio at apple.com

rdar://101241285

When typed function references are enabled, the TypeKind of the Funcref and Externref types becomes RefNull. This causes examples such as

    (module
      (type (;0;) (func (result i32)))
      (func (;0;) (type 0) (result i32)
        (local externref funcref)
        local.get 0
        i32.const 1
        table.grow 0)
      (table (;0;) 500 2000 funcref)
      (table (;1;) 500 2000 externref))

to result in unhelpful error messages like `table.grow expects fill value of type RefNull got RefNull, in function at index 0`. 

Since typed function references are just one instance of the WebAssembly type system becoming more complex in newer proposals, this is probably a good opportunity to improve our error messages in general to log more of the available type information.

-- 
You are receiving this mail because:
You are the assignee for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.webkit.org/pipermail/webkit-unassigned/attachments/20221103/a8494bf2/attachment.htm>