| // RUN: %ProtectFileCheckOutput \ |
| // RUN: not FileCheck -check-prefix=FOO %s </dev/null 2>&1 \ |
| // RUN: | FileCheck -check-prefix=EMPTY-ERR %s |
| // |
| // RUN: %ProtectFileCheckOutput \ |
| // RUN: not FileCheck -check-prefix=NOFOO %s </dev/null 2>&1 \ |
| // RUN: | FileCheck -check-prefix=EMPTY-ERR %s |
| // |
| // RUN: %ProtectFileCheckOutput \ |
| // RUN: not FileCheck -check-prefix=FOO -allow-empty %s </dev/null 2>&1 \ |
| // RUN: | FileCheck -check-prefix=NO-EMPTY-ERR -check-prefix=NOT-FOUND %s |
| // |
| // RUN: %ProtectFileCheckOutput \ |
| // RUN: FileCheck -check-prefix=NOFOO -allow-empty %s </dev/null 2>&1 \ |
| // RUN: | FileCheck -allow-empty -check-prefix=NO-EMPTY-ERR %s |
| |
| ; FOO: foo |
| ; NOFOO-NOT: foo |
| |
| ; EMPTY-ERR: FileCheck error: '<stdin>' is empty. |
| ; EMPTY-ERR-NEXT: FileCheck command line: {{.*}}{{F|f}}ile{{C|c}}heck{{.*}}-check-prefix={{.*}}FOO {{.*}}check-empty.txt |
| ; NO-EMPTY-ERR-NOT: FileCheck error: '<stdin>' is empty. |
| ; NOT-FOUND: error: FOO: expected string not found in input |
