Skip to content

[SIL] Add test case for crash triggered in swift::TypeChecker::configureInterfaceType(…) #3712

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
Jul 23, 2016
Merged

[SIL] Add test case for crash triggered in swift::TypeChecker::configureInterfaceType(…) #3712

merged 1 commit into from
Jul 23, 2016

Conversation

practicalswift
Copy link
Contributor

Stack trace:

<stdin>:3:7: error: expected '(' in argument list of function declaration
func y:@opened(Any
      ^
<stdin>:3:7: error: expected '->' after function parameter tuple
func y:@opened(Any
      ^
      ->
<stdin>:3:16: error: known id for 'opened' attribute must be a UUID string
func y:@opened(Any
               ^
<stdin>:3:16: error: expected ')' after id value for 'opened' attribute
func y:@opened(Any
               ^
<stdin>:3:15: note: to match this opening '('
func y:@opened(Any
              ^
sil-opt: /path/to/swift/lib/Sema/TypeCheckGeneric.cpp:650: void swift::TypeChecker::configureInterfaceType(swift::AbstractFunctionDecl *): Assertion `!funcTy->hasArchetype()' failed.
8  sil-opt         0x0000000000b2aedf swift::TypeChecker::configureInterfaceType(swift::AbstractFunctionDecl*) + 2047
11 sil-opt         0x0000000000aef886 swift::TypeChecker::typeCheckDecl(swift::Decl*, bool) + 150
12 sil-opt         0x0000000000b13f92 swift::performTypeChecking(swift::SourceFile&, swift::TopLevelContext&, swift::OptionSet<swift::TypeCheckingFlags, unsigned int>, unsigned int, unsigned int) + 1026
13 sil-opt         0x00000000007726e9 swift::CompilerInstance::performSema() + 3289
14 sil-opt         0x000000000075bb9d main + 1805
Stack dump:
0.  Program arguments: sil-opt -enable-sil-verify-all
1.  While type-checking 'y' at <stdin>:3:1

…ureInterfaceType(swift::AbstractFunctionDecl*)

Stack trace:

```
<stdin>:3:7: error: expected '(' in argument list of function declaration
func y:@opened(Any
      ^
<stdin>:3:7: error: expected '->' after function parameter tuple
func y:@opened(Any
      ^
      ->
<stdin>:3:16: error: known id for 'opened' attribute must be a UUID string
func y:@opened(Any
               ^
<stdin>:3:16: error: expected ')' after id value for 'opened' attribute
func y:@opened(Any
               ^
<stdin>:3:15: note: to match this opening '('
func y:@opened(Any
              ^
sil-opt: /path/to/swift/lib/Sema/TypeCheckGeneric.cpp:650: void swift::TypeChecker::configureInterfaceType(swift::AbstractFunctionDecl *): Assertion `!funcTy->hasArchetype()' failed.
8  sil-opt         0x0000000000b2aedf swift::TypeChecker::configureInterfaceType(swift::AbstractFunctionDecl*) + 2047
11 sil-opt         0x0000000000aef886 swift::TypeChecker::typeCheckDecl(swift::Decl*, bool) + 150
12 sil-opt         0x0000000000b13f92 swift::performTypeChecking(swift::SourceFile&, swift::TopLevelContext&, swift::OptionSet<swift::TypeCheckingFlags, unsigned int>, unsigned int, unsigned int) + 1026
13 sil-opt         0x00000000007726e9 swift::CompilerInstance::performSema() + 3289
14 sil-opt         0x000000000075bb9d main + 1805
Stack dump:
0.	Program arguments: sil-opt -enable-sil-verify-all
1.	While type-checking 'y' at <stdin>:3:1
```
@gottesmm
Copy link
Contributor

@swift-ci Please smoke test and merge

@swift-ci swift-ci merged commit 5fbb9cf into swiftlang:master Jul 23, 2016
kateinoigakukun pushed a commit that referenced this pull request Aug 31, 2022
Resolve conflicts with upstream `main`
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.

3 participants