VladPolskiy/gcc
1
0
Fork 0
mirror of https://github.com/gcc-mirror/gcc.git synced 2025-07-21 23:52:54 +00:00
Code Issues Packages Projects Releases Wiki Activity

testsuite: Add testcase for already fixed PR [PR120954]

Browse Source 
This was a regression introduced by r16-1893 (and its backports) for C++,
though for C it had false positive warning for years.  Fixed by r16-2000
(and its backports).

2025-07-11  Jakub Jelinek  <jakub@redhat.com>

	PR c++/120954
	* c-c++-common/Warray-bounds-11.c: New test.
This commit is contained in:
Jakub Jelinek
2025-07-11 13:43:58 +02:00
committed by Jakub Jelinek
parent 385d9937f0
commit 9eea49825e
1 changed files with 21 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

21
gcc/testsuite/c-c++-common/Warray-bounds-11.c Normal file
View File

@ -0,0 +1,21 @@
/* PR c++/120954 */
/* { dg-do compile } */
/* { dg-options "-O2 -Warray-bounds=2" } */
static const int a[32] = { 11, 12, 13, 14, 15 };
static const int b[32] = { 21, 22, 23, 24, 25 };
static const int c[32] = { 31, 32, 33, 34, 35 };
static const int d[32] = { 111, 112, 113, 114, 115 };
static const int e[32] = { 121, 122, 123, 124, 125 };
static const int f[32] = { 131, 132, 133, 134, 135 };
int
foo (int x, int y)
{
int r = 0;
if (x >= 0 && x < 32)
r = (y >= 4 ? (y >= 0x65 ? a : b ) : c)[x];
else if (x >= 0x100 && x < 0x120)
r = (y >= 4 ? (y >= 0x65 ? d : e ) : f)[x - 0x100];
return r;
}