Hi all, I'd like to ping the two patches at:
http://gcc.gnu.org/ml/gcc-patches/2014-04/msg00490.html and http://gcc.gnu.org/ml/gcc-patches/2014-04/msg00315.html They fix a bug in aarch64 and I think they should go into the release branches. Thanks, Kyrill