Frama-C:
Plug-ins:
Libraries:

Frama-C API - GCCAlignof

  • since 32.0-Germanium
include SizeofInfo
val short : unit -> int
val int : unit -> int
val long : unit -> int
val longlong : unit -> int
val ptr : unit -> int
val float : unit -> int
val double : unit -> int
val longdouble : unit -> int
val void : unit -> int

might be -1 if unsupported in current machdep

val func : unit -> int

might be -1 if unsupported in current machdep

might be -1 if unsupported in current machdep

val aligned : unit -> int

might be -1 if unsupported in current machdep

val max : unit -> int

might be -1 if unsupported in current machdep

alignment for max_align_t. Note that:

  • it might not be the maximal alignment supported by the machine. For this, use max_extended_alignment.
  • if the machdep does not define it, the call warns (once) and it is computed as the maximum of the known alignment values.