X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=warning.h;h=196f43fe086efd118a02c56b809d579963a3b4f6;hb=4e6e0e20d15e96eaf0527aac168e393dea72eced;hp=6ebcd40bfdbd4ab4d94fc3f3d753bd5ab1eed6c2;hpb=1465a73b88bc8189d767535d74e6748e8ac0821e;p=cparser diff --git a/warning.h b/warning.h index 6ebcd40..196f43f 100644 --- a/warning.h +++ b/warning.h @@ -1,3 +1,22 @@ +/* + * This file is part of cparser. + * Copyright (C) 2007-2008 Matthias Braun + * + * This program is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * This program is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with this program; if not, write to the Free Software + * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA + * 02111-1307, USA. + */ #ifndef WARNING_H #define WARNING_H @@ -10,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 */ @@ -42,8 +63,8 @@ typedef struct warning_t { bool missing_noreturn:1; /**< Warn about functions which might be candidates for attribute 'noreturn' */ #endif bool missing_prototypes:1; /**< Warn if a global function is defined without a previous prototype declaration */ -#if 0 // TODO bool multichar:1; /**< Warn if a multicharacter constant ('FOOF') is used. */ +#if 0 // TODO bool nested_externs:1; /**< Warn if an 'extern' declaration is encountered within a function */ bool packed:1; /**< Warn if a structure is given the packed attribute, but the packed attribute has no effect on the layout or size of the structure */ bool padded:1; /**< Warn if padding is included in a structure, either to align an element of the structure or to align the whole structure */ @@ -51,14 +72,14 @@ 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 */ +#endif bool shadow:1; /**< Warn whenever a local variable shadows another local variable, parameter or global variable or whenever a built-in function is shadowed */ bool sign_compare:1; /**< Warn when a comparison between signed and unsigned values could produce an incorrect result when the signed value is converted to unsigned */ +#if 0 // TODO bool strict_aliasing:1; /**< Warn about code which might break the strict aliasing rules that the compiler is using for optimization. */ #endif bool strict_prototypes:1; /**< Warn if a function declaration has an unspecified parameter list */ @@ -70,14 +91,12 @@ 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 */ 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 */ - bool unused_variable:1; /**< Warn whenever a local variable or non-constant static variable is unused aside from its declaration */ -#endif bool unused_value:1; /**< Warn whenever a statement computes a result that is explicitly not used */ + bool unused_variable:1; /**< Warn whenever a local variable or non-constant static variable is unused aside from its declaration */ #if 0 // TODO bool write_strings:1; /**< Give string constants the type 'const char[LENGTH]' so that copying the address of one into a 'char *' pointer will get a warning */ #endif