http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54120
--- Comment #7 from Jakub Jelinek <jakub at gcc dot gnu.org> 2012-12-22 23:06:42 UTC --- Can you please attach random.i and what exact gcc options were used to compile random.c ?
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54120
--- Comment #7 from Jakub Jelinek <jakub at gcc dot gnu.org> 2012-12-22 23:06:42 UTC --- Can you please attach random.i and what exact gcc options were used to compile random.c ?