diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-02-08 16:07:16 +0100 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-02-08 16:07:16 +0100 |
| commit | 42adde29c69ea99256a4303503dd5b30f978f172 (patch) | |
| tree | 83f6da1e73ce032ab611fc7139d5142a0bd5f46a /cparser/Cutil.mli | |
| parent | 6b0dbab6d1315ae3b0df26d034bce771f743af85 (diff) | |
| download | compcert-kvx-42adde29c69ea99256a4303503dd5b30f978f172.tar.gz compcert-kvx-42adde29c69ea99256a4303503dd5b30f978f172.zip | |
Revert broken change to Cutil.
The optional hex parameter only worked if the intconstant was also
of unsigned kind. Hence it is better to have one function in
Bitfields for this.
Diffstat (limited to 'cparser/Cutil.mli')
| -rw-r--r-- | cparser/Cutil.mli | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/cparser/Cutil.mli b/cparser/Cutil.mli index 4eaa9e4a..9d053717 100644 --- a/cparser/Cutil.mli +++ b/cparser/Cutil.mli @@ -238,8 +238,8 @@ val field_of_arrow_access: Env.t -> typ -> string -> field (* Constructors *) -val intconst : ?hex:bool -> int64 -> ikind -> exp - (* Build expression for given integer constant with optional hex string. *) +val intconst : int64 -> ikind -> exp + (* Build expression for given integer constant. *) val floatconst0 : exp (* Build expression for (double)0. *) val nullconst : exp |