2012-06-06 Fabien Chene <fabien@gcc.gnu.org>