12 files changed:
--- /dev/null
+re2c: error: line 2, column 1: Bad code point: '0x110000'
--- /dev/null
+/*!re2c
+"\xFF\uFFFF\U0010FFFF\U00110000" {}
+*/
--- /dev/null
+re2c: error: line 2, column 1: Bad code point: '0xFFFF'
--- /dev/null
+re2c: error: line 2, column 1: Bad code point: '0xFFFF'
--- /dev/null
+/*!re2c
+"\xFF\uFFFF\U0010FFFF\U00110000" {}
+*/
--- /dev/null
+/*!re2c
+"\xFF\uFFFF\U0010FFFF\U00110000" {}
+*/
--- /dev/null
+re2c: error: line 2, column 1: Bad code point: '0x110000'
--- /dev/null
+/*!re2c
+"\xFF\uFFFF\U0010FFFF\U00110000" {}
+*/
--- /dev/null
+re2c: error: line 2, column 1: Bad code point: '0x10FFFF'
--- /dev/null
+/*!re2c
+"\xFF\uFFFF\U0010FFFF\U00110000" {}
+*/
--- /dev/null
+re2c: error: line 2, column 1: Bad code point: '0x110000'
--- /dev/null
+/*!re2c
+"\xFF\uFFFF\U0010FFFF\U00110000" {}
+*/