Browse Source

+ also test that pointers cannot be converted to externref implicitly

Nikolay Nikolov 2 years ago
parent
commit
7abe3eeb84

+ 1 - 1
tests/test/wasm/twasmexternref3.pp

@@ -8,7 +8,7 @@ var
   p: WasmExternRef;
   q: Pointer;
 begin
-  { WasmExternRef cannot be converted to pointer }
+  { WasmExternRef cannot be explicitly converted to pointer }
   q := Pointer(p);
 end;
 

+ 1 - 1
tests/test/wasm/twasmexternref3a.pp

@@ -8,7 +8,7 @@ var
   p: WasmExternRef;
   q: Pointer;
 begin
-  { A pointer cannot be converted to WasmExternRef }
+  { A pointer cannot be explicitly converted to WasmExternRef }
   p := WasmExternRef(q);
 end;
 

+ 16 - 0
tests/test/wasm/twasmexternref3b.pp

@@ -0,0 +1,16 @@
+{ %cpu=wasm32 }
+{ %fail }
+
+program twasmexternref3b;
+
+procedure testproc;
+var
+  p: WasmExternRef;
+  q: Pointer;
+begin
+  { WasmExternRef cannot be implicitly converted to pointer }
+  q := p;
+end;
+
+begin
+end.

+ 16 - 0
tests/test/wasm/twasmexternref3c.pp

@@ -0,0 +1,16 @@
+{ %cpu=wasm32 }
+{ %fail }
+
+program twasmexternref3c;
+
+procedure testproc;
+var
+  p: WasmExternRef;
+  q: Pointer;
+begin
+  { A pointer cannot be implicitly converted to WasmExternRef }
+  p := q;
+end;
+
+begin
+end.