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