Commit Graph

7859 Commits

Author SHA1 Message Date
Doug Gregor
3805e18090 Explicitly track the mapping from dependent types to their opened type variables.
Previously, we were reconstructing this mapping from the "full" opened
type produced by declaration references. However, when dealing with
same-type constraints between associated types and type parameters, we
could end up with an incomplete mapping, which let archetypes slip
through. Most of the churn here is sorting out the locators we need to
use to find the opened-type information. Fixes rdar://problem/18208283
and at least 3 dupes of it that I've found so far.

Swift SVN r25375
2015-02-18 19:41:40 +00:00
Dmitri Hrybenko
05906dbc16 Annotate crash tests that don't crash when the compiler is built without
assertions

Swift SVN r25350
2015-02-17 05:04:20 +00:00
Dmitri Hrybenko
d14dd26372 Annotate a crash test that does not crash anymore
Swift SVN r25348
2015-02-17 03:49:58 +00:00
Dmitri Hrybenko
51db8ec975 tests: dissolve PrimitiveDataTypes.swift in other test files
Swift SVN r25345
2015-02-17 03:27:24 +00:00
Dmitri Hrybenko
90b6348029 Annotate crasher tests where ASan does not detect issues anymore
Swift SVN r25297
2015-02-14 13:07:14 +00:00
Dmitri Hrybenko
8459b8418f Annotate two crash tests that don't crash anymore
Swift SVN r25296
2015-02-14 12:59:19 +00:00
Dmitri Hrybenko
f6faf8ad81 sil-opt: implement partial AST verification
... and use it to parallelize the parse_stdlib.sil test, which was
taking too long.

Swift SVN r25295
2015-02-14 11:48:11 +00:00
Jordan Rose
e635d6a993 In the spirit of r25276, break circularity with generic functions, too.
Also beef up the main test case a little.

I don't have a Radar, but this fixes 177 compiler_crashers!

Swift SVN r25281
2015-02-13 19:59:48 +00:00
Jordan Rose
b2dd3cea7c Update compiler_crashers for r25276.
Swift SVN r25277
2015-02-13 19:20:21 +00:00
Dmitri Hrybenko
4c8fad7f40 tests: add (failing) tests for mandatory inlining of && and ||
Swift SVN r25261
2015-02-13 01:14:13 +00:00
Dmitri Hrybenko
e0abaec0a7 tests: remove -verify from a stdlib parsing test, it is a no-op here
sil-opt -verify does diagnostic verification, like swift -verify.

Swift SVN r25260
2015-02-13 01:14:10 +00:00
Dmitri Hrybenko
d65d46562a tests: merge two tests for fixed point types
Swift SVN r25233
2015-02-12 11:26:01 +00:00
Dmitri Hrybenko
1dec9814bb Revert a chain of work-in-progress commits implementing readLine() that
I committed by mistake.

Swift SVN r25224
2015-02-12 02:33:21 +00:00
Dmitri Hrybenko
38a14768e7 Annotate a crasher test that is not crashing anymore
Swift SVN r25223
2015-02-12 02:29:00 +00:00
Dmitri Hrybenko
74e5b71b0f wip
Swift SVN r25222
2015-02-12 02:29:00 +00:00
Dmitri Hrybenko
cdb7850e0a stdlibunittest stdin wip
Swift SVN r25221
2015-02-12 02:28:59 +00:00
Dmitri Hrybenko
4bc91af128 Annotate that 0002-rdar19792768.swift only crashes with assertions
enabled

Swift SVN r25189
2015-02-11 19:36:42 +00:00
Ben Langmuir
afd4f98a6b Add XFAIL: no_asserts to compiler_crashers_2/0001-rdar19792730.swift
Swift SVN r25181
2015-02-11 17:33:30 +00:00
Dmitri Hrybenko
64ffcf43bf tests: check that array generators traverse a snapshot of the array
Swift SVN r25172
2015-02-11 07:12:26 +00:00
Dmitri Hrybenko
a99093581b stdlib: change {Dictionary,Set}.Generator to value semantics
Generator observes a snapshot of the collection.  Mutating the
collection should not have any effect on existing generators.

rdar://19726013

Swift SVN r25171
2015-02-11 07:12:25 +00:00
Dmitri Hrybenko
b76f6b27ec Add tests for compiler crasher bugs that I filed recently
If these tests start passing, we would conveniently know which bugs we
can close.

Swift SVN r25170
2015-02-11 07:12:19 +00:00
Dmitri Hrybenko
6f6ca68aaf stdlib: mark closures in Array.map() and Array.filter() with @noescape
rdar://19389247

Swift SVN r25131
2015-02-10 19:54:28 +00:00
Joe Groff
63463f54ac SIL: Mangle the static-ness of declarations.
This lets us disambiguate the symbols for static and instance properties, and enables us to eventually leave the useless "self" type mangling out of method symbols. Fixes rdar://19012022 and dupes thereof, including crasher #1341.

Swift SVN r25111
2015-02-10 02:37:35 +00:00
Denis Vnukov
152df92966 [CodeCompletion] Code Completion String getName should always return non-empty string value for
valid code completions. Code completion tests call and validate getName’s result. 

A minor fix for code completion fro subscripts.



Swift SVN r25101
2015-02-09 22:32:05 +00:00
Dmitri Hrybenko
a35767757e StdlibUnittest: add an asertion, expectUnreachable()
Swift SVN r25090
2015-02-09 05:39:26 +00:00
Dmitri Hrybenko
a477e5a857 Simplify substitutions used in the parse_stdlib.sil test
Swift SVN r25087
2015-02-09 00:25:27 +00:00
Jordan Rose
1e4f4b1939 Update fixed compiler crashers for r25059.
Swift SVN r25066
2015-02-07 04:09:32 +00:00
Dmitri Hrybenko
82828ae5a4 tests: use line-directive to run generated tests
Swift SVN r25026
2015-02-06 01:10:58 +00:00
Dmitri Hrybenko
400bd74ae7 validation-test: use %target substitutions more
Swift SVN r25024
2015-02-06 01:10:56 +00:00
Dmitri Hrybenko
f3972edecd Annotate a crash test that does not crash now
Swift SVN r24992
2015-02-05 05:31:35 +00:00
Dmitri Hrybenko
eae39871bc Annotate tests that no longer crash under AddressSanitizer
Swift SVN r24988
2015-02-05 02:44:55 +00:00
Doug Gregor
e855ae8f58 Clang importer: only consider imported initializers when filtering out duplicates.
Fixes rdar://problem/18500201 and 16 of the crashes in the crash suite.

Swift SVN r24982
2015-02-05 00:07:58 +00:00
Dmitri Hrybenko
de14227634 validation-test: annotate test that started hitting an assertion
Swift SVN r24979
2015-02-04 23:41:59 +00:00
Dmitri Hrybenko
f09b4f3a81 validation-test: annotate tests that don't crash anymore
Swift SVN r24978
2015-02-04 22:55:41 +00:00
Dmitri Hrybenko
e4b1cbeb64 stdlib: remove .null() static factories on unsafe pointers
These APIs are redundant with nil literals and the default initializer.

rdar://19159145

Swift SVN r24957
2015-02-04 11:17:55 +00:00
Dmitri Hrybenko
34d393bd22 stdlib: stop using AutoreleasingUnsafeMutablePointer.null()
Swift SVN r24956
2015-02-04 11:17:54 +00:00
Dmitri Hrybenko
f04e0d9748 tests: simplify RUN lines
Swift SVN r24954
2015-02-04 11:17:53 +00:00
Dmitri Hrybenko
5bc75e821a Use a relative path for the in-tree symlink
Swift SVN r24953
2015-02-04 11:17:52 +00:00
Dmitri Hrybenko
0b5843ab43 Add XFAILs for tests that started failing under AddressSanitizer
Swift SVN r24952
2015-02-04 10:43:56 +00:00
Dmitri Hrybenko
c4123d78f4 Remove XFAIL annotations in tests that don't fail under AddressSanitizer anymore
Swift SVN r24951
2015-02-04 10:43:54 +00:00
Dmitri Hrybenko
abc3f1078d Annotate tests that don't crash anymore
Swift SVN r24940
2015-02-04 04:53:05 +00:00
Dave Abrahams
f16398c6db [stdlib] Clean up unintentionally committed dump()s
Swift SVN r24937
2015-02-04 03:21:18 +00:00
Dave Abrahams
ed8c302a93 [stdlib] Move tests that challenge a debug compiler
...into the validation suite.  This is the wrong solution but at least
the bots will continue to run all the tests and we won't regress.

Swift SVN r24934
2015-02-04 01:53:14 +00:00
Dmitri Hrybenko
bea947c53b Annotate compiler crasher tests that now hit assertions under
AddressSanitizer

This is an improvement, previously these tests used to trigger a trap in
AddressSanitizer.

Swift SVN r24919
2015-02-03 17:15:40 +00:00
Joe Pamer
9c2bc50acd In some cases, the same type error will result in different diagnostics being emitted between ARM and x86 targets.
Addressing rdar://problem/19434979 will allow us to swizzle expected errors based on build configuration options,
but until I can push that change we should generalize a few of the expected errors in the FixedPointDiagnostics test,
and re-enable the test on ARM.

Swift SVN r24910
2015-02-03 00:35:09 +00:00
Dmitri Hrybenko
9ade11ae39 XFAIL FixedPointDiagnostics.swift.gyb on armv7 in addition to arm64
<rdar://problem/19677545> Type checker diagnostics differ between
platforms for "var a: UInt8 = -(1)"

Swift SVN r24891
2015-02-02 07:14:36 +00:00
Dmitri Hrybenko
3407325ad4 XFAIL FixedPointDiagnostics.swift.gyb for arm64 because of:
<rdar://problem/19677545> Type checker diagnostics differ between
platforms for "var a: UInt8 = -(1)"

Swift SVN r24884
2015-02-01 06:05:48 +00:00
Joe Pamer
666646fee9 Fix "the world's shortest Swift crasher" (case 1083), as described this afternoon on Twitter by @PracticalSwift. Doing so has the nice side effect of addressing several other crashers.
Swift SVN r24857
2015-01-30 21:50:22 +00:00
Graham Batty
83b4384fac Update test flags for linux failures and support.
Also removed the sdk 'feature' in favour of the more specific
objc_interop.

Swift SVN r24856
2015-01-30 21:31:48 +00:00
Dmitri Hrybenko
8ab8730f73 tests: update CoreAudio test for 32-bit iOS simulator
Swift SVN r24845
2015-01-30 05:10:32 +00:00