1// Check that two distinct CHECK lines won't match the same string
2// RUN: not FileCheck -input-file %s %s
3
4; CHECK: {{a[0-9]b}}
5; CHECK: {{a[0-9]b}}
6
7a2b
8
9