[Bug middle-end/31094] Support annotating function parameters as read-only and/or non-escaping

[manu at gcc dot gnu dot org]

------- Comment #3 from manu at gcc dot gnu dot org  2008-01-10 15:40 -------
Actually, that is for Wuninitialized. For a missed optimisation:

#include <stdio.h>
char foo()
{
  char str[] = "Hola";

  char c;

  printf("%s", str);
  c = str[0];
  return c;
}


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31094