cc:mazzucato@adacore.com,cc:ebotcazou@adacore.com,jakub@gcc.gnu.org,bcc:tcwg-validation@linaro.org,cc:jakub@redhat.com,dkm@gcc.gnu.org,redi@gcc.gnu.org,cc:gcc-regression@gcc.gnu.org,cc:lacambre@adacore.com,christophe.lyon@linaro.org,cc:rguenther@suse.de,cc:dhruvc@nvidia.com,cc:duff@adacore.com,cc:desplanques@adacore.com,hongtao.liu@intel.com,cc:tromey@adacore.com,rguenth@gcc.gnu.org,cc:jwakely@redhat.com