scala-js
diff --git a/‎linker/shared/src/main/scala/org/scalajs/linker/backend/WebAssemblyLinkerBackend.scala
Lines changed: 0 additions & 5 deletions b/‎linker/shared/src/main/scala/org/scalajs/linker/backend/WebAssemblyLinkerBackend.scala
Lines changed: 0 additions & 5 deletions
diff --git a/‎linker/shared/src/main/scala/org/scalajs/linker/backend/wasmemitter/CoreWasmLib.scala
Lines changed: 24 additions & 0 deletions b/‎linker/shared/src/main/scala/org/scalajs/linker/backend/wasmemitter/CoreWasmLib.scala
Lines changed: 24 additions & 0 deletions
diff --git a/‎linker/shared/src/main/scala/org/scalajs/linker/backend/wasmemitter/Emitter.scala
Lines changed: 4 additions & 0 deletions b/‎linker/shared/src/main/scala/org/scalajs/linker/backend/wasmemitter/Emitter.scala
Lines changed: 4 additions & 0 deletions
@@ -36,11 +36,6 @@ final class WebAssemblyLinkerBackend(config: LinkerBackendImpl.Config)
     coreSpec.moduleKind == ModuleKind.ESModule,
     s"The WebAssembly backend only supports ES modules; was ${coreSpec.moduleKind}."
   )
-  require(
-    coreSpec.semantics.nullPointers == CheckedBehavior.Unchecked,
-    "The WebAssembly backend currently only supports CheckedBehavior.Unchecked semantics; " +
-    s"was ${coreSpec.semantics}."
-  )
   require(
     coreSpec.semantics.strictFloats,
     "The WebAssembly backend only supports strict float semantics."
 
@@ -621,6 +621,10 @@ class CoreWasmLib(coreSpec: CoreSpec) {
       genCheckedStringCharAt()
     }
 
+    if (semantics.nullPointers != CheckedBehavior.Unchecked) {
+      genThrowNullPointerException()
+    }
+
     if (semantics.moduleInit == CheckedBehavior.Fatal) {
       genThrowModuleInitError()
     }
@@ -1400,6 +1404,26 @@ class CoreWasmLib(coreSpec: CoreSpec) {
     fb.buildAndAddToModule()
   }
 
+  /** `throwNullPointerException: void -> void`.
+   *
+   *  This function always throws. It should be followed by an `unreachable`
+   *  statement.
+   */
+  private def genThrowNullPointerException()(implicit ctx: WasmContext): Unit = {
+    val typeDataType = RefType(genTypeID.typeData)
+
+    val fb = newFunctionBuilder(genFunctionID.throwNullPointerException)
+
+    maybeWrapInUBE(fb, semantics.arrayIndexOutOfBounds) {
+      genNewScalaClass(fb, NullPointerExceptionClass, NoArgConstructorName) {
+      }
+    }
+    fb += ExternConvertAny
+    fb += Throw(genTagID.exception)
+
+    fb.buildAndAddToModule()
+  }
+
   /** Generates the `arrayGet.x` functions. */
   private def genArrayGets()(implicit ctx: WasmContext): Unit = {
     for (baseRef <- arrayBaseRefs)
 
@@ -422,6 +422,10 @@ object Emitter {
             StringArgConstructorName)
       },
 
+      cond(nullPointers != Unchecked) {
+        instantiateClass(NullPointerExceptionClass, NoArgConstructorName)
+      },
+
       cond(stringIndexOutOfBounds != Unchecked) {
         instantiateClass(StringIndexOutOfBoundsExceptionClass,
             IntArgConstructorName)