Viewing file:  strcmpopt_10.c (2.43 KB) -rw-r--r--
Select action/file-type:
 (+) |  (+) |  (+) | Code (+) | Session (+) |  (+) | SDB (+) |  (+) |  (+) |  (+) |  (+) |  (+) |
/* Verify that strncmp equalities aren't eliminated when the trailing array
type referenced by a member pointer is smaller than the string in cases
when the pointer pointed to by the enclosing object references an object
sufficiently large to store a string of equal length.
{ dg-do compile }
{ dg-options "-O2 -Wall -Wextra -Wno-stringop-overread -fdump-tree-optimized" } */
void init (void*);
struct A1 { char i, a[1]; };
void f1_arr (void)
{
char a[9];
init (a);
struct A1 *p = (struct A1*)a;
if (__builtin_strncmp (p->a, "01234567", 8) == 0)
{
extern void array_test (void);
array_test ();
}
}
void f1_ptr (void)
{
void *p;
init (&p);
struct A1 *q = (struct A1*)p;
if (__builtin_strncmp (q->a, "0123456789", 10) == 0)
{
extern void pointer_test (void);
pointer_test ();
}
}
void f1_struct (void)
{
struct { char a[9]; } b;
init (&b);
struct A1 *p = (struct A1*)&b;
if (__builtin_strncmp (p->a, "01234567", 8) == 0)
{
extern void struct_test (void);
struct_test ();
}
}
void f1_memptr (void)
{
struct { void *p; } b;
init (&b);
struct A1 *p = (struct A1*)b.p;
if (__builtin_strncmp (p->a, "0123456789", 10) == 0)
{
extern void memptr_test (void);
memptr_test ();
}
}
struct A2 { char i, a[2]; };
void f2_arr (void)
{
char a[8];
init (a);
struct A2 *p = (struct A2*)a;
if (__builtin_strncmp (p->a, "0123456", 7) == 0)
{
extern void array_test (void);
array_test ();
}
}
void f2_ptr (void)
{
void *p;
init (&p);
struct A2 *q = (struct A2*)p;
if (__builtin_strncmp (q->a, "0123456789", 10) == 0)
{
extern void pointer_test (void);
pointer_test ();
}
}
void f2_struct (void)
{
struct { char a[8]; } b;
init (&b);
struct A2 *p = (struct A2*)&b;
if (__builtin_strncmp (p->a, "0123456", 7) == 0)
{
extern void struct_test (void);
struct_test ();
}
}
void f2_memptr (void)
{
struct { void *p; } b;
init (&b);
struct A2 *p = (struct A2*)b.p;
if (__builtin_strncmp (p->a, "0123456789", 10) == 0)
{
extern void memptr_test (void);
memptr_test ();
}
}
/* { dg-final { scan-tree-dump-times "array_test" 2 "optimized" } }
{ dg-final { scan-tree-dump-times "pointer_test" 2 "optimized" } }
{ dg-final { scan-tree-dump-times "struct_test" 2 "optimized" } }
{ dg-final { scan-tree-dump-times "memptr_test" 2 "optimized" } } */
|
