Skip to content

[SIL] Add test case for crash triggered in swift::IterativeTypeChecker::processResolveTypeDecl(…) #5081

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
Sep 30, 2016
Merged

[SIL] Add test case for crash triggered in swift::IterativeTypeChecker::processResolveTypeDecl(…) #5081

merged 1 commit into from
Sep 30, 2016

Conversation

practicalswift
Copy link
Contributor

Stack trace:

<stdin>:3:11: error: expected '{' in struct
struct I:b:typealias b:a
          ^
<stdin>:3:23: error: expected '=' in typealias declaration
struct I:b:typealias b:a
                      ^
                       =
sil-opt: /path/to/swift/include/swift/AST/Decl.h:2062: swift::Accessibility swift::ValueDecl::getFormalAccess(const swift::DeclContext *) const: Assertion `hasAccessibility() && "accessibility not computed yet"' failed.
8  sil-opt         0x0000000000c3ea24 swift::IterativeTypeChecker::processResolveTypeDecl(swift::TypeDecl*, llvm::function_ref<bool (swift::TypeCheckRequest)>) + 356
9  sil-opt         0x0000000000c14bed swift::IterativeTypeChecker::satisfy(swift::TypeCheckRequest) + 493
10 sil-opt         0x0000000000c14d79 swift::IterativeTypeChecker::satisfy(swift::TypeCheckRequest) + 889
13 sil-opt         0x0000000000af3d62 swift::TypeChecker::validateDecl(swift::ValueDecl*, bool) + 3394
17 sil-opt         0x0000000000b6d122 swift::TypeChecker::resolveIdentifierType(swift::DeclContext*, swift::IdentTypeRepr*, swift::OptionSet<swift::TypeResolutionFlags, unsigned int>, bool, swift::GenericTypeResolver*, llvm::function_ref<bool (swift::TypeCheckRequest)>*) + 162
19 sil-opt         0x0000000000b6e1c4 swift::TypeChecker::resolveType(swift::TypeRepr*, swift::DeclContext*, swift::OptionSet<swift::TypeResolutionFlags, unsigned int>, swift::GenericTypeResolver*, llvm::function_ref<bool (swift::TypeCheckRequest)>*) + 164
20 sil-opt         0x0000000000b6c953 swift::TypeChecker::validateType(swift::TypeLoc&, swift::DeclContext*, swift::OptionSet<swift::TypeResolutionFlags, unsigned int>, swift::GenericTypeResolver*, llvm::function_ref<bool (swift::TypeCheckRequest)>*) + 195
21 sil-opt         0x0000000000af1b0a swift::TypeChecker::checkInheritanceClause(swift::Decl*, swift::GenericTypeResolver*) + 5274
22 sil-opt         0x0000000000af3197 swift::TypeChecker::validateDecl(swift::ValueDecl*, bool) + 375
25 sil-opt         0x0000000000af99b6 swift::TypeChecker::typeCheckDecl(swift::Decl*, bool) + 150
26 sil-opt         0x0000000000b1f362 swift::performTypeChecking(swift::SourceFile&, swift::TopLevelContext&, swift::OptionSet<swift::TypeCheckingFlags, unsigned int>, unsigned int, unsigned int) + 1026
27 sil-opt         0x00000000007758a9 swift::CompilerInstance::performSema() + 3289
28 sil-opt         0x000000000075ec65 main + 1813
Stack dump:
0.  Program arguments: sil-opt -enable-sil-verify-all
1.  While type-checking 'I' at <stdin>:3:1
2.  While resolving type b at [<stdin>:3:10 - line:3:10] RangeText="b"
3.  While type-checking 'b' at <stdin>:3:12

…r::processResolveTypeDecl(swift::TypeDecl*, llvm::function_ref<bool (swift::TypeCheckRequest)>)

Stack trace:

```
<stdin>:3:11: error: expected '{' in struct
struct I:b:typealias b:a
          ^
<stdin>:3:23: error: expected '=' in typealias declaration
struct I:b:typealias b:a
                      ^
                       =
sil-opt: /path/to/swift/include/swift/AST/Decl.h:2062: swift::Accessibility swift::ValueDecl::getFormalAccess(const swift::DeclContext *) const: Assertion `hasAccessibility() && "accessibility not computed yet"' failed.
8  sil-opt         0x0000000000c3ea24 swift::IterativeTypeChecker::processResolveTypeDecl(swift::TypeDecl*, llvm::function_ref<bool (swift::TypeCheckRequest)>) + 356
9  sil-opt         0x0000000000c14bed swift::IterativeTypeChecker::satisfy(swift::TypeCheckRequest) + 493
10 sil-opt         0x0000000000c14d79 swift::IterativeTypeChecker::satisfy(swift::TypeCheckRequest) + 889
13 sil-opt         0x0000000000af3d62 swift::TypeChecker::validateDecl(swift::ValueDecl*, bool) + 3394
17 sil-opt         0x0000000000b6d122 swift::TypeChecker::resolveIdentifierType(swift::DeclContext*, swift::IdentTypeRepr*, swift::OptionSet<swift::TypeResolutionFlags, unsigned int>, bool, swift::GenericTypeResolver*, llvm::function_ref<bool (swift::TypeCheckRequest)>*) + 162
19 sil-opt         0x0000000000b6e1c4 swift::TypeChecker::resolveType(swift::TypeRepr*, swift::DeclContext*, swift::OptionSet<swift::TypeResolutionFlags, unsigned int>, swift::GenericTypeResolver*, llvm::function_ref<bool (swift::TypeCheckRequest)>*) + 164
20 sil-opt         0x0000000000b6c953 swift::TypeChecker::validateType(swift::TypeLoc&, swift::DeclContext*, swift::OptionSet<swift::TypeResolutionFlags, unsigned int>, swift::GenericTypeResolver*, llvm::function_ref<bool (swift::TypeCheckRequest)>*) + 195
21 sil-opt         0x0000000000af1b0a swift::TypeChecker::checkInheritanceClause(swift::Decl*, swift::GenericTypeResolver*) + 5274
22 sil-opt         0x0000000000af3197 swift::TypeChecker::validateDecl(swift::ValueDecl*, bool) + 375
25 sil-opt         0x0000000000af99b6 swift::TypeChecker::typeCheckDecl(swift::Decl*, bool) + 150
26 sil-opt         0x0000000000b1f362 swift::performTypeChecking(swift::SourceFile&, swift::TopLevelContext&, swift::OptionSet<swift::TypeCheckingFlags, unsigned int>, unsigned int, unsigned int) + 1026
27 sil-opt         0x00000000007758a9 swift::CompilerInstance::performSema() + 3289
28 sil-opt         0x000000000075ec65 main + 1813
Stack dump:
0.	Program arguments: sil-opt -enable-sil-verify-all
1.	While type-checking 'I' at <stdin>:3:1
2.	While resolving type b at [<stdin>:3:10 - line:3:10] RangeText="b"
3.	While type-checking 'b' at <stdin>:3:12
```
@practicalswift
Copy link
Contributor Author

@swift-ci please smoke test and merge

@swift-ci swift-ci merged commit 907cb3d into swiftlang:master Sep 30, 2016
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