<?xml version="1.0" encoding="UTF-8" standalone="yes" ?>
<!DOCTYPE bugzilla SYSTEM "https://bugs.webkit.org/page.cgi?id=bugzilla.dtd">

<bugzilla version="5.0.4.1"
          urlbase="https://bugs.webkit.org/"
          
          maintainer="admin@webkit.org"
>

    <bug>
          <bug_id>265678</bug_id>
          
          <creation_ts>2023-12-01 09:13:02 -0800</creation_ts>
          <short_desc>[Wasm-GC] Fix exception validation when using GC</short_desc>
          <delta_ts>2023-12-04 20:06:14 -0800</delta_ts>
          <reporter_accessible>1</reporter_accessible>
          <cclist_accessible>1</cclist_accessible>
          <classification_id>1</classification_id>
          <classification>Unclassified</classification>
          <product>WebKit</product>
          <component>WebAssembly</component>
          <version>WebKit Nightly Build</version>
          <rep_platform>Unspecified</rep_platform>
          <op_sys>Unspecified</op_sys>
          <bug_status>RESOLVED</bug_status>
          <resolution>FIXED</resolution>
          
          
          <bug_file_loc></bug_file_loc>
          <status_whiteboard></status_whiteboard>
          <keywords>InRadar</keywords>
          <priority>P2</priority>
          <bug_severity>Normal</bug_severity>
          <target_milestone>---</target_milestone>
          
          <blocked>247394</blocked>
          <everconfirmed>1</everconfirmed>
          <reporter name="Asumu Takikawa">asumu</reporter>
          <assigned_to name="Nobody">webkit-unassigned</assigned_to>
          <cc>bashorov</cc>
    
    <cc>webkit-bug-importer</cc>
          

      

      

      

          <comment_sort_order>oldest_to_newest</comment_sort_order>  
          <long_desc isprivate="0" >
    <commentid>1996253</commentid>
    <comment_count>0</comment_count>
    <who name="Asumu Takikawa">asumu</who>
    <bug_when>2023-12-01 09:13:02 -0800</bug_when>
    <thetext>There are a few small bugs related to exception validation when using Wasm GC. One is that exception signatures are checked only by type equality and not subtyping.

The other is that addCatchToUnreachable doesn&apos;t factor in Ref/RefNull types in its type switch for validation.</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>1996324</commentid>
    <comment_count>1</comment_count>
    <who name="Asumu Takikawa">asumu</who>
    <bug_when>2023-12-01 13:20:48 -0800</bug_when>
    <thetext>Pull request: https://github.com/WebKit/WebKit/pull/21182</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>1996972</commentid>
    <comment_count>2</comment_count>
    <who name="EWS">ews-feeder</who>
    <bug_when>2023-12-04 20:05:15 -0800</bug_when>
    <thetext>Committed 271527@main (34288ce1365e): &lt;https://commits.webkit.org/271527@main&gt;

Reviewed commits have been landed. Closing PR #21182 and removing active labels.</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>1996973</commentid>
    <comment_count>3</comment_count>
    <who name="Radar WebKit Bug Importer">webkit-bug-importer</who>
    <bug_when>2023-12-04 20:06:14 -0800</bug_when>
    <thetext>&lt;rdar://problem/119166812&gt;</thetext>
  </long_desc>
      
      

    </bug>

</bugzilla>