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. 

Reply via email to