From ee9a0e93156ff3d41450db74172abc8ae2471d1f Mon Sep 17 00:00:00 2001 From: Martin Sebor Date: Tue, 6 Jul 2021 15:15:53 -0600 Subject: [PATCH] Add test for [PR86650]. PR tree-optimization/86650 - -Warray-bounds missing inlining context gcc/testsuite/ChangeLog: PR tree-optimization/86650 * gcc.dg/Warray-bounds-76.c: New test. --- gcc/testsuite/gcc.dg/Warray-bounds-76.c | 35 +++++++++++++++++++++++++++++++++ 1 file changed, 35 insertions(+) create mode 100644 gcc/testsuite/gcc.dg/Warray-bounds-76.c diff --git a/gcc/testsuite/gcc.dg/Warray-bounds-76.c b/gcc/testsuite/gcc.dg/Warray-bounds-76.c new file mode 100644 index 0000000..6711dc4 --- /dev/null +++ b/gcc/testsuite/gcc.dg/Warray-bounds-76.c @@ -0,0 +1,35 @@ +/* PR tree-optimization/86650 - -Warray-bounds missing inlining context + { dg-do compile } + { dg-options "-O2 -Wall" } */ + +static void f0 (int *p, int i) +{ + p[i] = 0; // { dg-warning "\\\[-Warray-bounds" } +} + +// Expect two instances of the text below: +// { dg-regexp "In function 'f0'," "first f0 prefix" { target *-*-* } 0 } +// { dg-regexp "In function 'f0'," "second f0 prefix" { target *-*-* } 0 } + +static void f1 (int *p, int i) { f0 (p + 1, i + 1); } +static void f2 (int *p, int i) { f1 (p + 1, i + 1); } + +extern int a2[2]; // { dg-note "'a2'" } + +void foo (void) +{ + f1 (a2 + 1, 1); +} + +// { dg-regexp " +inlined from 'foo' at \[^:\]+Warray-bounds-76.c:21:\\d+:" "inlined from foo" } + +extern int a3[3]; // { dg-note "'a3'" } + +void bar (void) +{ + f2 (a3 + 1, 1); +} + +// { dg-regexp " +inlined from 'f1' at \[^:\]+Warray-bounds-76.c:14:\\d+," "inlined from f1" } +// { dg-regexp " +inlined from 'f2' at \[^:\]+Warray-bounds-76.c:15:\\d+," "inlined from f2" } +// { dg-regexp " +inlined from 'bar' at \[^:\]+Warray-bounds-76.c:30:\\d+:" "inlined from bar" } -- 2.7.4