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?
Jakub
