diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-09-22 10:58:41 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-09-22 10:58:41 +0200 |
| commit | e237804b607c1d3bc8217d6f14a35c003f6c8fc7 (patch) | |
| tree | 5f3977778104e5640afda7c79cd9fd57d23457b6 /cparser/Cerrors.mli | |
| parent | 60402c551f309b3eb87f83f2b67906229f688625 (diff) | |
| download | compcert-e237804b607c1d3bc8217d6f14a35c003f6c8fc7.tar.gz compcert-e237804b607c1d3bc8217d6f14a35c003f6c8fc7.zip | |
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.
Diffstat (limited to 'cparser/Cerrors.mli')
| -rw-r--r-- | cparser/Cerrors.mli | 4 |
1 files changed, 2 insertions, 2 deletions
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 *) |