check-empty.txt

// 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