I've noticed this test now on various arches sometimes FAILs, sometimes
PASSes (the line 12 test in particular).
The problem is that a = 0; initialization in the caller no longer happens
before the f(&a) call as what the argument points to is only used in
debug info.
Making the function noipa forces the caller to initialize it and still
tests what the test wants to test, namely that we don't consider *p as
valid location for the c variable at line 18 (after it has been overwritten
with *p = 1;).
2021-06-16 Jakub Jelinek <jakub@redhat.com>
* gcc.dg/guality/pr49888.c (f): Use noipa attribute instead of
noinline, noclone.
(cherry picked from commit
a490b1dc0b3c26bff2ee00ac0da2d606d2009e3a)
static int v __attribute__((used));
-static void __attribute__((noinline, noclone))
+static void __attribute__((noipa))
f (int *p)
{
int c = *p;