package goblint-cil

  1. Overview
  2. Docs
package goblint-cil
Legend:
Library
Module
Module type
Parameter
Class
Class type
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_float128 : int;
  17. sizeof_floatcomplex : int;
  18. sizeof_doublecomplex : int;
  19. sizeof_longdoublecomplex : int;
  20. sizeof_float128complex : int;
  21. sizeof_void : int;
  22. sizeof_fun : int;
  23. size_t : string;
  24. wchar_t : string;
  25. char16_t : string;
  26. char32_t : string;
  27. alignof_short : int;
  28. alignof_int : int;
  29. alignof_bool : int;
  30. alignof_long : int;
  31. alignof_longlong : int;
  32. alignof_ptr : int;
  33. alignof_enum : int;
  34. alignof_float : int;
  35. alignof_float32x : int;
  36. alignof_float64x : int;
  37. alignof_double : int;
  38. alignof_longdouble : int;
  39. alignof_float128 : int;
  40. alignof_floatcomplex : int;
  41. alignof_doublecomplex : int;
  42. alignof_longdoublecomplex : int;
  43. alignof_float128complex : int;
  44. alignof_str : int;
  45. alignof_fun : int;
  46. alignof_aligned : int;
  47. char_is_unsigned : bool;
  48. little_endian : bool;
  49. __thread_is_keyword : bool;
  50. __builtin_va_list : bool;
}
val gcc : mach
val theMachine : mach Stdlib.ref