Implement -Wdeclaration-after-statement.

[cparser] / warning.h

diff --git a/warning.h b/warning.h
index 743e420..0229078 100644 (file)
--- a/warning.h
+++ b/warning.h
@@ -31,13 +31,16 @@ typedef struct warning_t {
 #endif
        bool attribute:1;                     /**< Warn if an unexpected `__attribute__' is used or function attributes applied to variables, etc. */
        bool char_subscripts:1;               /**< Warn if an array subscript has the type 'char' */
-       bool check_format:1;                  /**< Check printf-style format strings */
+       bool format:1;                        /**< Check printf-style format strings */
+       bool nonnull:1;                       /**< Warn about passing a null pointer for arguments marked nonnull */
 #if 0 // TODO
        bool cast_align:1;                    /**< Warn whenever a pointer is cast such that the required alignment of the target is increased */
        bool cast_qual:1;                     /**< Warn whenever a pointer is cast so as to remove a type qualifier from the target type */
        bool conversion:1;                    /**< Warn if a prototype causes a type conversion that is different from what would happen to the same argument in the absence of a prototype */
+#endif
        bool declaration_after_statement:1;   /**< Warn when a declaration is found after a statement in a block */
-       bool deprecated_declarations:1;       /**< Warn about uses of functions, variables and types marked as deprecated by using the 'deprecated' attribute */
+       bool deprecated_declarations:1;       /* TODO implement for types */ /**< Warn about uses of functions, variables and types marked as deprecated by using the 'deprecated' attribute */
+#if 0 // TODO
        bool div_by_zero:1;                   /**< Warn about compile-time integer division by zero */
 #endif
        bool empty_statement:1;               /**< Warn about empty statements, i.e. lone ';'  */
@@ -71,9 +74,7 @@ typedef struct warning_t {
        bool pointer_arith:1;                 /**< Warn about anything that depends on the "size of" a function type or of 'void' */
 #endif
        bool redundant_decls:1;               /**< Warn about redundant declarations */
-#if 0 // TODO
-       bool return_type:1;                   /**< Warn about function definitions with a return-type that defaults to 'int'.  Also warn about any 'return' statement with no return-value in a function whose return-type is not 'void'. */
-#endif
+       bool return_type:1;                   /* TODO not fully implemented */ /**< Warn about function definitions with a return-type that defaults to 'int'.  Also warn about any 'return' statement with no return-value in a function whose return-type is not 'void'. */
        bool s_are_errors:1;                  /**< Treat warnings as errors */
 #if 0 // TODO
        bool sequence_point:1;                /**< Warn about code that may have undefined semantics because of violations of sequence point rules */
@@ -92,9 +93,7 @@ typedef struct warning_t {
        bool uninitialized:1;                 /**< Warn if an automatic variable is used without being initialized or if a variable may be clobbered by a 'setjmp' call. */
 #endif
        bool unknown_pragmas:1;               /**< Warn when a #pragma directive is encountered which is not understood */
-#if 0 // TODO
        bool unreachable_code:1;              /**< Warn if the compiler detects that code will never be executed */
-#endif
        bool unused_function:1;               /**< Warn whenever a static function is declared but not defined or a non-inline static function is unused */
        bool unused_label:1;                  /**< Warn whenever a label is declared but not used */
        bool unused_parameter:1;              /**< Warn whenever a function parameter is unused aside from its declaration */