package goblint-cil

  1. Overview
  2. Docs
type mach = {
  1. version_major : int;
  2. version_minor : int;
  3. version : string;
  4. underscore_name : bool;
  5. sizeof_short : int;
  6. sizeof_int : int;
  7. sizeof_bool : int;
  8. sizeof_long : int;
  9. sizeof_longlong : int;
  10. sizeof_ptr : int;
  11. sizeof_float : int;
  12. sizeof_float32x : int;
  13. sizeof_float64x : int;
  14. sizeof_double : int;
  15. sizeof_longdouble : int;
  16. sizeof_floatcomplex : int;
  17. sizeof_doublecomplex : int;
  18. sizeof_longdoublecomplex : int;
  19. sizeof_void : int;
  20. sizeof_fun : int;
  21. size_t : string;
  22. wchar_t : string;
  23. char16_t : string;
  24. char32_t : string;
  25. alignof_short : int;
  26. alignof_int : int;
  27. alignof_bool : int;
  28. alignof_long : int;
  29. alignof_longlong : int;
  30. alignof_ptr : int;
  31. alignof_enum : int;
  32. alignof_float : int;
  33. alignof_float32x : int;
  34. alignof_float64x : int;
  35. alignof_double : int;
  36. alignof_longdouble : int;
  37. alignof_floatcomplex : int;
  38. alignof_doublecomplex : int;
  39. alignof_longdoublecomplex : int;
  40. alignof_str : int;
  41. alignof_fun : int;
  42. alignof_aligned : int;
  43. char_is_unsigned : bool;
  44. little_endian : bool;
  45. __thread_is_keyword : bool;
  46. __builtin_va_list : bool;
}
val gcc : mach
val theMachine : mach ref
OCaml

Innovation. Community. Security.