| ; CHECK requires a pattern, so the no-newline EOF case must fail here. | |
| ; RUN: printf "CHECK:" > %t.no-pattern.chk | |
| ; RUN: %ProtectFileCheckOutput \ | |
| ; RUN: not FileCheck --allow-empty --input-file=/dev/null %t.no-pattern.chk 2>&1 \ | |
| ; RUN: | FileCheck %s --check-prefix=ERR-EMPTY-CHECK | |
| ERR-EMPTY-CHECK: error: found empty check string |