On Mon, Jul 08, 2019 at 12:20:55PM -0500, Segher Boessenkool wrote: > On Mon, Jul 08, 2019 at 01:27:25PM +0200, Richard Biener wrote: > > The docs should mention that the new option doesn't have any effect > > unless -fsplit-wide-types is enabled. > > Yeah I'll make that more explicit.
I added
This option has no effect unless @option{-fsplit-wide-types} is turned on.
Segher
