tburnus@baylibre.com,cc:mazzucato@adacore.com,cc:oliva@adacore.com,cc:ebotcazou@adacore.com,bcc:tcwg-validation@linaro.org,cc:poulhies@adacore.com,dkm@gcc.gnu.org,cc:indus@adacore.com,cc:gcc-regression@gcc.gnu.org,jason@redhat.com,cc:dismukes@adacore.com,cc:trojanek@adacore.com,cc:duff@adacore.com,cc:desplanques@adacore.com,tschwinge@baylibre.com