diff options
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/doc/invoke.texi | 24 |
1 files changed, 16 insertions, 8 deletions
diff --git a/gcc/doc/invoke.texi b/gcc/doc/invoke.texi index 313f363..930c5dc 100644 --- a/gcc/doc/invoke.texi +++ b/gcc/doc/invoke.texi @@ -332,6 +332,7 @@ Objective-C and Objective-C++ Dialects}. -Wno-aggressive-loop-optimizations -Warith-conversion -Warray-bounds -Warray-bounds=@var{n} -Warray-compare +-Warray-parameter -Warray-parameter=@var{n} -Wno-attributes -Wattribute-alias=@var{n} -Wno-attribute-alias -Wno-attribute-warning -Wbidi-chars=@r{[}none@r{|}unpaired@r{|}any@r{|}ucn@r{]} @@ -8467,25 +8468,28 @@ bool same = arr1 == arr2; @option{-Warray-compare} is enabled by @option{-Wall}. @opindex Wno-array-parameter +@opindex Warray-parameter @item -Warray-parameter @itemx -Warray-parameter=@var{n} -Warn about redeclarations of functions involving arguments of array or +Warn about redeclarations of functions involving parameters of array or pointer types of inconsistent kinds or forms, and enable the detection of out-of-bounds accesses to such parameters by warnings such as @option{-Warray-bounds}. -If the first function declaration uses the array form the bound specified +If the first function declaration uses the array form for a parameter +declaration, the bound specified in the array is assumed to be the minimum number of elements expected to be provided in calls to the function and the maximum number of elements accessed by it. Failing to provide arguments of sufficient size or accessing more than the maximum number of elements may be diagnosed by warnings such -as @option{-Warray-bounds}. At level 1 the warning diagnoses inconsistencies +as @option{-Warray-bounds} or @option{-Wstringop-overflow}. +At level 1, the warning diagnoses inconsistencies involving array parameters declared using the @code{T[static N]} form. -For example, the warning triggers for the following redeclarations because -the first one allows an array of any size to be passed to @code{f} while -the second one with the keyword @code{static} specifies that the array -argument must have at least four elements. +For example, the warning triggers for the second declaration of @code{f} +because the first one with the keyword @code{static} specifies that +the array argument must have at least four elements, while the second +allows an array of any size to be passed to @code{f}. @smallexample void f (int[static 4]); @@ -8493,7 +8497,7 @@ void f (int[]); // warning (inconsistent array form) void g (void) @{ - int *p = (int *)malloc (4); + int *p = (int *)malloc (1 * sizeof (int)); f (p); // warning (array too small) @dots{} @} @@ -8514,6 +8518,10 @@ void g (int[8]); // warning (inconsistent array bound) @option{-Wvla-parameter} option triggers warnings for similar inconsistencies involving Variable Length Array arguments. +The short form of the option @option{-Warray-parameter} is equivalent to +@option{-Warray-parameter=2}. The negative form @option{-Wno-array-parameter} +is equivalent to @option{-Warray-parameter=0}. + @opindex Wattribute-alias @opindex Wno-attribute-alias @item -Wattribute-alias=@var{n} |