diff mbox series

tree-optimization/104165 - bougs -Warray-bounds, add testcase

Message ID 20221206072340.C862C13326@imap1.suse-dmz.suse.de
State New
Headers show
Series tree-optimization/104165 - bougs -Warray-bounds, add testcase | expand

Commit Message

Richard Biener Dec. 6, 2022, 7:23 a.m. UTC 
The following adds the testcase from the description which was
fixed by r13-2894-gbe4a6551ed37c1.

Tested on x86_64-unknown-linux-gnu, pushed.

	PR tree-optimization/104165
	* g++.dg/warn/Warray-bounds-pr104165-1.C: New testcase.
---
 .../g++.dg/warn/Warray-bounds-pr104165-1.C    | 27 +++++++++++++++++++
 1 file changed, 27 insertions(+)
 create mode 100644 gcc/testsuite/g++.dg/warn/Warray-bounds-pr104165-1.C
diff mbox series

Patch

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);
+}