diff --git a/llvm/lib/Support/FileCheck.cpp b/llvm/lib/Support/FileCheck.cpp index 9cdb14cf3b00e9..2797b8279cd425 100644 --- a/llvm/lib/Support/FileCheck.cpp +++ b/llvm/lib/Support/FileCheck.cpp @@ -151,7 +151,7 @@ Expected StringSubstitution::getResult() const { return Regex::escape(*VarVal); } -bool Pattern::isValidVarNameStart(char C) { return C == '_' || isalpha(C); } +bool Pattern::isValidVarNameStart(char C) { return C == '_' || isAlpha(C); } Expected Pattern::parseVariable(StringRef &Str, const SourceMgr &SM) { @@ -171,7 +171,7 @@ Pattern::parseVariable(StringRef &Str, const SourceMgr &SM) { return ErrorDiagnostic::get(SM, Str, "invalid variable name"); // Variable names are composed of alphanumeric characters and underscores. - if (Str[I] != '_' && !isalnum(Str[I])) + if (Str[I] != '_' && !isAlnum(Str[I])) break; ParsedOneChar = true; } @@ -1079,7 +1079,7 @@ FileCheckDiag::FileCheckDiag(const SourceMgr &SM, } static bool IsPartOfWord(char c) { - return (isalnum(c) || c == '-' || c == '_'); + return (isAlnum(c) || c == '-' || c == '_'); } Check::FileCheckType &Check::FileCheckType::setCount(int C) { diff --git a/llvm/test/FileCheck/bad-char.txt b/llvm/test/FileCheck/bad-char.txt new file mode 100644 index 00000000000000..26129e867bd3e9 --- /dev/null +++ b/llvm/test/FileCheck/bad-char.txt @@ -0,0 +1,42 @@ +# This file contains characters that render as spaces (at least for me in vim) +# but are encoded as 160. Each is indicated with a "^" on the following line. +# FileCheck used to call functions like isalnum on each without casting to +# unsigned char first, so it sign-extended beyond what unsigned char or EOF can +# represent. C says that has undefined behavior, and it has caused stack dumps +# under Windows. + +//------------------------------------------------ +RUN: %ProtectFileCheckOutput \ +RUN: not FileCheck -check-prefix=BEFORE-PREFIX %s < /dev/null 2>&1 | \ +RUN: FileCheck -check-prefix=ERR-EMPTY-CHECK %s + + BEFORE-PREFIX: +^ +ERR-EMPTY-CHECK: error: found empty check string + +//------------------------------------------------ +RUN: %ProtectFileCheckOutput \ +RUN: not FileCheck -check-prefix=AFTER-PREFIX %s < /dev/null 2>&1 | \ +RUN: FileCheck -check-prefix=ERR-NO-CHECK %s + +AFTER-PREFIX : + ^ +ERR-NO-CHECK: error: no check strings found + +//------------------------------------------------ +RUN: %ProtectFileCheckOutput \ +RUN: not FileCheck -check-prefix=BEFORE-VAR %s < /dev/null 2>&1 | \ +RUN: FileCheck -check-prefix=ERR-BAD-VAR %s + +BEFORE-VAR: [[ VAR:]] + ^ +ERR-BAD-VAR: error: invalid variable name + +//------------------------------------------------ +RUN: %ProtectFileCheckOutput \ +RUN: not FileCheck -check-prefix=AFTER-VAR %s < /dev/null 2>&1 | \ +RUN: FileCheck -check-prefix=ERR-BAD-STRING-VAR %s + +AFTER-VAR: [[VAR :]] + ^ +ERR-BAD-STRING-VAR: error: invalid name in string variable definition