X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=warning.h;h=02290783d7c7653e508c4b30dcb1e4c5f600ce07;hb=45002a9bc0d85c57215aabd153e8a95825ece7d2;hp=743e420a3c4154b0f131546003e7f95fd71d7d31;hpb=67569659de101e005c876dbf18ae1a54a97c917e;p=cparser

diff --git a/warning.h b/warning.h
index 743e420..0229078 100644
--- 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 */