Index: llvm/trunk/lib/Support/regcomp.c =================================================================== --- llvm/trunk/lib/Support/regcomp.c +++ llvm/trunk/lib/Support/regcomp.c @@ -1008,7 +1008,7 @@ { char *sp = p->next; struct cname *cp; - int len; + size_t len; while (MORE() && !SEETWO(endc, ']')) NEXT(); @@ -1018,7 +1018,7 @@ } len = p->next - sp; for (cp = cnames; cp->name != NULL; cp++) - if (strncmp(cp->name, sp, len) == 0 && cp->name[len] == '\0') + if (strncmp(cp->name, sp, len) == 0 && strlen(cp->name) == len) return(cp->code); /* known name */ if (len == 1) return(*sp); /* single character */ Index: llvm/trunk/unittests/Support/RegexTest.cpp =================================================================== --- llvm/trunk/unittests/Support/RegexTest.cpp +++ llvm/trunk/unittests/Support/RegexTest.cpp @@ -171,4 +171,12 @@ EXPECT_FALSE(r1.match("X")); } +// https://bugs.chromium.org/p/oss-fuzz/issues/detail?id=3727 +TEST_F(RegexTest, OssFuzz3727Regression) { + // Wrap in a StringRef so the NUL byte doesn't terminate the string + Regex r(StringRef("[[[=GS\x00[=][", 10)); + std::string Error; + EXPECT_FALSE(r.isValid(Error)); +} + }