diff options
Diffstat (limited to 'test/FileCheck/check-empty.txt')
| -rw-r--r-- | test/FileCheck/check-empty.txt | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/test/FileCheck/check-empty.txt b/test/FileCheck/check-empty.txt new file mode 100644 index 0000000..9caea65 --- /dev/null +++ b/test/FileCheck/check-empty.txt @@ -0,0 +1,11 @@ +// RUN: not FileCheck -check-prefix=FOO %s </dev/null 2>&1 | FileCheck -check-prefix=EMPTY-ERR %s +// RUN: not FileCheck -check-prefix=NOFOO %s </dev/null 2>&1 | FileCheck -check-prefix=EMPTY-ERR %s +// RUN: not FileCheck -check-prefix=FOO -allow-empty %s </dev/null 2>&1 | FileCheck -check-prefix=NO-EMPTY-ERR -check-prefix=NOT-FOUND %s +// RUN: FileCheck -check-prefix=NOFOO -allow-empty %s </dev/null 2>&1 | FileCheck -allow-empty -check-prefix=NO-EMPTY-ERR %s + +; FOO: foo +; NOFOO-NOT: foo + +; EMPTY-ERR: FileCheck error: '-' is empty. +; NO-EMPTY-ERR-NOT: FileCheck error: '-' is empty. +; NOT-FOUND: error: expected string not found in input |