Skip to content

Commit 817d927

Browse files
authored
fix JuliaLang#37267, disallow replacement characters (JuliaLang#37305)
1 parent 16b4b5c commit 817d927

File tree

1 file changed

+3
-2
lines changed

1 file changed

+3
-2
lines changed

src/flisp/julia_extensions.c

+3-2
Original file line numberDiff line numberDiff line change
@@ -70,8 +70,9 @@ static int is_wc_cat_id_start(uint32_t wc, utf8proc_category_t cat)
7070
cat == UTF8PROC_CATEGORY_LT || cat == UTF8PROC_CATEGORY_LM ||
7171
cat == UTF8PROC_CATEGORY_LO || cat == UTF8PROC_CATEGORY_NL ||
7272
cat == UTF8PROC_CATEGORY_SC || // allow currency symbols
73-
// other symbols, but not arrows
74-
(cat == UTF8PROC_CATEGORY_SO && !(wc >= 0x2190 && wc <= 0x21FF)) ||
73+
// other symbols, but not arrows or replacement characters
74+
(cat == UTF8PROC_CATEGORY_SO && !(wc >= 0x2190 && wc <= 0x21FF) &&
75+
wc != 0xfffc && wc != 0xfffd) ||
7576

7677
// math symbol (category Sm) whitelist
7778
(wc >= 0x2140 && wc <= 0x2a1c &&

0 commit comments

Comments
 (0)