Viewing file:  Wstringop-overflow-55.c (2.53 KB) -rw-r--r--
Select action/file-type:
 (+) |  (+) |  (+) | Code (+) | Session (+) |  (+) | SDB (+) |  (+) |  (+) |  (+) |  (+) |  (+) |
/* Verify that offsets in "anti-ranges" are handled correctly.
{ dg-do compile }
{ dg-options "-O2 -Wall -ftrack-macro-expansion=0 -fno-ipa-icf" } */
typedef __PTRDIFF_TYPE__ ptrdiff_t;
typedef __SIZE_TYPE__ size_t;
void* memset (void*, int, size_t);
void sink (void*, ...);
#define T(x) sink (x)
void int_range_add_sub_ (int i, int j)
{
if (i < 1) i = 1;
if (j > -1) j = -1;
char ca5[5]; // { dg-message "at offset \\\[1, 5]" "note" }
char *p0 = ca5; // offset
char *p1 = p0 + i; // 1-5
char *p2 = p1 + i; // 2-5
char *p3 = p2 + j; // 0-4
char *p4 = p3 + j; // 0-3
char *p5 = p4 + j; // 0-2
char *p6 = p5 + j; // 0-1
char *p7 = p6 + i; // 1-2
memset (p7, 0, 5); // { dg-warning "writing 5 bytes into a region of size 4" }
sink (p0, p1, p2, p3, p4, p5, p6, p7);
}
void ruint_arint_add (unsigned i, int j)
{
i |= 1; // [1, UINT_MAX]
j |= 1; // [INT_MIN + 1, -1] U [1, INT_MAX]
char a[5]; // { dg-message "at offset \\\[1, 5]" "note" }
char *p0 = a; // offset
char *p1 = p0 + i; // 1-5
T (memset (p1, 0, 4));
char *p2 = p1 + j; // 0-5
T (memset (p2, 0, 5));
char *p3 = p2 + i; // 1-5
T (memset (p3, 0, 4));
char *p4 = p3 + j; // 0-5
T (memset (p4, 0, 5));
char *p5 = p4 + i; // 1-5
T (memset (p5, 0, 4));
char *p6 = p5 + j; // 0-5
T (memset (p6, 0, 5));
char *p7 = p6 + i; // 1-5
T (memset (p7, 0, 5)); // { dg-warning "writing 5 bytes into a region of size 4" "" }
}
void warn_ptrdiff_anti_range_add (ptrdiff_t i)
{
i |= 1;
char ca5[5]; // { dg-message "at offset \\\[1, 5]" "pr?????" }
char *p0 = ca5; // offset
char *p1 = p0 + i; // 1-5
char *p2 = p1 + i; // 2-5
char *p3 = p2 + i; // 3-5
char *p4 = p3 + i; // 4-5
char *p5 = p4 + i; // 5
memset (p5, 0, 5); // { dg-warning "writing 5 bytes into a region of size" "pr?????" }
sink (p0, p1, p2, p3, p4, p5);
}
void warn_int_anti_range (int i)
{
i |= 1;
char ca5[5]; // { dg-message "at offset \\\[1, 5]" "pr?????" }
char *p0 = ca5; // offset
char *p1 = p0 + i; // 1-5
char *p2 = p1 + i; // 2-5
char *p3 = p2 + i; // 3-5
char *p4 = p3 + i; // 4-5
char *p5 = p4 + i; // 5
memset (p5, 0, 5); // { dg-warning "writing 5 bytes into a region of size" "pr?????" }
sink (p0, p1, p2, p3, p4, p5);
}
|
