diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/update_lit_checks.py | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/scripts/update_lit_checks.py b/scripts/update_lit_checks.py index b7b836e57..b93059427 100755 --- a/scripts/update_lit_checks.py +++ b/scripts/update_lit_checks.py @@ -40,6 +40,11 @@ MODULE_RE = re.compile(r'^\(module.*$', re.MULTILINE) ALL_ITEMS = '|'.join(['type', 'import', 'global', 'memory', 'data', 'table', 'elem', 'tag', 'export', 'start', 'func']) ITEM_NAME = r'\$?[^\s()]*|"[^\s()]*"' +# FIXME: This does not handle nested string contents. For example, +# (data (i32.const 10) "hello(") +# will look unterminated, due to the '(' inside the string. As a result, the +# code below will consider more elements after the |data| to be part of it, +# until it sees enough closing ')' symbols. ITEM_RE = re.compile(r'(?:^\s*\(rec\s*)?(^\s*)\((' + ALL_ITEMS + r')\s+(' + ITEM_NAME + ').*$', re.MULTILINE) |