[Bug middle-end/31279] Uninitialized warning for call-by-reference arguments with known intent(in)

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=31279

--- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> ---
Several(?) C duplicates exist which implicitely suggest a similar attribute.

void bar (int *);
void foo ()
{
  int i;
  bar (&i);
}

if we can annotate the first arg of 'bar' as "intent in" (aka, should be
fully(!) initialized) then we can warn on this use.