cc:baird@adacore.com,tburnus@baylibre.com,tkaminsk@redhat.com,cc:mazzucato@adacore.com,ebotcazou@adacore.com,bcc:tcwg-validation@linaro.org,cc:clochard@adacore.com,rdsandiford@googlemail.com,dkm@gcc.gnu.org,cc:indus@adacore.com,cc:gcc-regression@gcc.gnu.org,cc:dross@adacore.com,cc:dismukes@adacore.com,cc:trojanek@adacore.com,cc:duff@adacore.com,cc:desplanques@adacore.com,cc:miranda@adacore.com,cc:poeplau@adacore.com