cc:baird@adacore.com,cc:mazzucato@adacore.com,cc:ebotcazou@adacore.com,jakub@gcc.gnu.org,bcc:tcwg-validation@linaro.org,cc:poulhies@adacore.com,cc:jakub@redhat.com,dkm@gcc.gnu.org,cc:indus@adacore.com,cc:gcc-regression@gcc.gnu.org,cc:godunko@adacore.com,avr@gjlay.de,chen.zhongyao@zte.com.cn,cc:dross@adacore.com,cc:trojanek@adacore.com,cc:duff@adacore.com,cc:desplanques@adacore.com,cc:miranda@adacore.com,alex.coplan@arm.com,cc:poeplau@adacore.com