averello/swift-mirror
1
0
Fork 0
mirror of https://github.com/apple/swift.git synced 2025-12-21 12:14:44 +01:00
Code Issues Packages Projects Releases Wiki Activity
184,374 Commits 623 Branches 2,949 Tags
jgrynspan/windows-GUID-hashable-6.2
Commit Graph

172 Commits

Author SHA1 Message Date
practicalswift
3bd2823f58 [SIL] Add test case for crash triggered in swift::Parser::parseDeclSIL() 
Stack trace:

```
sil-opt: /path/to/swift/lib/SIL/Verifier.cpp:2992: void (anonymous namespace)::SILVerifier::visitSILFunction(swift::SILFunction *): Assertion `F->isAvailableExternally() && "external declaration of internal SILFunction not allowed"' failed.
9  sil-opt         0x0000000000a243f8 swift::Parser::parseDeclSIL() + 5384
10 sil-opt         0x00000000009f5b2a swift::Parser::parseTopLevel() + 378
11 sil-opt         0x00000000009f0fcf swift::parseIntoSourceFile(swift::SourceFile&, unsigned int, bool*, swift::SILParserState*, swift::PersistentParserState*, swift::DelayedParsingCallbacks*) + 207
12 sil-opt         0x00000000007392a6 swift::CompilerInstance::performSema() + 2918
13 sil-opt         0x0000000000723efc main + 1916
Stack dump:
0.	Program arguments: sil-opt -enable-sil-verify-all
1.	With parser at source location: <stdin>:3:22
2.	While verifying SIL function @s for <stdin>:3:13
```
 2015-12-19 21:50:48 +01:00
practicalswift
bcd1472c33 Remove superfluous $ 2015-12-19 21:27:44 +01:00
practicalswift
7b00e8b82b [SIL] Add test case for crash triggered in swift::GenericParamList::getAsGenericSignatureElements(swift::ASTContext&, llvm::DenseMap<swift::ArchetypeType*, swift::Type, llvm::DenseMapInfo<swift::ArchetypeType*>, llvm::detail::DenseMapPair<swift::ArchetypeType*, swift::Type> >&, llvm::SmallVectorImpl<swift::GenericTypeParamType*>&, llvm::SmallVectorImpl<swift::Requirement>&) const 
Stack trace:

```
<stdin>:3:29: error: expected type
sil@__:$<__ where τ:k>()->(
<stdin>:3:29: error: expected ',' separator
sil@__:$<__ where τ:k>()->(
<stdin>:3:19: error: use of undeclared type 'τ'
sil@__:$<__ where τ:k>()->(
sil-opt: /path/to/llvm/include/llvm/ADT/ArrayRef.h:172: ArrayRef<T> llvm::ArrayRef<swift::ArchetypeType *>::slice(unsigned int, unsigned int) const [T = swift::ArchetypeType *]: Assertion `N+M <= size() && "Invalid specifier"' failed.
8  sil-opt         0x0000000000d20b65 swift::GenericParamList::getAsGenericSignatureElements(swift::ASTContext&, llvm::DenseMap<swift::ArchetypeType*, swift::Type, llvm::DenseMapInfo<swift::ArchetypeType*>, llvm::detail::DenseMapPair<swift::ArchetypeType*, swift::Type> >&, llvm::SmallVectorImpl<swift::GenericTypeParamType*>&, llvm::SmallVectorImpl<swift::Requirement>&) const + 2693
9  sil-opt         0x0000000000d1ff3c swift::GenericParamList::getAsCanonicalGenericSignature(llvm::DenseMap<swift::ArchetypeType*, swift::Type, llvm::DenseMapInfo<swift::ArchetypeType*>, llvm::detail::DenseMapPair<swift::ArchetypeType*, swift::Type> >&, swift::ASTContext&) const + 92
13 sil-opt         0x0000000000ae6c04 swift::TypeChecker::validateType(swift::TypeLoc&, swift::DeclContext*, swift::OptionSet<swift::TypeResolutionFlags, unsigned int>, swift::GenericTypeResolver*, llvm::function_ref<bool (swift::TypeCheckRequest)>*) + 212
14 sil-opt         0x0000000000a66c5f swift::performTypeLocChecking(swift::ASTContext&, swift::TypeLoc&, bool, swift::DeclContext*, bool) + 1007
16 sil-opt         0x0000000000a23163 swift::Parser::parseDeclSIL() + 627
17 sil-opt         0x00000000009f5b2a swift::Parser::parseTopLevel() + 378
18 sil-opt         0x00000000009f0fcf swift::parseIntoSourceFile(swift::SourceFile&, unsigned int, bool*, swift::SILParserState*, swift::PersistentParserState*, swift::DelayedParsingCallbacks*) + 207
19 sil-opt         0x00000000007392a6 swift::CompilerInstance::performSema() + 2918
20 sil-opt         0x0000000000723efc main + 1916
Stack dump:
0.	Program arguments: sil-opt -enable-sil-verify-all
1.	With parser at source location: <stdin>:3:29
2.	While resolving type @convention(thin) () -> ()sil-opt: /path/to/swift/include/swift/Basic/SourceLoc.h:93: swift::SourceRange::SourceRange(swift::SourceLoc, swift::SourceLoc): Assertion `Start.isValid() == End.isValid() && "Start and end should either both be valid or both be invalid!"' failed.
```
 2015-12-19 17:48:56 +01:00
Dmitri Gribenko
fa35b993e3 Merge pull request #662 from practicalswift/sil-007-swift-abstractstoragedecl-makecomputed 
[SIL] Add test case for crash triggered in swift::AbstractStorageDecl::makeComputed(…)
 2015-12-19 04:56:02 -08:00
practicalswift
58ce678fe7 [SIL] Add test case for crash triggered in swift::AbstractStorageDecl::makeComputed(swift::SourceLoc, swift::FuncDecl*, swift::FuncDecl*, swift::FuncDecl*, swift::SourceLoc) 
Stack trace:

```
<stdin>:3:35: error: expected '}' at end of variable get/set clause
protocol a{@sil_stored var e:a{get
                                  ^
<stdin>:3:31: note: to match this opening '{'
protocol a{@sil_stored var e:a{get
                              ^
<stdin>:3:35: error: consecutive declarations on a line must be separated by ';'
protocol a{@sil_stored var e:a{get
                                  ^
                                  ;
<stdin>:3:35: error: expected declaration
protocol a{@sil_stored var e:a{get
                                  ^
<stdin>:3:12: error: attribute cannot be applied to declaration
protocol a{@sil_stored var e:a{get
           ^~~~~~~~~~~

<stdin>:3:28: error: property in protocol must have explicit { get } or { get set } specifier
protocol a{@sil_stored var e:a{get
                           ^
sil-opt: /path/to/swift/lib/AST/Decl.cpp:2788: void swift::AbstractStorageDecl::makeComputed(swift::SourceLoc, swift::FuncDecl *, swift::FuncDecl *, swift::FuncDecl *, swift::SourceLoc): Assertion `getStorageKind() == Stored && "StorageKind already set"' failed.
8  sil-opt         0x0000000000d28290 swift::AbstractStorageDecl::makeComputed(swift::SourceLoc, swift::FuncDecl*, swift::FuncDecl*, swift::FuncDecl*, swift::SourceLoc) + 352
9  sil-opt         0x0000000000af320d swift::convertStoredVarInProtocolToComputed(swift::VarDecl*, swift::TypeChecker&) + 45
14 sil-opt         0x0000000000a9aba7 swift::TypeChecker::typeCheckDecl(swift::Decl*, bool) + 151
15 sil-opt         0x0000000000a66372 swift::performTypeChecking(swift::SourceFile&, swift::TopLevelContext&, swift::OptionSet<swift::TypeCheckingFlags, unsigned int>, unsigned int) + 1474
16 sil-opt         0x00000000007392c2 swift::CompilerInstance::performSema() + 2946
17 sil-opt         0x0000000000723efc main + 1916
Stack dump:
0.	Program arguments: sil-opt -enable-sil-verify-all
1.	While type-checking 'a' at <stdin>:3:1
```
 2015-12-19 13:30:16 +01:00
Dmitri Gribenko
6d02fe9bd9 Merge pull request #660 from practicalswift/sil-006-swift-syntaxsugartype-getimplementationtype 
[SIL] Add test case for crash triggered in swift::SyntaxSugarType::getImplementationType()
 2015-12-19 04:03:38 -08:00
practicalswift
74b07c151d [SIL] Add test case for crash triggered in swift::SyntaxSugarType::getImplementationType() 
Stack trace:

```
<stdin>:3:8: error: expected '{' in class
class C
       ^
<stdin>:4:22: error: consecutive declarations on a line must be separated by ';'
struct e{weak var x:C
                     ^
                     ;
<stdin>:4:22: error: expected declaration
struct e{weak var x:C
                     ^
sil-opt: /path/to/swift/lib/AST/Type.cpp:1361: swift::Type swift::SyntaxSugarType::getImplementationType(): Assertion `implDecl && "Optional type has not been set yet"' failed.
8  sil-opt         0x0000000000d776ed swift::SyntaxSugarType::getImplementationType() + 77
9  sil-opt         0x0000000000d7754f swift::TypeBase::getDesugaredType() + 15
11 sil-opt         0x0000000000d33e7f swift::DiagnosticEngine::emitDiagnostic(swift::Diagnostic const&) + 3039
12 sil-opt         0x0000000000d3314f swift::DiagnosticEngine::flushActiveDiagnostic() + 319
13 sil-opt         0x0000000000a73ed5 swift::TypeChecker::checkOwnershipAttr(swift::VarDecl*, swift::OwnershipAttr*) + 309
14 sil-opt         0x0000000000a73bac swift::TypeChecker::checkTypeModifyingDeclAttributes(swift::VarDecl*) + 76
15 sil-opt         0x0000000000abfbfc swift::TypeChecker::coercePatternToType(swift::Pattern*&, swift::DeclContext*, swift::Type, swift::OptionSet<swift::TypeResolutionFlags, unsigned int>, swift::GenericTypeResolver*) + 2332
16 sil-opt         0x0000000000abf00c swift::TypeChecker::typeCheckPattern(swift::Pattern*, swift::DeclContext*, swift::OptionSet<swift::TypeResolutionFlags, unsigned int>, swift::GenericTypeResolver*) + 780
18 sil-opt         0x0000000000a95fc6 swift::TypeChecker::validateDecl(swift::ValueDecl*, bool) + 3974
19 sil-opt         0x0000000000af8f53 swift::createImplicitConstructor(swift::TypeChecker&, swift::NominalTypeDecl*, swift::ImplicitConstructorKind) + 451
20 sil-opt         0x0000000000a9fee3 swift::TypeChecker::addImplicitConstructors(swift::NominalTypeDecl*) + 1299
23 sil-opt         0x0000000000a9aba7 swift::TypeChecker::typeCheckDecl(swift::Decl*, bool) + 151
24 sil-opt         0x0000000000a66372 swift::performTypeChecking(swift::SourceFile&, swift::TopLevelContext&, swift::OptionSet<swift::TypeCheckingFlags, unsigned int>, unsigned int) + 1474
25 sil-opt         0x00000000007392c2 swift::CompilerInstance::performSema() + 2946
26 sil-opt         0x0000000000723efc main + 1916
Stack dump:
0.	Program arguments: sil-opt -enable-sil-verify-all
1.	While type-checking 'e' at <stdin>:4:1
```
 2015-12-19 12:50:03 +01:00
practicalswift
5979c639e0 [SIL] Add test case for crash triggered in swift::SILFunction::verify() const 
Stack trace:

```
sil-opt: /path/to/swift/lib/SIL/Verifier.cpp:2995: void (anonymous namespace)::SILVerifier::visitSILFunction(swift::SILFunction *): Assertion `!hasSharedVisibility(F->getLinkage()) && "external declarations of SILFunctions with shared visibility is not " "allowed"' failed.
8  sil-opt         0x00000000009aad02 swift::SILFunction::verify() const + 402
9  sil-opt         0x0000000000a243f8 swift::Parser::parseDeclSIL() + 5384
10 sil-opt         0x00000000009f5b2a swift::Parser::parseTopLevel() + 378
11 sil-opt         0x00000000009f0fcf swift::parseIntoSourceFile(swift::SourceFile&, unsigned int, bool*, swift::SILParserState*, swift::PersistentParserState*, swift::DelayedParsingCallbacks*) + 207
12 sil-opt         0x00000000007392a6 swift::CompilerInstance::performSema() + 2918
13 sil-opt         0x0000000000723efc main + 1916
Stack dump:
0.	Program arguments: sil-opt -enable-sil-verify-all
1.	With parser at source location: <stdin>:4:1
2.	While verifying SIL function @a for <stdin>:3:21
```
 2015-12-19 11:48:50 +01:00
Dmitri Gribenko
e545aba350 Merge pull request #642 from practicalswift/sil-004-swift-expr-getsourcerange 
[SIL] Add test case for crash triggered in swift::Expr::getSourceRange()
 2015-12-18 22:37:47 -08:00
practicalswift
f94d870fc9 Rename SIL crash - use .sil suffix instead of .swift 2015-12-18 21:16:30 +01:00
practicalswift
6e2b9b22d3 [SIL] Add test case for crash triggered in swift::Expr::getSourceRange() const 
Stack trace:

```
<stdin>:3:15: error: expected convention name identifier in 'convention' attribute
l<@convention()>(
              ^
<stdin>:3:16: error: expected type
l<@convention()>(
               ^
<stdin>:3:2: note: while parsing this '<' as a type parameter bracket
l<@convention()>(
 ^
<stdin>:3:18: error: expected expression in list of expressions
l<@convention()>(
                 ^
<stdin>:3:18: error: expected ',' separator
l<@convention()>(
                 ^
                 ,
<stdin>:3:1: error: expressions are not allowed at the top level
l<@convention()>(
^
sil-opt: /path/to/swift/include/swift/Basic/SourceLoc.h:93: swift::SourceRange::SourceRange(swift::SourceLoc, swift::SourceLoc): Assertion `Start.isValid() == End.isValid() && "Start and end should either both be valid or both be invalid!"' failed.
8  sil-opt         0x0000000000d3598b swift::Expr::getSourceRange() const + 1371
17 sil-opt         0x0000000000ccbfd4 swift::Decl::walk(swift::ASTWalker&) + 20
18 sil-opt         0x0000000000d5495e swift::SourceFile::walk(swift::ASTWalker&) + 174
19 sil-opt         0x0000000000d84594 swift::verify(swift::SourceFile&) + 52
20 sil-opt         0x00000000009f50b3 swift::Parser::parseTopLevel() + 563
21 sil-opt         0x00000000009f049f swift::parseIntoSourceFile(swift::SourceFile&, unsigned int, bool*, swift::SILParserState*, swift::PersistentParserState*, swift::DelayedParsingCallbacks*) + 207
22 sil-opt         0x0000000000739116 swift::CompilerInstance::performSema() + 2918
23 sil-opt         0x0000000000723d6c main + 1916
Stack dump:
0.	Program arguments: sil-opt -enable-sil-verify-all
1.	With parser at source location: <stdin>:3:18
2.	While walking into decl declaration 0x5fa2ee0 at <stdin>:3:1
3.	While verifying ranges expression at [<stdin>:3:1 - line:3:1] RangeText="l"
```
 2015-12-18 21:00:19 +01:00
Dmitri Gribenko
883aee82c1 Merge pull request #631 from practicalswift/sil-002-swift-performnamebinding 
[SIL] Add test case for crash triggered in swift::performNameBinding(…)
 2015-12-18 02:32:49 -08:00
practicalswift
fa711cb9ce [SIL] Add test case for crash triggered in swift::Parser::parseTypeSimple(swift::Diag<>, bool) 
Stack trace:

```
<stdin>:3:7: error: expected '(' in argument list of function declaration
func x:inout p<
      ^
<stdin>:3:7: error: expected '->' after function parameter tuple
func x:inout p<
      ^
      ->
<stdin>:3:16: error: expected type
func x:inout p<
               ^
sil-opt: /path/to/swift/include/swift/Parse/ParserResult.h:73: T *swift::ParserResult<swift::TypeRepr>::get() const [T = swift::TypeRepr]: Assertion `getPtrOrNull() && "not checked for nullptr"' failed.
8  sil-opt         0x0000000000a54abd swift::Parser::parseTypeSimple(swift::Diag<>, bool) + 1229
9  sil-opt         0x0000000000a5620a swift::Parser::parseType(swift::Diag<>, bool) + 202
10 sil-opt         0x0000000000a1e1fc swift::Parser::parseFunctionSignature(swift::Identifier, swift::DeclName&, llvm::SmallVectorImpl<swift::Pattern*>&, swift::Parser::DefaultArgumentInfo&, swift::SourceLoc&, bool&, swift::TypeRepr*&) + 1020
11 sil-opt         0x0000000000a07cb5 swift::Parser::parseDeclFunc(swift::SourceLoc, swift::StaticSpellingKind, swift::OptionSet<swift::Parser::ParseDeclFlags, unsigned int>, swift::DeclAttributes&) + 1957
12 sil-opt         0x00000000009ff69a swift::Parser::parseDecl(llvm::SmallVectorImpl<swift::Decl*>&, swift::OptionSet<swift::Parser::ParseDeclFlags, unsigned int>) + 3306
13 sil-opt         0x0000000000a4968b swift::Parser::parseBraceItems(llvm::SmallVectorImpl<swift::ASTNode>&, swift::BraceItemListKind, swift::BraceItemListKind) + 2027
14 sil-opt         0x00000000009f413c swift::Parser::parseTopLevel() + 156
15 sil-opt         0x00000000009ef6bf swift::parseIntoSourceFile(swift::SourceFile&, unsigned int, bool*, swift::SILParserState*, swift::PersistentParserState*, swift::DelayedParsingCallbacks*) + 207
16 sil-opt         0x0000000000738da6 swift::CompilerInstance::performSema() + 2918
17 sil-opt         0x00000000007239fc main + 1916
Stack dump:
0.	Program arguments: sil-opt -enable-sil-verify-all
1.	With parser at source location: <stdin>:4:1
```
 2015-12-18 08:52:11 +01:00
practicalswift
65e7ee6080 [SIL] Add test case for crash triggered in swift::performNameBinding(swift::SourceFile&, unsigned int) 
Stack trace:

```
sil-opt: /path/to/swift/lib/Sema/NameBinding.cpp:196: void (anonymous namespace)::NameBinder::addImport(SmallVectorImpl<std::pair<ImportedModule, ImportOptions> > &, swift::ImportDecl *): Assertion `topLevelModule && "top-level module missing"' failed.
8  sil-opt         0x0000000000a5ae29 swift::performNameBinding(swift::SourceFile&, unsigned int) + 6969
9  sil-opt         0x0000000000a63a37 swift::performTypeChecking(swift::SourceFile&, swift::TopLevelContext&, swift::OptionSet<swift::TypeCheckingFlags, unsigned int>, unsigned int) + 55
10 sil-opt         0x0000000000738af2 swift::CompilerInstance::performSema() + 2946
11 sil-opt         0x000000000072373c main + 1916
Stack dump:
0.	Program arguments: sil-opt -enable-sil-verify-all
```
 2015-12-17 23:15:35 +01:00
Dmitri Gribenko
1d5c9b153b Annotate SIL crash tests for the --no-assertions build 2015-12-17 14:53:55 -07:00
practicalswift
a95646680d [SIL] Add test case for crash triggered in swift::Parser::parseSILVTable() 
Stack trace:

```
sil-opt: /path/to/swift/lib/Parse/ParseSIL.cpp:790: llvm::PointerUnion<ValueDecl *, Module *> lookupTopDecl(swift::Parser &, swift::Identifier): Assertion `DeclLookup.isSuccess() && DeclLookup.Results.size() == 1' failed.
9  sil-opt         0x0000000000a24740 swift::Parser::parseSILVTable() + 640
10 sil-opt         0x00000000009f38d3 swift::Parser::parseTopLevel() + 707
11 sil-opt         0x00000000009eecbb swift::parseIntoSourceFile(swift::SourceFile&, unsigned int, bool*, swift::SILParserState*, swift::PersistentParserState*, swift::DelayedParsingCallbacks*) + 107
12 sil-opt         0x0000000000738ad6 swift::CompilerInstance::performSema() + 2918
13 sil-opt         0x000000000072373c main + 1916
Stack dump:
0.	Program arguments: sil-opt -enable-sil-verify-all
1.	With parser at source location: <stdin>:2:13
```
 2015-12-17 20:07:37 +01:00
James McLaughlin
9da5899652 Consistently use env(1) to resolve bash and python paths 2015-12-03 20:55:27 +00:00
Mark Lacey
517723dbe9 Add -enable-sil-verify-all to sil-opt tests. 
Also remove -verify from almost all of them, since only two actually
have expected diagnostic output that is tested.

Swift SVN r32198
 2015-09-24 07:25:15 +00:00
Jordan Rose
ceedc93715 [test] Remove spurious -sdk passed to %target-sil-opt. 
Thanks, Dmitri!

Swift SVN r29127
 2015-05-29 00:32:16 +00:00
Jordan Rose
5baee3e3bf [test] verify_all_overlays.sil doesn't require ObjC interop. 
(because it doesn't name any specific overlays)

Swift SVN r29126
 2015-05-29 00:21:41 +00:00
Jordan Rose
52947de17f [test] Update parse_stdlib_* "automatically generated from" header. 
...since I renamed the parent directory. Thanks, Dmitri!

Swift SVN r29125
 2015-05-29 00:21:37 +00:00
Jordan Rose
ac5fa6740c [Serialization] Only serialize witness tables for the current file or module. 
Otherwise, we end up with duplicates.

rdar://problem/21145040

Swift SVN r29121
 2015-05-28 23:33:08 +00:00