From 2b2585f39000f7000f296bc5b35c14e70f0c31fe Mon Sep 17 00:00:00 2001 From: Bernhard Schommer Date: Mon, 7 May 2018 20:09:54 +0200 Subject: Warning for extern declaration after definition. Warning for change of storage class after the definition of a function from default storage class to extern storage class. This only plays a role if the function is also declared inline, since for inline functions with default storage class no code is generated, but for inline functions with extern storage class code should be generated. Bug 23512 --- cparser/Diagnostics.mli | 1 + 1 file changed, 1 insertion(+) (limited to 'cparser/Diagnostics.mli') diff --git a/cparser/Diagnostics.mli b/cparser/Diagnostics.mli index ea8f2159..4f3aebe9 100644 --- a/cparser/Diagnostics.mli +++ b/cparser/Diagnostics.mli @@ -50,6 +50,7 @@ type warning_type = | Wrong_ais_parameter (** wrong parameter type for ais replacement *) | Unused_ais_parameter (** unused builtin ais parameter *) | Ignored_attributes (** attributes declarations after definition *) + | Extern_after_definition (** extern declaration after non-extern definition *) val warning : (string * int) -> warning_type -> ('a, Format.formatter, unit, unit, unit, unit) format6 -> 'a (** [warning (f,c) w fmt arg1 ... argN] formats the arguments [arg1] to [argN] as warining according to -- cgit