Viewing file:  Wfree-nonheap-object-5.c (1.38 KB) -rw-r--r--
Select action/file-type:
 (+) |  (+) |  (+) | Code (+) | Session (+) |  (+) | SDB (+) |  (+) |  (+) |  (+) |  (+) |  (+) |
/* Similar to Wfree-nonheap-object-4.c but without system headers:
verify that warnings for the same call site from distinct callers
include the correct function names in the inlining stack.
{ dg-do compile }
{ dg-options "-O2 -Wall" } */
struct A
{
void *p;
};
static void f0 (struct A *p)
{
__builtin_free (p->p); // { dg-warning "\\\[-Wfree-nonheap-object" }
}
// Expect two instances of the text below:
// { dg-regexp "In function 'f0'," "first f0 prefix" { target *-*-* } 0 }
// { dg-regexp "In function 'f0'," "second f0 prefix" { target *-*-* } 0 }
static void f1 (struct A *p) { f0 (p); }
static void f2 (struct A *p) { f1 (p); }
extern int array[];
// Also expect two instances of the note:
// { dg-regexp "declared here" "first note on line 24" { target *-*-* } .-2 }
// { dg-regexp "declared here" "second note on line 24" { target *-*-* } .-3 }
void foo (struct A *p)
{
p->p = array + 1;
f0 (p);
}
// { dg-regexp " +inlined from 'foo' at \[^:\]+Wfree-nonheap-object-5.c:32:\\d+:" "note on line 32" }
void bar (struct A *p)
{
p->p = array + 2;
f2 (p);
}
// { dg-regexp " +inlined from 'f1' at \[^:\]+Wfree-nonheap-object-5.c:21:\\d+," "inlined from f1" }
// { dg-regexp " +inlined from 'f2' at \[^:\]+Wfree-nonheap-object-5.c:22:\\d+," "inlined from f2" }
// { dg-regexp " +inlined from 'bar' at \[^:\]+Wfree-nonheap-object-5.c:41:\\d+:" "inlined from bar" }
|
