An error occurred while fetching folder content.
Basile Desloges
authored
The builtins `__builtin_types_compatible_p` and `__builtin_va_arg` need a type as argument. Frama-C converts them to an expression to be able to type the builtin call. This commit change the conversion in `cparser.mly` from a sizeof on the type to a cast with a marker indicating from which builtin the argument is coming from. This allows `cabs2cil` to type this expression differently than a regular cast or sizeof.
Name | Last commit | Last update |
---|