[gcc r13-4499] tree-optimization/104165 - bougs -Warray-bounds, add testcase

[gcc r13-4499] tree-optimization/104165 - bougs -Warray-bounds, add testcase

[Richard Biener]

https://gcc.gnu.org/g:790ff87f675f28bce5e7e35918ae09c3ece4ec4d

commit r13-4499-g790ff87f675f28bce5e7e35918ae09c3ece4ec4d
Author: Richard Biener <rguenther@suse.de>
Date:   Tue Dec 6 08:22:01 2022 +0100

    tree-optimization/104165 - bougs -Warray-bounds, add testcase
    
    The following adds the testcase from the description which was
    fixed by r13-2894-gbe4a6551ed37c1.
    
            PR tree-optimization/104165
            * g++.dg/warn/Warray-bounds-pr104165-1.C: New testcase.

Diff:
---
 .../g++.dg/warn/Warray-bounds-pr104165-1.C         | 27 ++++++++++++++++++++++
 1 file changed, 27 insertions(+)

diff --git a/gcc/testsuite/g++.dg/warn/Warray-bounds-pr104165-1.C b/gcc/testsuite/g++.dg/warn/Warray-bounds-pr104165-1.C
new file mode 100644
index 00000000000..bc46285eb90
--- /dev/null
+++ b/gcc/testsuite/g++.dg/warn/Warray-bounds-pr104165-1.C
@@ -0,0 +1,27 @@
+// { dg-do compile }
+// { dg-require-effective-target c++11 }
+// { dg-options "-O2 -Warray-bounds" }
+
+#include <algorithm>
+
+static int bar(int n, int l)
+{
+  int f[l];
+  int x = 0;
+  int r = n;
+
+  for (; x < l;)
+    if (r)
+      x = l;
+    else
+      r = 1;
+
+  if (r == 1)
+    std::sort(f, f + x, [](int a, int b) { return a > b; });
+  return 1;
+}
+
+int foo(int n)
+{
+  return bar(n, 4);
+}