ebotcazou@adacore.com,jakub@gcc.gnu.org,bcc:tcwg-validation@linaro.org,cc:jakub@redhat.com,cc:gcc-regression@gcc.gnu.org,anlauf@gmx.de,jlaw@ventanamicro.com,cc:chenzhongyao.hit@gmail.com,andrew.pinski@oss.qualcomm.com,cc:matteo.nicoli001@gmail.com,cc:rzinsly@ventanamicro.com