Skip to content

Commit 1fa929d

Browse files
[swiftc] Add test case for crash triggered in swift::TypeChecker::checkGenericParamList(swift::ArchetypeBuilder*, swift::GenericParamList*, swift::GenericSignature*, bool, swift::GenericTypeResolver*)
Stack trace: ``` 4 swift 0x0000000000ed9e1d swift::TypeChecker::checkGenericParamList(swift::ArchetypeBuilder*, swift::GenericParamList*, swift::GenericSignature*, bool, swift::GenericTypeResolver*) + 93 6 swift 0x0000000000eda53e swift::TypeChecker::validateGenericFuncSignature(swift::AbstractFunctionDecl*) + 94 9 swift 0x0000000000e9cc21 swift::TypeChecker::validateDecl(swift::ValueDecl*, bool) + 1089 11 swift 0x0000000000e9cc21 swift::TypeChecker::validateDecl(swift::ValueDecl*, bool) + 1089 16 swift 0x00000000010d6016 swift::lookupVisibleDecls(swift::VisibleDeclConsumer&, swift::DeclContext const*, swift::LazyResolver*, bool, swift::SourceLoc) + 1174 17 swift 0x0000000000edeaa4 swift::TypeChecker::performTypoCorrection(swift::DeclContext*, swift::DeclRefKind, swift::DeclName, swift::SourceLoc, swift::OptionSet<swift::NameLookupFlags, unsigned int>, swift::LookupResult&, unsigned int) + 260 18 swift 0x0000000000e88998 swift::TypeChecker::resolveDeclRefExpr(swift::UnresolvedDeclRefExpr*, swift::DeclContext*) + 3864 21 swift 0x00000000010538fe swift::Expr::walk(swift::ASTWalker&) + 46 22 swift 0x0000000000e89220 swift::TypeChecker::solveForExpression(swift::Expr*&, swift::DeclContext*, swift::Type, swift::FreeTypeVariableBinding, swift::ExprTypeCheckListener*, swift::constraints::ConstraintSystem&, llvm::SmallVectorImpl<swift::constraints::Solution>&, swift::OptionSet<swift::TypeCheckExprFlags, unsigned int>) + 224 23 swift 0x0000000000e8fbf2 swift::TypeChecker::typeCheckExpression(swift::Expr*&, swift::DeclContext*, swift::TypeLoc, swift::ContextualTypePurpose, swift::OptionSet<swift::TypeCheckExprFlags, unsigned int>, swift::ExprTypeCheckListener*) + 610 24 swift 0x0000000000e90d47 swift::TypeChecker::typeCheckBinding(swift::Pattern*&, swift::Expr*&, swift::DeclContext*) + 343 25 swift 0x0000000000e90f5b swift::TypeChecker::typeCheckPatternBinding(swift::PatternBindingDecl*, unsigned int) + 267 27 swift 0x0000000000e9d819 swift::TypeChecker::validateDecl(swift::ValueDecl*, bool) + 4153 28 swift 0x0000000000f207cd swift::createImplicitConstructor(swift::TypeChecker&, swift::NominalTypeDecl*, swift::ImplicitConstructorKind) + 413 29 swift 0x0000000000ea7d76 swift::TypeChecker::addImplicitConstructors(swift::NominalTypeDecl*) + 1526 44 swift 0x0000000000ea2166 swift::TypeChecker::typeCheckDecl(swift::Decl*, bool) + 150 45 swift 0x0000000000ec4ac2 swift::performTypeChecking(swift::SourceFile&, swift::TopLevelContext&, swift::OptionSet<swift::TypeCheckingFlags, unsigned int>, unsigned int, unsigned int) + 1026 46 swift 0x0000000000c58d39 swift::CompilerInstance::performSema() + 3289 48 swift 0x00000000007d73bf swift::performFrontend(llvm::ArrayRef<char const*>, char const*, void*, swift::FrontendObserver*) + 2863 49 swift 0x00000000007a33d8 main + 2872 Stack dump: 0. Program arguments: /path/to/swift/bin/swift -frontend -c -primary-file validation-test/compiler_crashers/28310-swift-typechecker-checkgenericparamlist.swift -target x86_64-unknown-linux-gnu -disable-objc-interop -module-name main -o /tmp/28310-swift-typechecker-checkgenericparamlist-83e1a2.o 1. While type-checking 'a' at validation-test/compiler_crashers/28310-swift-typechecker-checkgenericparamlist.swift:10:1 2. While type-checking expression at [validation-test/compiler_crashers/28310-swift-typechecker-checkgenericparamlist.swift:42:9 - line:42:11] RangeText="c<I" 3. While type-checking 'f' at validation-test/compiler_crashers/28310-swift-typechecker-checkgenericparamlist.swift:18:1 4. While type-checking 'f' at validation-test/compiler_crashers/28310-swift-typechecker-checkgenericparamlist.swift:80:1 <unknown>:0: error: unable to execute command: Segmentation fault <unknown>:0: error: compile command failed due to signal (use -v to see invocation) ```
1 parent 41177fa commit 1fa929d

File tree

1 file changed

+81
-0
lines changed

1 file changed

+81
-0
lines changed
Lines changed: 81 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,81 @@
1+
// This source file is part of the Swift.org open source project
2+
// Copyright (c) 2014 - 2016 Apple Inc. and the Swift project authors
3+
// Licensed under Apache License v2.0 with Runtime Library Exception
4+
//
5+
// See http://swift.org/LICENSE.txt for license information
6+
// See http://swift.org/CONTRIBUTORS.txt for the list of Swift project authors
7+
8+
// RUN: not --crash %target-swift-frontend %s -parse
9+
yObject, x in 0
10+
class a{
11+
enum b {
12+
class A {
13+
class A {
14+
let i: c
15+
struct D{
16+
enum b {
17+
struct A : a {
18+
func f: b
19+
if true {
20+
class A {
21+
func d.j where g: j.j: j: Int = {
22+
map(x(object1: A? {
23+
class c
24+
func b: NSObject {{
25+
}
26+
class A : Int = b<T: (x()
27+
import Foundation
28+
var d<T
29+
enum b {
30+
func c
31+
if true {
32+
func f
33+
class A {
34+
class A : NSObject {
35+
class A {
36+
class A : NSManagedObject {
37+
if true {class B? {
38+
func a{
39+
func d.E
40+
func f: NSManagedObject {let:("
41+
func f<T>()?
42+
var f = c<I : Int = {
43+
class a {
44+
class a<T where T
45+
class A : NSManagedObject {
46+
var f : A : U : a {
47+
func f<T where g.E
48+
{
49+
va d<T -> {
50+
let a{
51+
var}
52+
var d {
53+
{
54+
struct D
55+
class b: a {{
56+
clas
57+
var b<T
58+
}
59+
if true {
60+
struct A {struct d<T where T where T>
61+
class d.h == compose() -> {
62+
class A : NSObject {
63+
let start = b<T where g: NSObject {
64+
func d
65+
class b
66+
class B<T where T>
67+
class B
68+
class b<T, j, x in 0
69+
struct d{
70+
var _ = c
71+
fum b {{
72+
class A {{struct S<T> {
73+
var f {let(x(
74+
func e, j.h == b{
75+
}
76+
class B? {{
77+
func e:b<c in 0
78+
S<T> U)"
79+
func c>() { p(s("
80+
func f: j.j where g: A {
81+
stru

0 commit comments

Comments
 (0)