c/4465

[Paul Clarke]

http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%26pr=4465%26database=gcc

Code to reproduce the bug. It appears that it didn't attach to the bug
report.


char a_tiny __attribute__((tiny_data));

char a_seg_fault(void)
{
  return a_tiny;
}