Merge branch 'named-structs'

- Switch CompCert C / Clight AST of composite types (structs and unions)
  from a structural representation to a nominal representation,
  closer to concrete syntax.
- This avoids algorithmic inefficiencies due to the structural representation.
- Closes PR#4.
- Smallstep: make small-step semantics more polymorphic in the type of the
  global environment.
- Globalenvs: introduce Senv.t (symbol environments) as a restricted view
  on Genv.t (full global environments).
- Events, Smallstep: use Senv instead of Genv to talk about global names.

1 files changed, 4 insertions, 2 deletions

diff --git a/cparser/Cutil.mli b/cparser/Cutil.mli
index bd52badf..b90dc897 100644
--- a/cparser/Cutil.mli
+++ b/cparser/Cutil.mli
@@ -89,11 +89,13 @@ val sizeof : Env.t -> typ -> int option
 val alignof : Env.t -> typ -> int option
   (* Return the natural alignment of the given type, in bytes.
      Machine-dependent. [None] is returned if the type is incomplete. *)
-val sizeof_ikind: ikind -> int
-  (* Return the size of the given integer kind. *)
 val incomplete_type : Env.t -> typ -> bool
   (* Return true if the given type is incomplete, e.g.
      declared but not defined struct or union, or array type  without a size. *)
+val sizeof_ikind: ikind -> int
+  (* Return the size of the given integer kind. *)
+val is_signed_ikind: ikind -> bool
+  (* Return true if the given integer kind is signed, false if unsigned. *)
 
 (* Computing composite_info records *)