diff options
Diffstat (limited to 'cparser/GCC.ml')
-rw-r--r-- | cparser/GCC.ml | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/cparser/GCC.ml b/cparser/GCC.ml index 17b718b4..1bcbbbc8 100644 --- a/cparser/GCC.ml +++ b/cparser/GCC.ml @@ -201,11 +201,6 @@ let builtins = { "__builtin_strncpy", (charPtrType, [ charPtrType; charConstPtrType; sizeType ], false); "__builtin_strspn", (intType, [ charConstPtrType; charConstPtrType ], false); "__builtin_strpbrk", (charPtrType, [ charConstPtrType; charConstPtrType ], false); - (* When we parse builtin_types_compatible_p, we change its interface *) - "__builtin_types_compatible_p", - (intType, [ uintType; (* Sizeof the type *) - uintType (* Sizeof the type *) ], - false); "__builtin_tan", (doubleType, [ doubleType ], false); "__builtin_tanf", (floatType, [ floatType ], false); "__builtin_tanl", (longDoubleType, [ longDoubleType ], false); |