ebotcazou@adacore.com,jakub@gcc.gnu.org,bcc:tcwg-validation@linaro.org,cc:jakub@redhat.com,redi@gcc.gnu.org,cc:gcc-regression@gcc.gnu.org,ams@baylibre.com,vmakarov@redhat.com,josmyers@redhat.com,c8ef@outlook.com,cc:vlad.bespalov@jetstreamsoft.com