On Wed, Sep 04, 2019 at 10:08:38PM +0530, Prathamesh Kulkarni wrote: > On Tue, 9 May 2017 at 18:59, Jakub Jelinek <ja...@redhat.com> wrote: > > > > On Tue, May 09, 2017 at 06:55:12PM +0530, Prathamesh Kulkarni wrote: > > > ping https://gcc.gnu.org/ml/gcc-patches/2017-05/msg00135.html > > > > The libgomp patch is ok provided the warning is added. > > Though, should it be in -Wall and not say just -Wextra? > Hi Jakub, > I committed the patch for PR78736 to add warning under Wextra, so the > above warnings > for icv.c don't trigger during the build, and the patch isn't strictly > necessary. > Is it OK to commit the patch or leave as-is ?
I'd leave as is. Jakub