On Mon, Feb 25, 2019 at 07:15:32PM +0100, Thomas Koenig wrote: > Hi Dominique, > > > I see a double space in > > > > ! { dg-do run } > > > > Is this intended? > > Yes, it is. This is for tests which should not be run with all > the options cycling, but only once. > > I think this was introduced quite some time ago, not sure if it > was ever documented anywhere. I guess we should do so. >
Probably want to document this in the testcase. ! { dg-do run } ! ^^ ! Above two spaces are intentional. It prevents cycling through options. -- Steve