From e237804b607c1d3bc8217d6f14a35c003f6c8fc7 Mon Sep 17 00:00:00 2001 From: Bernhard Schommer Date: Thu, 22 Sep 2016 10:58:41 +0200 Subject: Renamed pedantic to implicit-int. The only case where compcert raise a pedantic warning was for implicit int parameters. This is the behavior of clang. However since not all other pedantic warnings are supported the behavior of gcc is adopted. Bug 19872. --- cparser/Cerrors.mli | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'cparser/Cerrors.mli') diff --git a/cparser/Cerrors.mli b/cparser/Cerrors.mli index 1ef8bb21..56894c87 100644 --- a/cparser/Cerrors.mli +++ b/cparser/Cerrors.mli @@ -28,7 +28,7 @@ type warning_type = | Unnamed (** warnings which cannot be turned off *) | Unknown_attribute (** usage of unsupported/unknown attributes *) | Zero_length_array (** gnu extension for zero lenght arrays *) - | Celeven_extension (** C11 fetatures *) + | Celeven_extension (** C11 features *) | Gnu_empty_struct (** gnu extension for empty struct *) | Missing_declarations (** declation which do not declare anything *) | Constant_conversion (** dangerous constant conversions *) @@ -37,7 +37,7 @@ type warning_type = | Implicit_function_declaration (** deprecated implicit function declaration *) | Pointer_type_mismatch (** pointer type mismatch in ?: operator *) | Compare_distinct_pointer_types (** comparison between different pointer types *) - | Pedantic (** non C99 code *) + | Implicit_int (** implict int parameter or return type *) | Main_return_type (** wrong return type for main *) | Invalid_noreturn (** noreturn function containing return *) | Return_type (** void return in non-void function *) -- cgit