diff options
| author |  xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2013-04-22 16:28:44 +0000 |
|---|---|---|
| committer | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2013-04-22 16:28:44 +0000 |
| commit | 945e1e3c0e601f711ab83f65333f4c2b9e713c99 (patch) | |
| tree | 1253f0d42b4a90d3bb19730c66e53519573296cb /driver | |
| parent | ad19ac07d798f16ab72d269010de8724353512e8 (diff) | |
driver: removed option -flonglong
test/c: added SHA3
cfrontend: support casts between long long and pointers, and comparisons between them.
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2213 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Diffstat (limited to 'driver')
| -rw-r--r-- | driver/Clflags.ml | 1 | ||||
| -rw-r--r-- | driver/Driver.ml | 6 |
2 files changed, 2 insertions, 5 deletions
diff --git a/driver/Clflags.ml b/driver/Clflags.ml index 619be1e..ea8e884 100644 --- a/driver/Clflags.ml +++ b/driver/Clflags.ml @@ -15,7 +15,6 @@ let prepro_options = ref ([]: string list) let linker_options = ref ([]: string list) let assembler_options = ref ([]: string list) -let option_flonglong = ref true let option_flongdouble = ref false let option_fstruct_return = ref false let option_fbitfields = ref false diff --git a/driver/Driver.ml b/driver/Driver.ml index eb0e004..e029aa2 100644 --- a/driver/Driver.ml +++ b/driver/Driver.ml @@ -379,7 +379,6 @@ Preprocessing options: -Wp,<opt> Pass option <opt> to the preprocessor Language support options (use -fno-<opt> to turn off -f<opt>) : -fbitfields Emulate bit fields in structs [off] - -flonglong Partial emulation of 'long long' types [on] -flongdouble Treat 'long double' as 'double' [off] -fstruct-return Emulate returning structs and unions by value [off] -fvararg-calls Emulate calls to variable-argument functions [on] @@ -416,7 +415,7 @@ Linking options: -L<dir> Add <dir> to search path for libraries -Wl,<opt> Pass option <opt> to the linker General options: - -stdlib <dir> Set the path of the Compcert run-time library [MacOS X only] + -stdlib <dir> Set the path of the Compcert run-time library -v Print external commands before invoking them Interpreter mode: -interp Execute given .c files using the reference interpreter @@ -427,7 +426,7 @@ Interpreter mode: " let language_support_options = [ - option_fbitfields; option_flonglong; option_flongdouble; + option_fbitfields; option_flongdouble; option_fstruct_return; option_fvararg_calls; option_fpacked_structs; option_finline_asm ] @@ -497,7 +496,6 @@ let cmdline_actions = "-fnone$", Self (fun _ -> List.iter (fun r -> r := false) language_support_options); ] - @ f_opt "longlong" option_flonglong @ f_opt "longdouble" option_flongdouble @ f_opt "struct-return" option_fstruct_return @ f_opt "bitfields" option_fbitfields |