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.ml | |
| 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.ml')
| -rw-r--r-- | cparser/Cerrors.ml | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/cparser/Cerrors.ml b/cparser/Cerrors.ml index 9ca04a62..3263ecea 100644 --- a/cparser/Cerrors.ml +++ b/cparser/Cerrors.ml @@ -61,7 +61,7 @@ type warning_type = | Implicit_function_declaration | Pointer_type_mismatch | Compare_distinct_pointer_types - | Pedantic + | Implicit_int | Main_return_type | Invalid_noreturn | Return_type @@ -81,6 +81,7 @@ let active_warnings: warning_type list ref = ref [ Implicit_function_declaration; Pointer_type_mismatch; Compare_distinct_pointer_types; + Implicit_int; Main_return_type; Invalid_noreturn; Return_type; @@ -102,7 +103,7 @@ let string_of_warning = function | Implicit_function_declaration -> "implicit-function-declaration" | Pointer_type_mismatch -> "pointer-type-mismatch" | Compare_distinct_pointer_types -> "compare-distinct-pointer-types" - | Pedantic -> "pedantic" + | Implicit_int -> "implicit-int" | Main_return_type -> "main-return-type" | Invalid_noreturn -> "invalid-noreturn" | Return_type -> "return-type" @@ -140,7 +141,7 @@ let wall () = Implicit_function_declaration; Pointer_type_mismatch; Compare_distinct_pointer_types; - Pedantic; + Implicit_int; Main_return_type; Invalid_noreturn; Return_type; @@ -162,7 +163,7 @@ let werror () = Implicit_function_declaration; Pointer_type_mismatch; Compare_distinct_pointer_types; - Pedantic; + Implicit_int; Main_return_type; Invalid_noreturn; Return_type; @@ -282,7 +283,7 @@ let warning_options = error_option Implicit_function_declaration @ error_option Pointer_type_mismatch @ error_option Compare_distinct_pointer_types @ - error_option Pedantic @ + error_option Implicit_int @ error_option Main_return_type @ error_option Invalid_noreturn @ error_option Return_type @ |