cc:baird@adacore.com,tkaminsk@redhat.com,cc:ebotcazou@adacore.com,bcc:tcwg-validation@linaro.org,cc:poulhies@adacore.com,dkm@gcc.gnu.org,cc:indus@adacore.com,redi@gcc.gnu.org,cc:gcc-regression@gcc.gnu.org,cc:dismukes@adacore.com,cc:trojanek@adacore.com,jinma@linux.alibaba.com,cc:duff@adacore.com,cc:desplanques@adacore.com,cc:miranda@adacore.com,cc:jwakely@redhat.com,cc:poeplau@adacore.com