we can safely enable set_opt_sel_based_null_check_elim() because we use Sel's only...

[cparser] / warning.h

diff --git a/warning.h b/warning.h
index a71aaec..3b3f22f 100644 (file)
--- a/warning.h
+++ b/warning.h
@@ -29,8 +29,10 @@ typedef struct warning_t {
        bool aggregate_return:1;              /**< Warn if any functions that return structures or unions are defined or called */
        bool bad_function_cast:1;             /**< Warn whenever a function call is cast to a non-matching type */
 #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 */