diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-04-14 16:18:46 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-04-14 16:18:46 +0200 |
| commit | e42febd5a88c2bf04227f1cd4ead947c51989ec1 (patch) | |
| tree | 0661131709c95dc77a5c0583f66caf219a84e8cf /cparser/Cutil.mli | |
| parent | 03ad26aa9d2762655b508f7142d0aed9916da83b (diff) | |
| parent | b597ce896a8a9cd7c3ed028a34e0612229d1a36a (diff) | |
| download | compcert-e42febd5a88c2bf04227f1cd4ead947c51989ec1.tar.gz compcert-e42febd5a88c2bf04227f1cd4ead947c51989ec1.zip | |
Merge branch 'dwarf' of /local/schommer/trunk/build/compcert.ppc/compcert into dwarf
Diffstat (limited to 'cparser/Cutil.mli')
| -rw-r--r-- | cparser/Cutil.mli | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/cparser/Cutil.mli b/cparser/Cutil.mli index deee9f08..9d41f8fa 100644 --- a/cparser/Cutil.mli +++ b/cparser/Cutil.mli @@ -94,6 +94,8 @@ val incomplete_type : Env.t -> typ -> bool 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 sizeof_fkind: fkind -> int + (* Return the size of the given float kind. *) val is_signed_ikind: ikind -> bool (* Return true if the given integer kind is signed, false if unsigned. *) |