diff options
author | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2010-03-03 13:22:44 +0000 |
---|---|---|
committer | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2010-03-03 13:22:44 +0000 |
commit | 54cba6d4cae1538887f296a62be1c99378fe0916 (patch) | |
tree | 18e31413aa420490e37722f6f585d3f2f5277b40 /driver/Driver.ml | |
parent | 1e24932c5f5badcca3125b9c4c0df2ac113532bf (diff) | |
download | compcert-54cba6d4cae1538887f296a62be1c99378fe0916.tar.gz compcert-54cba6d4cae1538887f296a62be1c99378fe0916.zip |
Suppressed -fall-extensions option, too dangerous wrt flonglong
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1275 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Diffstat (limited to 'driver/Driver.ml')
-rw-r--r-- | driver/Driver.ml | 8 |
1 files changed, 1 insertions, 7 deletions
diff --git a/driver/Driver.ml b/driver/Driver.ml index a6b865cf..2d8b0266 100644 --- a/driver/Driver.ml +++ b/driver/Driver.ml @@ -220,8 +220,6 @@ Language support options (use -fno-<opt> to turn off -f<opt>) : -fstruct-passing Emulate passing structs and unions by value [off] -fstruct-assign Emulate assignment between structs or unions [off] -fvararg-calls Emulate calls to variable-argument functions [on] - -fall-extensions Activate all of the above - -fno-extensions Deactivate all of the above Code generation options: -fmadd Use fused multiply-add and multiply-sub instructions -fsmall-data <n> Set maximal size <n> for allocation in small data area @@ -316,11 +314,7 @@ let cmdline_actions = ".*\\.[oa]$", Self (fun s -> linker_options := s :: !linker_options); "-fsmall-data$", Integer(fun n -> option_small_data := n); - "-fsmall-const$", Integer(fun n -> option_small_const := n); - "-fno-extensions", Self (fun s -> - List.iter (fun r -> r := false) Clflags.all_extensions); - "-fall-extensions", Self (fun s -> - List.iter (fun r -> r := true) Clflags.all_extensions) + "-fsmall-const$", Integer(fun n -> option_small_const := n) ] @ f_opt "longlong" option_flonglong @ f_opt "struct-passing" option_fstruct_passing |