Commit 73551e05 authored by Xavier Leroy's avatar Xavier Leroy
Browse files

C parser: handle other built-in types than __builtin_va_list

All the built-in types declared in $ARCH/ are now recognized
as type names initially.
parent d851af25
......@@ -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 ( fst CBuiltins.builtins.C.builtin_typedefs)
let types_context : SSet.t ref = ref init_ctx
let _ =
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment