diff options
| author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2020-12-23 17:22:33 +0100 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2020-12-26 18:44:22 +0100 |
| commit | 73551e058a850297bc72924a69b39affcfa49dfa (patch) | |
| tree | 2a461533d1655004bc47f73af3ae4b2359c4acfa /cparser | |
| parent | d851af2536a093d9ff257df55a3a67a0f381a6b6 (diff) | |
| download | compcert-kvx-73551e058a850297bc72924a69b39affcfa49dfa.tar.gz compcert-kvx-73551e058a850297bc72924a69b39affcfa49dfa.zip | |
C parser: handle other built-in types than __builtin_va_list
All the built-in types declared in $ARCH/CBuiltins.ml are now recognized
as type names initially.
Diffstat (limited to 'cparser')
| -rw-r--r-- | cparser/Lexer.mll | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/cparser/Lexer.mll b/cparser/Lexer.mll index 881d411a..bce0e504 100644 --- a/cparser/Lexer.mll +++ b/cparser/Lexer.mll @@ -95,7 +95,8 @@ let () = (* We can ignore the __extension__ GCC keyword. *) ignored_keywords := SSet.add "__extension__" !ignored_keywords -let init_ctx = SSet.singleton "__builtin_va_list" +let init_ctx = SSet.of_list (List.map fst CBuiltins.builtins.C.builtin_typedefs) + let types_context : SSet.t ref = ref init_ctx let _ = |