can't parse __int128
Steps to reproduce the issue
Expected behaviour
Expect this to be processed:
__int128 i;
Actual behaviour
Get a syntax error:
syntax error:
Location: between <unknown> and 1:9, before or at token: v
1 __int128 v;
Contextual information
- Frama-C installation mode: Opam
- Frama-C version: 26
- Plug-in used: WP
- OS name: macOS
- OS version: 13.1