Skip to content

[SourceKit] Add test case for crash triggered in swift::TypeChecker::checkConformance(…) #635

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 1 commit into from
Dec 19, 2015
Merged

[SourceKit] Add test case for crash triggered in swift::TypeChecker::checkConformance(…) #635

merged 1 commit into from
Dec 19, 2015

Conversation

practicalswift
Copy link
Contributor

Stack trace:

found code completion token A at offset 149
swift-ide-test: /path/to/swift/lib/Sema/CSApply.cpp:148: swift::Type swift::constraints::Solution::computeSubstitutions(swift::Type, swift::DeclContext *, swift::Type, swift::constraints::ConstraintLocator *, SmallVectorImpl<swift::Substitution> &) const: Assertion `(conforms || firstArchetype->getIsRecursive() || isOpenedAnyObject(replacement) || replacement->is<GenericTypeParamType>()) && "Constraint system missed a conformance?"' failed.
13 swift-ide-test  0x000000000095db8f swift::TypeChecker::checkConformance(swift::NormalProtocolConformance*) + 2079
17 swift-ide-test  0x0000000000931d17 swift::TypeChecker::typeCheckDecl(swift::Decl*, bool) + 151
20 swift-ide-test  0x000000000097a89a swift::TypeChecker::typeCheckClosureBody(swift::ClosureExpr*) + 218
21 swift-ide-test  0x00000000009b2abc swift::constraints::ConstraintSystem::applySolution(swift::constraints::Solution&, swift::Expr*, swift::Type, bool, bool, bool) + 812
22 swift-ide-test  0x00000000009173fb swift::TypeChecker::typeCheckExpression(swift::Expr*&, swift::DeclContext*, swift::Type, swift::ContextualTypePurpose, swift::OptionSet<swift::TypeCheckExprFlags, unsigned int>, swift::ExprTypeCheckListener*) + 683
23 swift-ide-test  0x00000000009184a0 swift::TypeChecker::typeCheckBinding(swift::Pattern*&, swift::Expr*&, swift::DeclContext*) + 112
24 swift-ide-test  0x0000000000918649 swift::TypeChecker::typeCheckPatternBinding(swift::PatternBindingDecl*, unsigned int) + 265
26 swift-ide-test  0x000000000092d136 swift::TypeChecker::validateDecl(swift::ValueDecl*, bool) + 3974
27 swift-ide-test  0x0000000000991743 swift::createImplicitConstructor(swift::TypeChecker&, swift::NominalTypeDecl*, swift::ImplicitConstructorKind) + 451
28 swift-ide-test  0x0000000000937053 swift::TypeChecker::addImplicitConstructors(swift::NominalTypeDecl*) + 1299
31 swift-ide-test  0x0000000000931d17 swift::TypeChecker::typeCheckDecl(swift::Decl*, bool) + 151
32 swift-ide-test  0x00000000008fde22 swift::performTypeChecking(swift::SourceFile&, swift::TopLevelContext&, swift::OptionSet<swift::TypeCheckingFlags, unsigned int>, unsigned int) + 1474
33 swift-ide-test  0x000000000076b802 swift::CompilerInstance::performSema() + 2946
34 swift-ide-test  0x0000000000715107 main + 33239
Stack dump:
0.  Program arguments: swift-ide-test -code-completion -code-completion-token=A -source-filename=<INPUT-FILE>
1.  While type-checking 'A' at <INPUT-FILE>:3:1
2.  While type-checking expression at [<INPUT-FILE>:3:20 - line:3:34] RangeText="{enum S<T{case"
3.  While type-checking 'S' at <INPUT-FILE>:3:21

@gribozavr
Copy link
Contributor

// REQUIRES: asserts

?

…checkConformance(swift::NormalProtocolConformance*)

Stack trace:

```
found code completion token A at offset 149
swift-ide-test: /path/to/swift/lib/Sema/CSApply.cpp:148: swift::Type swift::constraints::Solution::computeSubstitutions(swift::Type, swift::DeclContext *, swift::Type, swift::constraints::ConstraintLocator *, SmallVectorImpl<swift::Substitution> &) const: Assertion `(conforms || firstArchetype->getIsRecursive() || isOpenedAnyObject(replacement) || replacement->is<GenericTypeParamType>()) && "Constraint system missed a conformance?"' failed.
13 swift-ide-test  0x000000000095db8f swift::TypeChecker::checkConformance(swift::NormalProtocolConformance*) + 2079
17 swift-ide-test  0x0000000000931d17 swift::TypeChecker::typeCheckDecl(swift::Decl*, bool) + 151
20 swift-ide-test  0x000000000097a89a swift::TypeChecker::typeCheckClosureBody(swift::ClosureExpr*) + 218
21 swift-ide-test  0x00000000009b2abc swift::constraints::ConstraintSystem::applySolution(swift::constraints::Solution&, swift::Expr*, swift::Type, bool, bool, bool) + 812
22 swift-ide-test  0x00000000009173fb swift::TypeChecker::typeCheckExpression(swift::Expr*&, swift::DeclContext*, swift::Type, swift::ContextualTypePurpose, swift::OptionSet<swift::TypeCheckExprFlags, unsigned int>, swift::ExprTypeCheckListener*) + 683
23 swift-ide-test  0x00000000009184a0 swift::TypeChecker::typeCheckBinding(swift::Pattern*&, swift::Expr*&, swift::DeclContext*) + 112
24 swift-ide-test  0x0000000000918649 swift::TypeChecker::typeCheckPatternBinding(swift::PatternBindingDecl*, unsigned int) + 265
26 swift-ide-test  0x000000000092d136 swift::TypeChecker::validateDecl(swift::ValueDecl*, bool) + 3974
27 swift-ide-test  0x0000000000991743 swift::createImplicitConstructor(swift::TypeChecker&, swift::NominalTypeDecl*, swift::ImplicitConstructorKind) + 451
28 swift-ide-test  0x0000000000937053 swift::TypeChecker::addImplicitConstructors(swift::NominalTypeDecl*) + 1299
31 swift-ide-test  0x0000000000931d17 swift::TypeChecker::typeCheckDecl(swift::Decl*, bool) + 151
32 swift-ide-test  0x00000000008fde22 swift::performTypeChecking(swift::SourceFile&, swift::TopLevelContext&, swift::OptionSet<swift::TypeCheckingFlags, unsigned int>, unsigned int) + 1474
33 swift-ide-test  0x000000000076b802 swift::CompilerInstance::performSema() + 2946
34 swift-ide-test  0x0000000000715107 main + 33239
Stack dump:
0.	Program arguments: swift-ide-test -code-completion -code-completion-token=A -source-filename=<INPUT-FILE>
1.	While type-checking 'A' at <INPUT-FILE>:3:1
2.	While type-checking expression at [<INPUT-FILE>:3:20 - line:3:34] RangeText="{enum S<T{case"
3.	While type-checking 'S' at <INPUT-FILE>:3:21
```
@practicalswift
Copy link
Contributor Author

@gribozavr Fixed :-)

gribozavr added a commit that referenced this pull request Dec 19, 2015
…hecker-checkconformance

[SourceKit] Add test case for crash triggered in swift::TypeChecker::checkConformance(…)
@gribozavr gribozavr merged commit 9d52a31 into swiftlang:master Dec 19, 2015
freak4pc pushed a commit to freak4pc/swift that referenced this pull request Sep 28, 2022
Add support for apple/swift-experimental-string-processing
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants