Skip to content

Commit f6f0d75

Browse files
slavapestovslavapestov
authored
Merge pull request swiftlang#81843 from slavapestov/hamish-fuzzer-fixes
Hamish fuzzer fixes
2 parents f979695 + a0e7cce commit f6f0d75

22 files changed

+92
-33
lines changed

‎include/swift/AST/DiagnosticsSema.def‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -7892,7 +7892,7 @@ ERROR(expected_macro_expansion_expr,PointsToFirstBadToken,
78927892
ERROR(expected_macro_expansion_decls,PointsToFirstBadToken,
78937893
"expected macro expansion to produce a declaration", ())
78947894
ERROR(macro_undefined,PointsToFirstBadToken,
7895-
"no macro named %0", (Identifier))
7895+
"no macro named %0", (DeclName))
78967896
ERROR(external_macro_not_found,none,
78977897
"external macro implementation type '%0.%1' could not be found for "
78987898
"macro %2; %3", (StringRef, StringRef, DeclName, StringRef))

‎include/swift/AST/ProtocolConformanceRef.h‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -140,6 +140,7 @@ class ProtocolConformanceRef {
140140
}
141141

142142
AbstractConformance *getAbstract() const {
143+
ASSERT(isAbstract());
143144
return Union.get<AbstractConformance *>();
144145
}
145146

‎lib/AST/ASTContext.cpp‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -520,7 +520,7 @@ struct ASTContext::Implementation {
520520
llvm::DenseMap<const AbstractFunctionDecl *, SourceRange> OriginalBodySourceRanges;
521521

522522
/// Macro discriminators per context.
523-
llvm::DenseMap<std::pair<const void *, Identifier>, unsigned>
523+
llvm::DenseMap<std::pair<const void *, DeclBaseName>, unsigned>
524524
NextMacroDiscriminator;
525525

526526
/// Local and closure discriminators per context.
@@ -2286,8 +2286,8 @@ unsigned ASTContext::getNextMacroDiscriminator(
22862286
MacroDiscriminatorContext context,
22872287
DeclBaseName baseName
22882288
) {
2289-
std::pair<const void *, Identifier> key(
2290-
context.getOpaqueValue(), baseName.getIdentifier());
2289+
std::pair<const void *, DeclBaseName> key(
2290+
context.getOpaqueValue(), baseName);
22912291
return getImpl().NextMacroDiscriminator[key]++;
22922292
}
22932293

‎lib/AST/ASTDemangler.cpp‎

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -767,8 +767,8 @@ Type ASTBuilder::createExistentialMetatypeType(
767767
Type ASTBuilder::createConstrainedExistentialType(
768768
Type base, ArrayRef<BuiltRequirement> constraints,
769769
ArrayRef<BuiltInverseRequirement> inverseRequirements) {
770-
llvm::SmallDenseMap<Identifier, Type> primaryAssociatedTypes;
771-
llvm::SmallDenseSet<Identifier> claimed;
770+
llvm::SmallDenseMap<AssociatedTypeDecl *, Type> primaryAssociatedTypes;
771+
llvm::SmallDenseSet<AssociatedTypeDecl *> claimed;
772772

773773
for (const auto &req : constraints) {
774774
switch (req.getKind()) {
@@ -782,7 +782,7 @@ Type ASTBuilder::createConstrainedExistentialType(
782782
if (auto *memberTy = req.getFirstType()->getAs<DependentMemberType>()) {
783783
if (memberTy->getBase()->is<GenericTypeParamType>()) {
784784
// This is the only case we understand so far.
785-
primaryAssociatedTypes[memberTy->getName()] = req.getSecondType();
785+
primaryAssociatedTypes[memberTy->getAssocType()] = req.getSecondType();
786786
continue;
787787
}
788788
}
@@ -799,7 +799,7 @@ Type ASTBuilder::createConstrainedExistentialType(
799799

800800
llvm::SmallVector<Type, 4> args;
801801
for (auto *assocTy : proto->getPrimaryAssociatedTypes()) {
802-
auto found = primaryAssociatedTypes.find(assocTy->getName());
802+
auto found = primaryAssociatedTypes.find(assocTy);
803803
if (found == primaryAssociatedTypes.end())
804804
return protoTy;
805805
args.push_back(found->second);

‎lib/Parse/Lexer.cpp‎

Lines changed: 5 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -660,8 +660,8 @@ static bool advanceIfValidContinuationOfOperator(char const *&ptr,
660660

661661
/// Returns true if the given string is entirely whitespace (considering only
662662
/// those whitespace code points permitted in raw identifiers).
663-
static bool isEntirelyWhitespace(StringRef string) {
664-
if (string.empty()) return false;
663+
static bool isEscapedIdentifierEntirelyWhitespace(StringRef string) {
664+
if (string.empty()) return true;
665665
char const *p = string.data(), *end = string.end();
666666
if (!advanceIf(p, end, isPermittedRawIdentifierWhitespace))
667667
return false;
@@ -703,7 +703,7 @@ bool Lexer::isValidAsEscapedIdentifier(StringRef string) {
703703
;
704704
if (p != end)
705705
return false;
706-
return !isEntirelyWhitespace(string);
706+
return !isEscapedIdentifierEntirelyWhitespace(string);
707707
}
708708

709709
/// Determines if the given string is a valid operator identifier,
@@ -2315,7 +2315,8 @@ void Lexer::lexEscapedIdentifier() {
23152315
// If we have the terminating "`", it's an escaped/raw identifier, unless it
23162316
// contained only operator characters or was entirely whitespace.
23172317
StringRef IdStr(IdentifierStart, CurPtr - IdentifierStart);
2318-
if (*CurPtr == '`' && !isOperator(IdStr) && !isEntirelyWhitespace(IdStr)) {
2318+
if (*CurPtr == '`' && !isOperator(IdStr) &&
2319+
!isEscapedIdentifierEntirelyWhitespace(IdStr)) {
23192320
++CurPtr;
23202321
formEscapedIdentifierToken(Quote);
23212322
return;

‎lib/Parse/ParseExpr.cpp‎

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -503,6 +503,9 @@ ParserResult<Expr> Parser::parseExprSequenceElement(Diag<> message,
503503
peekToken().isContextualPunctuator("~")) &&
504504
!peekToken().isAtStartOfLine()) {
505505
ParserResult<TypeRepr> ty = parseType();
506+
if (ty.isNull())
507+
return nullptr;
508+
506509
auto *typeExpr = new (Context) TypeExpr(ty.get());
507510
return makeParserResult(typeExpr);
508511
}

‎lib/Sema/CSGen.cpp‎

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -4068,8 +4068,8 @@ namespace {
40684068
}
40694069

40704070
/// Lookup all macros with the given macro name.
4071-
SmallVector<OverloadChoice, 1> lookupMacros(Identifier moduleName,
4072-
Identifier macroName,
4071+
SmallVector<OverloadChoice, 1> lookupMacros(DeclName moduleName,
4072+
DeclName macroName,
40734073
FunctionRefInfo functionRefInfo,
40744074
MacroRoles roles) {
40754075
SmallVector<OverloadChoice, 1> choices;
@@ -4100,8 +4100,8 @@ namespace {
41004100
CS.associateArgumentList(locator, expr->getArgs());
41014101

41024102
// Look up the macros with this name.
4103-
auto moduleIdent = expr->getModuleName().getBaseIdentifier();
4104-
auto macroIdent = expr->getMacroName().getBaseIdentifier();
4103+
auto moduleIdent = expr->getModuleName().getBaseName();
4104+
auto macroIdent = expr->getMacroName().getBaseName();
41054105
FunctionRefInfo functionRefInfo = FunctionRefInfo::singleBaseNameApply();
41064106
auto macros = lookupMacros(moduleIdent, macroIdent, functionRefInfo,
41074107
expr->getMacroRoles());

‎lib/Sema/CSSimplify.cpp‎

Lines changed: 5 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -7336,8 +7336,11 @@ ConstraintSystem::matchTypes(Type type1, Type type2, ConstraintKind kind,
73367336
// would be handled by existental promotion in cases where it's allowed.
73377337
if (isTupleWithUnresolvedPackExpansion(origType1) ||
73387338
isTupleWithUnresolvedPackExpansion(origType2)) {
7339-
if (desugar1->is<TupleType>() != desugar2->is<TupleType>() &&
7340-
(!desugar1->isAny() && !desugar2->isAny())) {
7339+
if (isa<TupleType>(desugar1) != isa<TupleType>(desugar2) &&
7340+
!isa<InOutType>(desugar1) &&
7341+
!isa<InOutType>(desugar2) &&
7342+
!desugar1->isAny() &&
7343+
!desugar2->isAny()) {
73417344
return matchTypes(
73427345
desugar1->is<TupleType>() ? type1
73437346
: TupleType::get({type1}, getASTContext()),

‎lib/Sema/TypeCheckDecl.cpp‎

Lines changed: 13 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -2248,13 +2248,20 @@ ParamSpecifierRequest::evaluate(Evaluator &evaluator,
22482248

22492249
auto typeRepr = param->getTypeRepr();
22502250

2251-
if (!typeRepr && !param->isImplicit()) {
2252-
// Untyped closure parameter.
2253-
return ParamSpecifier::Default;
2254-
}
2251+
if (!typeRepr) {
2252+
if (!param->isImplicit()) {
2253+
// Untyped closure parameter.
2254+
return ParamSpecifier::Default;
2255+
}
22552256

2256-
assert(typeRepr != nullptr && "Should call setSpecifier() on "
2257-
"synthesized parameter declarations");
2257+
if (param->isInvalid()) {
2258+
// Invalid parse.
2259+
return ParamSpecifier::Default;
2260+
}
2261+
2262+
ASSERT(false && "Should call setSpecifier() on "
2263+
"synthesized parameter declarations");
2264+
}
22582265

22592266
// Look through top-level pack expansions. These specifiers are
22602267
// part of what's repeated.

‎lib/Sema/TypeCheckEffects.cpp‎

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1685,6 +1685,8 @@ class ApplyClassifier {
16851685
const bool hasAnyConformances =
16861686
llvm::any_of(substitutions.getConformances(),
16871687
[](const ProtocolConformanceRef conformance) {
1688+
if (conformance.isInvalid())
1689+
return false;
16881690
auto *requirement = conformance.getProtocol();
16891691
return !requirement->getInvertibleProtocolKind();
16901692
});

0 commit comments

Comments
 (0)