cc:kliemann@adacore.com,cc:mazzucato@adacore.com,rearnsha@arm.com,cc:oliva@adacore.com,ebotcazou@adacore.com,bcc:tcwg-validation@linaro.org,parras@baylibre.com,artemiy.volkov@arm.com,dkm@gcc.gnu.org,cc:gcc-regression@gcc.gnu.org,cc:desplanques@adacore.com,cc:naks@adacore.com,cc:miranda@adacore.com,tschwinge@baylibre.com