http://gcc.gnu.org/bugzilla/show_bug.cgi?id=48583 --- Comment #3 from Easwaran Raman <eraman at google dot com> 2011-04-13 00:18:38 UTC --- Sorry for the noise. I have a patch to DSE that fails with nrv5.C and I thought this is somehow causing it.