http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54406
--- Comment #3 from bugzilla.tmschr at wronghead dot com 2012-08-29 13:55:46 UTC --- Sorry for this report!!!1!!eleven! You're right, that fixes it. The fault is clearly not with the random_number instrinsic. I've been searching for a bug in a large program for days now and obviously was a bit too desperate to find an easy explanation. I'm getting more and more confident the bug is in myself... :(
