Gabor Horvath
e0a431ec98
[cxx-interop] Diagnose Escapable C++ types with non-escapable fields
...
rdar://148899224
2025-04-09 13:01:31 +01:00
Allan Shortlidge
94a8526526
Merge pull request #80616 from tshortli/availability-domain-serialization
...
Serialization: Encode custom availability domains
2025-04-08 22:39:03 -07:00
Andrew Trick
a1fc2bc4d4
Merge pull request #80577 from atrick/addressable-escape
...
Fix GenericSpecializer for addressable parameters.
2025-04-08 12:44:28 -07:00
Rashmi Mudduluru
5e2f20b2d8
[SUA][IRGen] Add stub for swift_coroFrameAlloc that weakly links against the runtime function ( #79889 )
...
* [SUA][IRGen] Add stub for swift_coroFrameAlloc that weakly links against the runtime function
This commit modifies IRGen to emit a stub function `__swift_coroFrameAllocStub` instead of the
newly introduced swift-rt function `swift_coroFrameAlloc`. The stub checks whether the runtime has the symbol
`swift_coroFrameAlloc` and dispatches to it if it exists, uses `malloc` otherwise. This ensures the
ability to back deploy the feature to older OS targets.
rdar://145239850
2025-04-08 09:58:24 -07:00
Allan Shortlidge
10c910ed83
ModuleInterface: Guard declarations that use the $CustomAvailability feature.
2025-04-08 08:53:44 -07:00
Allan Shortlidge
abac42b759
Serialization: Encode custom availability domains.
...
When serializing `@available` attributes, if the attribute applies to a custom
domain include enough information to deserialize the reference to that domain.
Resolves rdar://138441265.
2025-04-08 08:53:42 -07:00
Slava Pestov
6db4c37880
Merge pull request #80594 from slavapestov/sil-abstract-conformance-cleanup
...
SIL: Tiny conformance substitution cleanups
2025-04-08 09:09:53 -04:00
Slava Pestov
504e83c3ad
Merge pull request #80596 from slavapestov/swift-6.1-is-out
...
Update 'SwiftStdlib 6.1' availability macro
2025-04-08 08:51:46 -04:00
Slava Pestov
ec82f6bf4d
SIL: Remove SILWitnessTable::AssociatedConformanceWitness::SubstType
2025-04-07 21:36:06 -04:00
Slava Pestov
b94a0448f2
SIL: Remove SILWitnessTable::ConditionalConformance
2025-04-07 21:36:05 -04:00
Slava Pestov
35df1b75b2
SILCloner: Use SubstitutionMap::mapIntoTypeExpansionContext()
2025-04-07 21:36:05 -04:00
Slava Pestov
70d864c4c6
SILCloner: Stop passing around origType for conformance substitution
2025-04-07 21:36:05 -04:00
Gábor Horváth
fe98abb10b
Merge pull request #80598 from swiftlang/gaborh/nested-foreign-type-metadata
...
[cxx-interop] Fix a rare compilation error in reverse interop header
2025-04-08 00:02:04 +01:00
Andrew Trick
935b5e7ea2
Fix GenericSpecializer for addressable parameters.
...
Addressable parameters must remain indirect.
Incidentally also fixes an obvious latent bug in which all specialization was
disabled if any metatypes could not be specialized.
Fixes rdar://145687827 (Crash of inline-stored Span properties with optimizations)
2025-04-07 14:42:10 -07:00
Andrew Trick
501abb0975
Add SILFunctionType::isAddressable & ApplySite::isAddressable.
2025-04-07 14:42:10 -07:00
Andrew Trick
6898e33edd
[NFC] fix a dropUnusedArguments parameter name
2025-04-07 14:42:10 -07:00
Michael Gottesman
77a86a525b
Merge pull request #79891 from gottesmm/pr-9df6772bb44656cbd85cad72ee5c3637caab8956
...
Make Feature a struct enum so we can put methods on it.
2025-04-07 10:32:23 -07:00
Meghana Gupta
2d9217bb4f
Merge pull request #80541 from meg-gupta/inoutreland
...
Reland #80452
2025-04-07 10:20:10 -07:00
Slava Pestov
1f47f8001e
Update RuntimeVersions.def for Swift 6.1
2025-04-07 13:03:06 -04:00
Gabor Horvath
b3b20310f5
[cxx-interop] Fix a rare compilation error in reverse interop header
...
To trigger this error one needs to import a nested type from C++, use it
in a generic context in Swift, and export it back to C++. We were
inconsisent in what namespace did we declare the functions to get the
type metadata for types. It was in the swift namespace for foreign types
and in the module namespace for Swift types. This PR standardizes on how
the metadata function is declared and called to fix the issue.
Fixes #80538 .
rdar://148597079
2025-04-07 17:50:19 +01:00
Hamish Knight
cc23c25979
Merge pull request #80535 from hamishknight/cap-req
...
[Sema] Requestify PatternBindingDecl capture computation
2025-04-07 17:28:18 +01:00
Egor Zhdan
91e730a820
Merge pull request #79425 from CrazyFanFan/feature/cxx_multiple_swift_conforms_to_protocol
...
[c++ interop] Swift should allow multiple SWIFT_CONFORMS_TO_PROTOCOL attributes on a C++ class
2025-04-07 17:09:53 +01:00
Hamish Knight
8834f6c4c7
Merge pull request #80496 from hamishknight/message-in-a-crash-log
...
[Mangler] Include verification errors in the crash log
2025-04-07 17:03:18 +01:00
nate-chandler
1d3e669d63
Merge pull request #80555 from nate-chandler/bug/20250404/1
...
[SIL] Fix bridged begin_apply results.
2025-04-07 07:25:16 -07:00
Crazy凡
c05d1fc135
[c++ interop] Swift should allow multiple SWIFT_CONFORMS_TO_PROTOCOL attributes on a C++ class.
2025-04-06 22:24:14 +08:00
eeckstein
98739a412a
Merge pull request #80543 from eeckstein/isolated-conformance-opt
...
CastOptimizer: handle isolated conformances
2025-04-06 10:59:51 +02:00
Anthony Latsis
5c190b9613
AST: Cut down on DescriptiveDeclKind usage in DiagnosticsSIL.def
2025-04-05 12:31:20 +01:00
Anthony Latsis
3c3dd54f39
AST: Cut down on DescriptiveDeclKind usage in DiagnosticsParse.def
2025-04-05 12:31:20 +01:00
Anthony Latsis
2d899d0e73
AST: Cut down on DescriptiveDeclKind usage in DiagnosticsCommon.def
2025-04-05 12:31:20 +01:00
Anthony Latsis
cdb2aaccfd
AST: Cut down on DescriptiveDeclKind usage in DiagnosticsClangImporter.def
2025-04-05 12:31:20 +01:00
Anthony Latsis
a0930dec31
AST: Cut down on DescriptiveDeclKind usage in DiagnosticsSema.def
2025-04-05 12:31:19 +01:00
Anthony Latsis
08d46d2542
Merge pull request #80473 from AnthonyLatsis/diag_type_attr
...
DiagnosticEngine: Support `TypeAttribute` diagnostic arguments
2025-04-05 12:25:45 +01:00
Hamish Knight
ccdff3259c
Merge pull request #80546 from hamishknight/mangle-less
...
[Mangler] Avoid mangling local discriminator for attached macros
2025-04-05 10:14:49 +01:00
Michael Gottesman
3ff9463957
Make Feature a struct enum so we can put methods on it.
...
Just noticed this as I was looking at making other changes.
2025-04-05 10:08:29 +01:00
Erik Eckstein
e18bedaa87
CastOptimizer: pass the SIL function to the cast-classify APIs, instead of the module decl
...
NFC
2025-04-05 09:00:30 +02:00
Erik Eckstein
9df1039379
SIL: add matchesActorIsolation
...
Returns true if the conformance is not isolated or if its isolation matches the isolation `inFunction`.
2025-04-05 09:00:30 +02:00
Nate Chandler
df2fb88e9b
[SIL] Fix bridged begin_apply results.
...
The `yield_once_2` adds an extra result at the end, the deallocation.
Fix the indexing for the token and yielded results.
2025-04-04 18:12:26 -07:00
nate-chandler
0063af561f
Merge pull request #80520 from nate-chandler/general-coro/20250403/1
...
[CoroutineAccessors] Use async bit in descriptors.
2025-04-04 15:47:19 -07:00
Hamish Knight
da1d37de26
[Mangler] Avoid mangling local discriminator for attached macros
...
If we're using the macro-specific local discriminator, we need to
make sure we avoid mangling the regular local discriminator in
`appendDeclName`, since that could prematurely kick local discriminator
assignment before type-checking has finished.
rdar://143834482
2025-04-04 19:41:04 +01:00
Meghana Gupta
ef1e94577f
Revert "Merge pull request #80540 from swiftlang/revert-80452-lifetimeinout"
...
This reverts commit 6eaa07a880 , reversing
changes made to e75ee3f4cf .
2025-04-04 09:50:13 -07:00
Artem Chikin
6eaa07a880
Merge pull request #80540 from swiftlang/revert-80452-lifetimeinout
...
Revert "Add support for inout lifetime dependence"
2025-04-04 09:31:46 -07:00
Joe Groff
b4fb5296f9
Merge pull request #80519 from jckarter/canonicalize-integer-generic-parameters
...
Canonicalize different spellings of the same integer generic parameter.
2025-04-04 09:25:18 -07:00
Pavel Yaskevich
8bf8c24bf9
Merge pull request #80503 from xedin/extensible-attr
...
[AST/Sema] Add `@extensible` attribute on `enum` declarations
2025-04-04 09:17:56 -07:00
Artem Chikin
39e1791b67
Revert "Add support for inout lifetime dependence"
2025-04-04 09:00:09 -07:00
Hamish Knight
4676eaa110
[Sema] Requestify PatternBindingDecl capture computation
...
Introduce `PatternBindingCaptureInfoRequest`, and kick it after
contextualizing a property initializer. This ensures it gets run
for stored properties added by macro expansions.
rdar://143429551
2025-04-04 16:01:39 +01:00
Slava Pestov
9148ae32bd
Merge pull request #80482 from slavapestov/abstract-conformance-cleanup
...
AST: Simplify ProtocolConformanceRef operations a little bit
2025-04-04 10:37:49 -04:00
Meghana Gupta
50ea777936
Merge pull request #80452 from meg-gupta/lifetimeinout
...
Add support for inout lifetime dependence
2025-04-04 02:04:53 -07:00
eeckstein
253f730f92
Merge pull request #80506 from eeckstein/fix-simplify-alloc-stack
...
Fix two bugs in alloc_stack simplification
2025-04-04 07:21:18 +02:00
Doug Gregor
a452a41440
Merge pull request #80508 from 3405691582/bootstrap
...
Fix the bootstrap build.
2025-04-03 21:23:59 -07:00
Nate Chandler
66ca0d8d4b
[CoroutineAccessors] Use async bit in descriptors.
...
To facilitate back deployment, make use of the fact that the async bit
has up to now never been set for read and modify accessors and claim
that set bit to indicate that it is a callee-allocated coroutine. This
has the virtue of being completely back deployable because like async
function pointers coro function pointers must be auth'd and signed as
data.
2025-04-03 19:49:44 -07:00