On Wed, 2022-06-01 at 22:13 -0400, Antoni Boucher via Gcc-patches wrote: > Hi. > The attached patch fix bug 105812: > https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105812
Thanks; the patch looks good to me, assuming it's been tested in the usual way, with one nit: the "PR target/105812" in the ChangeLog should presuambly be "PR jit/105812". > > I'm having an issue where contrib/check_GNU_style.sh doesn't seem to > work, i.e. it doesn't seem to do any checking. > Is there a new way to do that or am I missing something? I confess I've never actually used that script. Dave