Skip to content

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

Additional information (optional)

Edited by Yurii Rashkovskii
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information