Commit Graph

7754 Commits

Author SHA1 Message Date
Anthony Latsis
2c955cbca8 Gardening: Migrate test suite to GH issues: validation-test/Casting 2022-09-19 03:37:41 +03:00
Drew Maxwell
7825221cd4 Updating Swift tests to remove outdated tests and use more current calls. 2022-09-16 15:11:10 -07:00
Pavel Yaskevich
c4b7d6da24 Merge pull request #61091 from xedin/issue-60958-alt
[ConstraintSystem] Use witnesses for `makeIterator` and `next` refs in `for-in` context
2022-09-15 08:58:20 -07:00
Guillaume Lessard
8a146bc417 Merge pull request #61110 from glessard/rdar99933632-32bit-slice-loadUnaligned
[test] fix buffer overflow in 32-bit device testing
2022-09-15 04:48:31 -06:00
Guillaume Lessard
03c9ac9c98 [test] fix buffer overflow in 32-bit device testing 2022-09-14 16:24:16 -06:00
Pavel Yaskevich
c798a7fb72 [CSSimplify] Member ref decays into value witness for makeIterator in for-in
Reference to `makeIterator` in for-in loop context needs to be
treated as a reference to a witness of `Sequence#makeIterator`
requirement, otherwise it could lead to problems with retroactive
conformances.
2022-09-14 11:35:27 -07:00
Guillaume Lessard
2689b6044b Merge pull request #41608 from glessard/se-pointer-family-initialization 2022-09-13 22:00:59 -06:00
Pavel Yaskevich
3e791dd169 [CSClosure] Use correct type for implicit wrapper variables
Using `computeWrappedValueType` is incorrect because
that return a type of the wrapped variable and not
the *wrapper* variable (one that starts with `_`).

Resolves: https://github.com/apple/swift/issues/61017
2022-09-12 09:53:24 -07:00
Guillaume Lessard
71b6d99126 [test] fix a test warning 2022-09-11 05:17:22 -06:00
Guillaume Lessard
56c688777d [test] test overflow preconditions in collection copies 2022-09-09 18:02:43 -06:00
Alastair Houghton
67304e56fb [Test] Remove nonexistent library from target-run command.
This caused tests to fail if they were running remotely, but not locally.

rdar://99627836
2022-09-07 11:21:38 +01:00
Guillaume Lessard
83c18dee6b Update validation-test/stdlib/UnsafeBufferPointerSlices.swift
Co-authored-by: Ben Rimmington <me@benrimmington.com>
2022-09-06 15:10:53 -06:00
Luciano Almeida
cc11e1938f [test] Add regression test for fn builders 2022-09-06 01:39:30 -03:00
Eric Miotto
f7a11c7543 Tests all cases of infer-cross-compile-hosts-on-darwin at once (#60824)
The current implementation currently requires to have physical machine
for each architecture supported by macOS, which is not desirable.

To allow all cases to be tested on a random Mac machine, allow
to inject an arbitratry current architecture into the inference
of the cross compile hosts by means of an environment variable.

Addresses rdar://99096874
2022-08-30 00:10:40 -07:00
Arnold Schwaighofer
c528e966e8 Add missing REQUIRES: executable_test to the test IRGen/98995607.swift.gyb
redar://99229421
2022-08-29 06:17:18 -07:00
Guillaume Lessard
3e22d3a2bc [test] update to use the fromContentsOf argument label 2022-08-26 17:36:40 -06:00
Guillaume Lessard
d86b727c80 [test] add tests for load and store from slices 2022-08-26 17:36:40 -06:00
Guillaume Lessard
d63747f13d [stdlib] remove the single-element update functions
- as per an update to the proposal
2022-08-26 17:36:40 -06:00
Guillaume Lessard
bb69e34b52 [test] initialization of slices of UnsafeBufferPointer types 2022-08-26 17:36:40 -06:00
John McCall
013eda4cd2 Merge pull request #60782 from rjmccall/use-after-free-lazy-global-emission
Fix a potential use-after-free in lazy global emission.
2022-08-25 19:53:03 -04:00
Guillaume Lessard
1bba62ec13 Merge pull request #60613 from glessard/pointer-arithmetic-overflow-checks
[stdlib] add overflow checks for some pointer arithmetic
2022-08-25 14:37:44 -06:00
John McCall
847c060eaf Fix a potential use-after-free in lazy global emission.
Extended existential type shapes can trigger this by introducing
more entities (and thus causing GlobalVars to be rehashed) during
the lazy-emission callback.

Fixes rdar://98995607
2022-08-25 16:31:17 -04:00
Guillaume Lessard
3fcf2a2046 [test] pointer arithmetic overflow checks 2022-08-23 14:27:42 -06:00
Allan Shortlidge
6471cd24c3 Merge pull request #60714 from tshortli/property-wrapper-availability
Sema: Check the availability of property wrappers attached to VarDecls in named patterns
2022-08-23 09:04:25 -07:00
Eric Miotto
67b23d7d45 Merge pull request #60664 from edymtt/infer-cross-compile-hosts-on-darwin
Add a flag to infer appropriate cross compile hosts on Darwin
2022-08-23 07:04:36 -07:00
Doug Gregor
714eee0f52 Merge pull request #60720 from DougGregor/attribute-eof-parser-loop 2022-08-23 06:48:05 -07:00
Doug Gregor
28e1c304cf Allow declaration recovery to consume attributes.
Fixes https://github.com/apple/swift/issues/60702 / rdar://98967894
2022-08-22 21:45:25 -07:00
Allan Shortlidge
b5066bbcaf Sema: Check the availability of property wrappers attached to VarDecls in named patterns.
The availability of property wrappers was previously checked for typed patterns but not named patterns.

Resolves rdar://86698223.
2022-08-22 16:51:27 -07:00
Holly Borla
34d962461f Merge pull request #60671 from hborla/invalid-existential-access
[Diagnostics] Improve diagnostics for invalid type access on existential types.
2022-08-22 19:39:50 -04:00
Karoy Lorentey
ffab0c541f [test] UnicodeScalarProperties: Disable when Unicode data files aren’t available
To reenable, the test needs to be configured to upload these files to the remote machine that executes the tests.
2022-08-22 14:16:12 -07:00
Holly Borla
cd7bc86bb1 [Test] Update error message in validation test. 2022-08-22 17:07:25 -04:00
Pavel Yaskevich
ebc2396953 Merge pull request #60654 from xedin/issue-60649
[CSSimplify] Failure to bind type variable to invalid dependent membe…
2022-08-22 11:00:28 -07:00
Eric Miotto
c954130be0 Add a flag to infer appropriate cross compile hosts on Darwin
Addresses rdar://98787335, apple#60348
2022-08-22 09:37:52 -07:00
Pavel Yaskevich
4d039686fd [CSSimplify] Failure to bind type variable to invalid dependent member makes it a hole
If the failure is not reflected in constraint system it would let
the solver to form a _valid_ solution as if the constraint between
the type variable and the unresolved dependent member type never
existed.

Resolves: https://github.com/apple/swift/issues/60649
2022-08-19 11:39:40 -07:00
Nate Chandler
d744af576f [Test] Disabled test to investigate.
The test validation-test/SILOptimizer/hoist_destroy_addr.sil is failing
to parse with invalid SIL.  The input will need to be updated.

rdar://98890125
2022-08-19 10:52:59 -07:00
Pavel Yaskevich
10bd9433ef [TypeChecker] NFC: Adjust test-case for rdar://98577451
Replace `-target` with `-disable-availability-checking`
and drop `REQUIRES:` lines that limit test to macOS.
2022-08-16 13:18:29 -07:00
Pavel Yaskevich
b02e16de07 Merge pull request #60568 from xedin/rdar-98577451
[CSApply] Attempt value-to-opaque-result abstraction only after canon…
2022-08-16 09:47:42 -07:00
Pavel Yaskevich
b4949a0b2c [CSApply] Attempt value-to-opaque-result abstraction only after canonicalization
`ExprRewriter::coerceToType` should canonicalize contextual type before
attempting to use it for value abstraction, because sugared type could
have typealias references that hide their underlying opaque result types.

Resolves: rdar://98577451
2022-08-15 21:30:17 -07:00
Mishal Shah
91b2abe996 Merge pull request #60531 from apple/pull-request-rebranch
Merge `rebranch` into  `main` to support llvm-project `stable/20220421`
2022-08-15 17:10:56 -07:00
Slava Pestov
7d8f3e6b63 AST: Change return type of Requirement::subst() to Requirement
Instead of returning None, let callers check hasError() if they need to.

Fixes rdar://problem/98565072.
2022-08-12 14:03:57 -04:00
swift-ci
15ca62f550 Merge remote-tracking branch 'origin/main' into rebranch 2022-08-05 09:39:03 -07:00
Pavel Yaskevich
a803cb50fa Merge pull request #60384 from xedin/rdar-94506352-aux-vars
[CSClosure] Add support for projected/wrapper values
2022-08-05 09:19:08 -07:00
swift-ci
d81ba4efc7 Merge remote-tracking branch 'origin/main' into rebranch 2022-08-05 05:33:06 -07:00
Ehud Adler
f11e2afe07 [cxx-interop] Always import cxx shim when cxx-interop is enabled (#60336) 2022-08-05 08:28:47 -04:00
Pavel Yaskevich
0989f43bb1 [CSClosure] Add support for projected/wrapper values
To support referencing projected and/or wrapped var
in a closure solver needs to lookup a type of their
originator and based on the wrapper type compute and
assign types to projection and/or wrapper.

Resolves: https://github.com/apple/swift/issues/59295
Resolves: rdar://94506352
2022-08-04 16:55:02 -07:00
Ben Barham
22d62bb4e0 Merge remote-tracking branch 'origin/main' into rebranch
Trivial conflict caused by the line above the
`IGM.constructInitialFnAttributes` change in `lib/IRGen/GenDecl.cpp`
having an extra argument passed in rebranch (due to the new LLVM API).
2022-08-03 19:12:06 -07:00
Guillaume Lessard
57bee9c861 [test] load a value of the 128-bit floating point type 2022-08-01 15:16:22 -06:00
Guillaume Lessard
a9a740d24c [test] modify to be compatible with minimal stdlib
- validate that unaligned loads work for types with large alignments
- in the minimal stdlib, only `Builtin` types can be used for this
2022-07-29 12:31:16 -06:00
swift-ci
f7e4935a7f Merge remote-tracking branch 'origin/main' into rebranch 2022-07-20 05:37:11 -07:00
Alex Hoppen
57d504cbcd Merge pull request #60062 from ahoppen/pr/placeholder-for-errors
[CS] Don’t fail constraint generation for ErrorExpr or if type fails to resolve
2022-07-20 14:15:43 +02:00