prevent ill-formed from int2char

sampsyo · Jun 16, 2023 · ec0f81b · ec0f81b
1 parent 17694fc
commit ec0f81b
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/brili.ts b/brili.ts
@@ -762,7 +762,7 @@ function evalInstr(instr: bril.Instruction, state: State): Action {
 
   case "int2char": {
     let i = getInt(instr, state.env, 0);
-    if(i > 1114111 || i < 0) {
+    if (i > 1114111 || i < 0 || (55295 < i && i < 57344)) {
       throw error(`value ${i} cannot be converted to char`);
     } 
     let val = String.fromCodePoint(Number(i));

diff --git a/test/interp-error/char-error/badconversion.bril b/test/interp-error/char-error/badconversion.bril
@@ -1,5 +1,5 @@
 @main {
-  i: int = const 1114112;
+  i: int = const 56193;
 
   c: char = int2char i;
 

diff --git a/test/interp-error/char-error/badconversion.err b/test/interp-error/char-error/badconversion.err
@@ -1 +1 @@
-error: value 1114112 cannot be converted to char
+error: value 56193 cannot be converted to char