Re: [PATCH] Remove "note: " prefix from some scan-tree-dump directives

2018-07-09 Thread Christophe Lyon
On Tue, 3 Jul 2018 at 16:11, Richard Biener wrote: > > On Tue, Jul 3, 2018 at 4:10 PM David Malcolm wrote: > > > > On Tue, 2018-07-03 at 15:53 +0200, Richard Biener wrote: > > > On Tue, Jul 3, 2018 at 3:52 PM David Malcolm > > > wrote: > > > > > > > > On Tue, 2018-07-03 at 09:37 +0200, Richard B

Re: [PATCH] Remove "note: " prefix from some scan-tree-dump directives

2018-07-03 Thread Richard Biener
On Tue, Jul 3, 2018 at 4:10 PM David Malcolm wrote: > > On Tue, 2018-07-03 at 15:53 +0200, Richard Biener wrote: > > On Tue, Jul 3, 2018 at 3:52 PM David Malcolm > > wrote: > > > > > > On Tue, 2018-07-03 at 09:37 +0200, Richard Biener wrote: > > > > On Mon, Jul 2, 2018 at 7:00 PM David Malcolm >

[PATCH] Remove "note: " prefix from some scan-tree-dump directives

2018-07-03 Thread David Malcolm
On Tue, 2018-07-03 at 15:53 +0200, Richard Biener wrote: > On Tue, Jul 3, 2018 at 3:52 PM David Malcolm > wrote: > > > > On Tue, 2018-07-03 at 09:37 +0200, Richard Biener wrote: > > > On Mon, Jul 2, 2018 at 7:00 PM David Malcolm > > > > > > wrote: > > > > > > > > On Mon, 2018-07-02 at 14:23 +0200