diff options
Diffstat (limited to 'arm/CBuiltins.ml')
-rw-r--r-- | arm/CBuiltins.ml | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/arm/CBuiltins.ml b/arm/CBuiltins.ml index ad739f1..a8583c8 100644 --- a/arm/CBuiltins.ml +++ b/arm/CBuiltins.ml @@ -18,7 +18,9 @@ open C let builtins = { - Builtins.typedefs = []; + Builtins.typedefs = [ + "__builtin_va_list", TPtr(TVoid [], []) + ]; Builtins.functions = [ (* Integer arithmetic *) "__builtin_bswap", @@ -44,3 +46,4 @@ let builtins = { ] } +let size_va_list = 4 |