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