On 8 February 2017 09:41:47 CET, Richard Biener <rguent...@suse.de> wrote: >On Tue, 7 Feb 2017, Jakub Jelinek wrote:
>> +/* { dg-final { scan-tree-dump-times "link_error" 0 "optimized"} } >*/ scan-tree-dump-not would have been more expressive, FWIW.
On 8 February 2017 09:41:47 CET, Richard Biener <rguent...@suse.de> wrote: >On Tue, 7 Feb 2017, Jakub Jelinek wrote:
>> +/* { dg-final { scan-tree-dump-times "link_error" 0 "optimized"} } >*/ scan-tree-dump-not would have been more expressive, FWIW.