Paolo Tranquilli
2910cb68ce
Swift: extract ExtracFunctionIsolationExpr
2025-04-14 10:35:21 +02:00
Paolo Tranquilli
a4f7981d93
Swift: accept test changes
2024-12-06 14:44:01 +01:00
Paolo Tranquilli
f81f30cc4d
Swift: accept test changes
2024-12-06 12:47:54 +01:00
Paolo Tranquilli
814218c7a8
Swift: extract variables as children of ForEachStmt
2024-11-28 11:03:46 +01:00
Paolo Tranquilli
1f356078ff
Swift: temporarily accept test changes
2024-10-31 15:57:31 +01:00
Tom Hvitved
4ab5a1a060
Swift: Run code generator
2024-09-16 13:40:02 +02:00
Paolo Tranquilli
0243d9f2b9
Swift: accept explicit any in existential type name
2024-03-27 13:49:15 +01:00
Paolo Tranquilli
b8e38288e3
Swift: add extraction of ThenStmt
...
These are currently added implicitly by the compiler in the context of
`if`/`switch` expressions. In the future, there might be explicit
`then <expr>` statement useful for cases where one would like to add
more than one statement in the branch, to mark what value to actually
use.
See https://forums.swift.org/t/pitch-multi-statement-if-switch-do-expressions/68443
2024-03-27 13:26:04 +01:00
Paolo Tranquilli
eb142184f3
Swift: accept test changes
2024-02-19 13:53:19 +01:00
Robert Marsh
30caf2130e
Swift: autoformat a test
2023-11-29 21:04:09 +00:00
Robert Marsh
16e6e8845c
Swift: tests for pattern types
2023-11-29 21:04:08 +00:00
Alex Denisov
20e95137f4
Swift: remove MaterizliePackExpr tests as they are only working on macOS 14
2023-11-24 09:55:10 +01:00
Alex Denisov
6a673e700b
Swift: extract DiscardStmt
2023-11-24 09:46:01 +01:00
Alex Denisov
5cd74213cc
Swift: extract MaterizliePackExpr
2023-11-24 09:45:01 +01:00
Alex Denisov
dde2ad1290
Swift: do not print MacroRole as part of AST
2023-11-21 14:49:55 +01:00
Alex Denisov
8b126fe51a
Swift: extract MacroDecl
2023-11-15 14:07:45 +01:00
Alex Denisov
002f2a0985
Swift: extract BorrowExpr
2023-11-13 15:55:37 +01:00
Alex Denisov
d21e27c717
Swift: extract ConsumeExpr
2023-11-13 15:55:37 +01:00
Alex Denisov
30e4822fb7
Swift: extract CopyExpr
2023-11-13 15:55:37 +01:00
Alex Denisov
0fb439b54d
Swift: test ElementArchetypeType via PackType
2023-11-10 11:44:45 +01:00
Alex Denisov
e865c3cbd3
Swift: extract parameter packs
2023-11-10 10:20:14 +01:00
Alex Denisov
12f9e3a1dd
Swlft: fix CFG for SingleValueStmtExpr
2023-11-07 18:12:39 +01:00
Alex Denisov
df256e601a
Swlft: add explicit SingleValueStmtExpr test
2023-11-07 17:26:44 +01:00
Alex Denisov
33de177fea
Swift: extract SingleValueStmtExpr
2023-11-07 13:40:35 +01:00
Alex Denisov
bbde709b3f
Swift: upgrade to 5.9.1
2023-11-07 13:40:28 +01:00
Paolo Tranquilli
7bae2d9192
Swift: fix tests
2023-10-31 10:44:41 +01:00
Paolo Tranquilli
f81a3ec464
Swift: add VarDecl children to CaptureListExpr
2023-10-30 17:04:53 +01:00
Mathias Vorreiter Pedersen
9e2f0b5ed0
Merge branch 'main' into redsun82/swift-case-variables
2023-10-30 10:14:45 +00:00
Geoffrey White
1929dead39
Merge branch 'main' into implicitflow
2023-10-27 23:35:54 +01:00
Paolo Tranquilli
9196939384
Swift: canonicalize all VarDecls
2023-10-25 10:38:17 +02:00
Paolo Tranquilli
2f0ee12584
Swift: fix patterns/bound_and_unbound.ql test
2023-10-23 17:36:42 +02:00
Paolo Tranquilli
f22d60f011
Swift: clean up VarDecl, NamedPattern and SwitchStmt interactions
...
* `variables` under `CaseStmt` are now AST children, which solves
orphan `VarDecl`s in that case
* reordered `CaseStmt` AST children to be `labels > variables > body`
(was `body > labels`)
* made `NamedPattern::getVarDecl` an extracted property instead of
`getName`
* The above led to duplicate DB entities because of a quirk in the
Swift compiler code. This is solved by tweaking the extraction of
`variables` under `CaseStmt` to not use `getCaseBodyVariables`.
2023-10-23 17:36:42 +02:00
Paolo Tranquilli
7cc20587ad
Codegen: add @qltest.test_with
...
This allows to group together related AST classes to reuse the same
test source and extraction. For example this is useful for
`EnumDecl/EnumCaseDecl/EnumElementDecl`, where this is applied to.
2023-10-23 14:51:22 +02:00
Geoffrey White
1f92267786
Swift: Sort out identical files situation.
2023-10-16 11:26:12 +01:00
Alex Denisov
4133284bc8
Swift: skip declarations marked as unavailable
2023-10-11 10:55:49 +02:00
Robert Marsh
ae1072e09f
Merge branch 'main' into rdmarsh2/swift/for-in
2023-09-26 15:12:46 +00:00
Paolo Tranquilli
dc299fc9fa
Merge pull request #14208 from github/redsun82/swift-unordered-base-types
...
Swift: rename `base_types` in `TypeDecl` to `inherited_types`
2023-09-18 14:21:20 +02:00
Robert Marsh
56b646a74c
Merge branch 'main' into rdmarsh2/swift/for-in
2023-09-14 14:14:06 +00:00
Paolo Tranquilli
270c6407f0
Swift: accept test changes
2023-09-14 10:18:41 +02:00
Paolo Tranquilli
4d3aecfff6
Swift: rename base_types to syntactic_base_types in TypeDecl
2023-09-14 10:03:52 +02:00
Alex Denisov
743fd902a1
Swift: fix CFG for identity expressions (await, dot_self, parent)
2023-09-12 16:04:45 +02:00
Robert Marsh
50d23f145b
merge main into for-in getnextcall branch
2023-09-08 15:51:27 +00:00
Alex Denisov
35e949945d
Swift: add queries for unresolved AST nodes
2023-09-05 13:29:11 +02:00
Alex Denisov
b657301d39
Swift: update test expectations
2023-08-22 18:03:19 +02:00
Geoffrey White
b6dc2acc71
Merge branch 'main' into typegetname
2023-08-14 10:46:14 +01:00
Paolo Tranquilli
67cd25184a
Merge pull request #12433 from github/alexdenisov+redsun82/tuple-mangling
...
Swift: properly identify types and declarations in trap files via mangling
2023-08-03 13:27:07 +02:00
Mathias Vorreiter Pedersen
89aa86a1d6
Merge pull request #13741 from rdmarsh2/rdmarsh2/swift/array-content-flow
...
Swift: add DataFlow::Content for arrays
2023-08-02 17:37:40 +02:00
Alexandre Boulgakov
0dafe2d757
Swift: Mangle ArchetypeTypes with different superclasses in different extensions.
2023-08-02 15:18:52 +01:00
Geoffrey White
116006d280
Swift: Fix for type names containing '...'.
2023-08-01 13:57:46 +01:00
Geoffrey White
40219aad88
Swift: More robust Type.getName().
2023-08-01 13:24:10 +01:00
