aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--toolchain/gcc/patches/11.2.0/400-v11.3.0-bogus-Wvla-parameter.patch192
1 files changed, 192 insertions, 0 deletions
diff --git a/toolchain/gcc/patches/11.2.0/400-v11.3.0-bogus-Wvla-parameter.patch b/toolchain/gcc/patches/11.2.0/400-v11.3.0-bogus-Wvla-parameter.patch
new file mode 100644
index 0000000000..443839f81b
--- /dev/null
+++ b/toolchain/gcc/patches/11.2.0/400-v11.3.0-bogus-Wvla-parameter.patch
@@ -0,0 +1,192 @@
+From 7d3f53c595e1766ca0494e5f56f33b0ce49b3bb4 Mon Sep 17 00:00:00 2001
+From: Martin Sebor <msebor@redhat.com>
+Date: Thu, 15 Jul 2021 10:11:23 -0600
+Subject: [PATCH] Avoid -Wvla-parameter for nontrivial bounds [PR97548].
+
+Resolves:
+PR c/101289 - bogus -Wvla-paramater warning when using const for vla param
+PR c/97548 - bogus -Wvla-parameter on a bound expression involving a parameter
+
+gcc/c-family/ChangeLog:
+
+ PR c/101289
+ PR c/97548
+ * c-warn.c (warn_parm_array_mismatch): Use OEP_DECL_NAME.
+
+gcc/c/ChangeLog:
+
+ PR c/101289
+ PR c/97548
+ * c-decl.c (get_parm_array_spec): Strip nops.
+
+gcc/ChangeLog:
+
+ PR c/101289
+ PR c/97548
+ * fold-const.c (operand_compare::operand_equal_p): Handle OEP_DECL_NAME.
+ (operand_compare::verify_hash_value): Same.
+ * tree-core.h (OEP_DECL_NAME): New.
+
+gcc/testsuite/ChangeLog:
+
+ * gcc.dg/Wvla-parameter-12.c: New test.
+---
+ gcc/c-family/c-warn.c | 3 +-
+ gcc/c/c-decl.c | 1 +
+ gcc/fold-const.c | 33 ++++++++++++++++------
+ gcc/testsuite/gcc.dg/Wvla-parameter-12.c | 36 ++++++++++++++++++++++++
+ gcc/tree-core.h | 7 ++++-
+ 5 files changed, 69 insertions(+), 11 deletions(-)
+ create mode 100644 gcc/testsuite/gcc.dg/Wvla-parameter-12.c
+
+diff --git a/gcc/c-family/c-warn.c b/gcc/c-family/c-warn.c
+index 7414063aa11..250da89a829 100644
+--- a/gcc/c-family/c-warn.c
++++ b/gcc/c-family/c-warn.c
+@@ -3646,7 +3646,8 @@ warn_parm_array_mismatch (location_t origloc, tree fndecl, tree newparms)
+ /* The VLA bounds don't refer to other function parameters.
+ Compare them lexicographically to detect gross mismatches
+ such as between T[foo()] and T[bar()]. */
+- if (operand_equal_p (newbnd, curbnd, OEP_LEXICOGRAPHIC))
++ if (operand_equal_p (newbnd, curbnd,
++ OEP_DECL_NAME | OEP_LEXICOGRAPHIC))
+ continue;
+
+ if (warning_at (newloc, OPT_Wvla_parameter,
+diff --git a/gcc/c/c-decl.c b/gcc/c/c-decl.c
+index 53b2b5b637d..ddef9c68fb7 100644
+--- a/gcc/c/c-decl.c
++++ b/gcc/c/c-decl.c
+@@ -5862,6 +5862,7 @@ get_parm_array_spec (const struct c_parm *parm, tree attrs)
+
+ /* Each variable VLA bound is represented by a dollar sign. */
+ spec += "$";
++ STRIP_NOPS (nelts);
+ vbchain = tree_cons (NULL_TREE, nelts, vbchain);
+ }
+
+diff --git a/gcc/fold-const.c b/gcc/fold-const.c
+index a1d08c74025..f5c19a0cfd4 100644
+--- a/gcc/fold-const.c
++++ b/gcc/fold-const.c
+@@ -3506,11 +3506,26 @@ operand_compare::operand_equal_p (const_tree arg0, const_tree arg1,
+
+ case tcc_declaration:
+ /* Consider __builtin_sqrt equal to sqrt. */
+- return (TREE_CODE (arg0) == FUNCTION_DECL
+- && fndecl_built_in_p (arg0) && fndecl_built_in_p (arg1)
+- && DECL_BUILT_IN_CLASS (arg0) == DECL_BUILT_IN_CLASS (arg1)
+- && (DECL_UNCHECKED_FUNCTION_CODE (arg0)
+- == DECL_UNCHECKED_FUNCTION_CODE (arg1)));
++ if (TREE_CODE (arg0) == FUNCTION_DECL)
++ return (fndecl_built_in_p (arg0) && fndecl_built_in_p (arg1)
++ && DECL_BUILT_IN_CLASS (arg0) == DECL_BUILT_IN_CLASS (arg1)
++ && (DECL_UNCHECKED_FUNCTION_CODE (arg0)
++ == DECL_UNCHECKED_FUNCTION_CODE (arg1)));
++
++ if (DECL_P (arg0)
++ && (flags & OEP_DECL_NAME)
++ && (flags & OEP_LEXICOGRAPHIC))
++ {
++ /* Consider decls with the same name equal. The caller needs
++ to make sure they refer to the same entity (such as a function
++ formal parameter). */
++ tree a0name = DECL_NAME (arg0);
++ tree a1name = DECL_NAME (arg1);
++ const char *a0ns = a0name ? IDENTIFIER_POINTER (a0name) : NULL;
++ const char *a1ns = a1name ? IDENTIFIER_POINTER (a1name) : NULL;
++ return a0ns && a1ns && strcmp (a0ns, a1ns) == 0;
++ }
++ return false;
+
+ case tcc_exceptional:
+ if (TREE_CODE (arg0) == CONSTRUCTOR)
+@@ -3921,14 +3936,14 @@ bool
+ operand_compare::verify_hash_value (const_tree arg0, const_tree arg1,
+ unsigned int flags, bool *ret)
+ {
+- /* When checking, verify at the outermost operand_equal_p call that
+- if operand_equal_p returns non-zero then ARG0 and ARG1 has the same
+- hash value. */
++ /* When checking and unless comparing DECL names, verify that if
++ the outermost operand_equal_p call returns non-zero then ARG0
++ and ARG1 have the same hash value. */
+ if (flag_checking && !(flags & OEP_NO_HASH_CHECK))
+ {
+ if (operand_equal_p (arg0, arg1, flags | OEP_NO_HASH_CHECK))
+ {
+- if (arg0 != arg1)
++ if (arg0 != arg1 && !(flags & OEP_DECL_NAME))
+ {
+ inchash::hash hstate0 (0), hstate1 (0);
+ hash_operand (arg0, hstate0, flags | OEP_HASH_CHECK);
+diff --git a/gcc/testsuite/gcc.dg/Wvla-parameter-12.c b/gcc/testsuite/gcc.dg/Wvla-parameter-12.c
+new file mode 100644
+index 00000000000..1be5e48203b
+--- /dev/null
++++ b/gcc/testsuite/gcc.dg/Wvla-parameter-12.c
+@@ -0,0 +1,36 @@
++/* PR c/101289 - bogus -Wvla-parameter warning when using const bound
++ { dg-do compile }
++ { dg-options "-Wall" } */
++
++void f1ci_can (const int n, char a[n]);
++void f1ci_can (const int n, char a[n]); // { dg-bogus "-Wvla-parameter" }
++
++void f2ci_can (const int m, char a[m]);
++void f2ci_can (int n, char a[n]); // { dg-bogus "-Wvla-parameter" }
++
++void f3i_can (int n, char a[n]);
++void f3i_can (const int n, char a[n]); // { dg-bogus "-Wvla-parameter" }
++
++void f4i_can (int n, char a[n]);
++void f4i_can (const int n, char a[(int)n]); // { dg-bogus "-Wvla-parameter" }
++
++void f5i_can (int n, char a[(char)n]);
++void f5i_can (const int n, char a[(char)n]); // { dg-bogus "-Wvla-parameter" }
++
++void f6i_can (int m, char a[(char)m]);
++void f6i_can (const int n, char a[(char)n]); // { dg-bogus "-Wvla-parameter" "" { xfail *-*-* } }
++
++
++/* PR c/97548 - bogus -Wvla-parameter on a bound expression involving
++ a parameter */
++
++int n;
++
++void f7ianp1 (int, int[n + 1]);
++void f7ianp1 (int, int[n + 1]);
++void f7ianp1 (int, int[n + 2]); // { dg-warning "-Wvla-parameter" }
++
++void f8iakp1 (int k, int [k + 1]);
++void f8iakp1 (int k, int [k + 1]); // { dg-bogus "-Wvla-parameter" }
++void f8iakp1 (int k, int [1 + k]); // { dg-bogus "-Wvla-parameter" }
++void f8iakp1 (int k, int [k + 2]); // { dg-warning "-Wvla-parameter" }
+diff --git a/gcc/tree-core.h b/gcc/tree-core.h
+index 07ddf91a230..c31b8ebf249 100644
+--- a/gcc/tree-core.h
++++ b/gcc/tree-core.h
+@@ -885,6 +885,7 @@ enum size_type_kind {
+ stk_type_kind_last
+ };
+
++/* Flags controlling operand_equal_p() behavior. */
+ enum operand_equal_flag {
+ OEP_ONLY_CONST = 1,
+ OEP_PURE_SAME = 2,
+@@ -899,7 +900,11 @@ enum operand_equal_flag {
+ OEP_BITWISE = 128,
+ /* For OEP_ADDRESS_OF of COMPONENT_REFs, only consider same fields as
+ equivalent rather than also different fields with the same offset. */
+- OEP_ADDRESS_OF_SAME_FIELD = 256
++ OEP_ADDRESS_OF_SAME_FIELD = 256,
++ /* In conjunction with OEP_LEXICOGRAPHIC considers names of declarations
++ of the same kind. Used to compare VLA bounds involving parameters
++ across redeclarations of the same function. */
++ OEP_DECL_NAME = 512
+ };
+
+ /* Enum and arrays used for tree allocation stats.
+--
+2.31.1
+