I have a new test case where the dump file ought to have 2 occurrences of the pattern "PREDICATE: p.* ne_expr 0B", so I added
/* { dg-final { scan-tree-dump-times "PREDICATE: p.* ne_expr 0B" 2 "vrp" } } */ but I'm getting a dump scan failure on that file. I have manually checked the dump file and there are 2 instances of that pattern: $ grep 'PREDICATE: p.* ne_expr 0B' vrp07.c.t23.vrp PREDICATE: p_5 ne_expr 0B PREDICATE: p_5 ne_expr 0B I can't seem to find other test cases with similar patterns. And the verbose flags don't show anything obvious. Thanks. Diego.