Viewing file:  Wdangling-pointer-3.c (1.63 KB) -rw-r--r--
Select action/file-type:
 (+) |  (+) |  (+) | Code (+) | Session (+) |  (+) | SDB (+) |  (+) |  (+) |  (+) |  (+) |  (+) |
/* PR tree-optimization/104715 - false dangling pointer with strstr
Vertify that using pointers that have become dangling after they were
passed to and returned from strstr is diagnosed.
{ dg-do compile }
{ dg-options "-Wall" } */
extern char* strstr (const char*, const char*);
void sink (const void*);
void nowarn_strstr_static (const char *s)
{
char *t1;
{
static const char a[] = "abc";
t1 = strstr (a, s);
sink (t1);
}
sink (t1);
}
void nowarn_strstr_lit (const char *s)
{
char *t2;
{
t2 = strstr ("def", s);
sink (t2);
}
sink (t2);
}
void warn_strstr_comp_lit (const char *s)
{
char *t3;
{
const char *a =
(char[]){ '1', '\0' }; // { dg-message "unnamed temporary defined here" }
t3 = strstr (a, s);
sink (t3);
}
sink (t3); // { dg-warning "using dangling pointer 't3' to an unnamed temporary" }
}
void warn_strstr_arg (const char *s)
{
char *t4;
{
char a[] = "1"; // { dg-message "'a' declared here" }
t4 = strstr (a, s);
sink (t4);
}
sink (t4); // { dg-warning "using dangling pointer 't4' to 'a'" }
}
void warn_strstr_arg_plus_cst (const char *s)
{
char *t5;
{
char a[] = "12"; // { dg-message "'a' declared here" }
t5 = strstr (a + 1, s);
sink (t5);
}
sink (t5); // { dg-warning "using dangling pointer 't5' to 'a'" }
}
void warn_strstr_arg_plus_var (const char *s, int i)
{
char *t6;
{
char a[] = "123"; // { dg-message "'a' declared here" }
t6 = strstr (a + i, s);
sink (t6++);
}
sink (t6); // { dg-warning "using dangling pointer 't6' to 'a'" }
}
|
