From 54cba6d4cae1538887f296a62be1c99378fe0916 Mon Sep 17 00:00:00 2001 From: xleroy Date: Wed, 3 Mar 2010 13:22:44 +0000 Subject: 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 --- driver/Clflags.ml | 3 --- driver/Driver.ml | 8 +------- 2 files changed, 1 insertion(+), 10 deletions(-) (limited to 'driver') diff --git a/driver/Clflags.ml b/driver/Clflags.ml index 79b233a..fcec4c6 100644 --- a/driver/Clflags.ml +++ b/driver/Clflags.ml @@ -20,9 +20,6 @@ let option_fstruct_passing = ref false let option_fstruct_assign = ref false let option_fbitfields = ref false let option_fvararg_calls = ref true -let all_extensions = - [option_fstruct_passing; option_fstruct_assign; option_fbitfields; - option_fvararg_calls; option_flonglong] let option_fmadd = ref false let option_dparse = ref false let option_dclight = ref false diff --git a/driver/Driver.ml b/driver/Driver.ml index a6b865c..2d8b026 100644 --- a/driver/Driver.ml +++ b/driver/Driver.ml @@ -220,8 +220,6 @@ Language support options (use -fno- to turn off -f) : -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 Set maximal size 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 -- cgit v1.2.3