From c167c00901b85bd4e66447958a10df612d17ea00 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Sat, 28 Dec 2013 10:20:50 +0000
Subject: More tolerance for functions declared without a prototype (option
 -funprototyped, on by default). Error if call to vararg function and
 -fvararg-calls is off.

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2389 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 driver/Clflags.ml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'driver/Clflags.ml')

diff --git a/driver/Clflags.ml b/driver/Clflags.ml
index 4f41bf67..4d6e3f63 100644
--- a/driver/Clflags.ml
+++ b/driver/Clflags.ml
@@ -19,6 +19,7 @@ let option_flongdouble = ref false
 let option_fstruct_return = ref false
 let option_fbitfields = ref false
 let option_fvararg_calls = ref true
+let option_funprototyped = ref true
 let option_fpacked_structs = ref false
 let option_ffpu = ref true
 let option_ffloatconstprop = ref 2
-- 
cgit