Viewing file:  Wstringop-overflow-80.c (2.85 KB) -rw-r--r--
Select action/file-type:
 (+) |  (+) |  (+) | Code (+) | Session (+) |  (+) | SDB (+) |  (+) |  (+) |  (+) |  (+) |  (+) |
/* Verify that a separate note is issued for each offset into the same
object after a -Wstringop-overflow. Even though the warnings don't
need optimization the test enables it to verify they're still issued
with it. Wstringop-overflow-78.c verifies they're issued at -O0.
{ dg-do compile }
{ dg-options "-O2 -Wno-array-bounds" } */
extern char a[8]; // dg-message at offset \\\[3, 6] into destination object 'a'" "note 1" }
// dg-message at offset \\\[5, 8] into destination object 'a'" "note 2" { target *-*-* } .-1 }
void test_2_notes (int i)
{
char *p = i ? a + 3 : a + 5;
__builtin_memset (p, 0, 7); // { dg-warning "-Wstringop-overflow" }
}
extern char b[8]; // dg-message at offset \\\[3, 6] into destination object 'b'" "note 1" }
// dg-message at offset \\\[4, 7] into destination object 'b'" "note 2" { target *-*-* } .-1 }
// dg-message at offset \\\[5, 8] into destination object 'b'" "note 3" { target *-*-* } .-2 }
void test_3_notes (int i)
{
char *p = i < 0 ? b + 3 : 0 < i ? b + 5 : b + 4;
__builtin_memset (p, 0, 7); // { dg-warning "-Wstringop-overflow" }
}
extern char c[8]; // dg-message at offset \\\[3, 6] into destination object 'c'" "note 1" }
// dg-message at offset \\\[4, 7] into destination object 'c'" "note 2" { target *-*-* } .-1 }
// dg-message at offset \\\[5, 8] into destination object 'c'" "note 3" { target *-*-* } .-2 }
// dg-message at offset \\\[6, 8] into destination object 'c'" "note 3" { target *-*-* } .-2 }
void test_4_notes (int i)
{
char *p;
if (i < -1)
p = c + 3;
else if (i < 0)
p = c + 4;
else if (0 < i)
p = c + 6;
else
p = c + 5;
__builtin_memset (p, 0, 7); // { dg-warning "-Wstringop-overflow" }
}
extern char d[8]; // dg-message at offset \\\[3, 6] into destination object 'd'" "note 1" }
// dg-message at offset \\\[4, 7] into destination object 'd'" "note 2" { target *-*-* } .-1 }
// dg-message at offset \\\[5, 8] into destination object 'd'" "note 3" { target *-*-* } .-2 }
// dg-message at offset \\\[6, 8] into destination object 'd'" "note 3" { target *-*-* } .-3 }
// dg-message at offset \\\[7, 8] into destination object 'd'" "note 3" { target *-*-* } .-4 }
void test_5_notes (int i)
{
char *p;
switch (i)
{
case -9: p = d + 3; break;
case -5: p = d + 4; break;
case 0: p = d + 5; break;
case 3: p = d + 6; break;
case 4: p = d + 7; break;
default: return;
}
__builtin_memset (p, 0, 7); // { dg-warning "-Wstringop-overflow" }
}
|
