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
1f356078ff
Swift: temporarily accept test changes
2024-10-31 15:57:31 +01:00
Paolo Tranquilli
e9957aa4a6
Swift: make result a child in ThenStmt
2024-03-27 17:53:36 +01:00
Paolo Tranquilli
0243d9f2b9
Swift: accept explicit any in existential type name
2024-03-27 13:49:15 +01:00
Alex Denisov
e865c3cbd3
Swift: extract parameter packs
2023-11-10 10:20:14 +01:00
Alex Denisov
bbde709b3f
Swift: upgrade to 5.9.1
2023-11-07 13:40:28 +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
Mathias Vorreiter Pedersen
28eb2caacb
Swift: Accept test changes.
2023-10-27 16:30:01 +01: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
Robert Marsh
53e80e0f27
Merge pull request #14398 from rdmarsh2/rdmarsh2/swift/autoclosure-cfg
...
Swift: add CFG for normal autoclosures
2023-10-17 11:50:24 -04:00
Geoffrey White
1f92267786
Swift: Sort out identical files situation.
2023-10-16 11:26:12 +01:00
Geoffrey White
225a9fe2d8
Merge branch 'main' into implicitflow
2023-10-16 11:02:34 +01:00
Geoffrey White
0e1da37379
Revert "Swift: Hide OpenExistentialExpr from the AST instead."
...
This reverts commit 9ad1749957
2023-10-16 10:49:39 +01:00
Alex Denisov
4133284bc8
Swift: skip declarations marked as unavailable
2023-10-11 10:55:49 +02:00
Robert Marsh
dab9a859f3
Merge branch 'main' into rdmarsh2/swift/autoclosure-cfg
2023-10-09 14:21:28 +00:00
Robert Marsh
661da76838
Swift: add function call autoclosure tests
2023-10-06 19:49:33 +00:00
Geoffrey White
9ad1749957
Swift: Hide OpenExistentialExpr from the AST instead.
2023-10-06 17:55:29 +01:00
Geoffrey White
76db1c5c8b
Swift: Add the same code to the AST test as well.
2023-10-06 17:13:49 +01:00
Robert Marsh
00068d6157
Merge branch 'main' into rdmarsh2/swift/for-in
...
Fix conflict in AST test output
2023-10-04 15:58:36 +00:00
Robert Marsh
497f0aa8ab
Swift: sync test files and update expectation
2023-10-03 14:57:04 +00:00
Robert Marsh
dd01da4938
Swift: AST and CFG tests for nil coalescing
2023-09-14 13:26:41 +00:00
Robert Marsh
a3e250aef5
Swift: extract iterator variable for for-in loops
2023-09-08 19:08:57 +00:00
Alex Denisov
b657301d39
Swift: update test expectations
2023-08-22 18:03:19 +02:00
Mathias Vorreiter Pedersen
b2c7c57815
Swift: Fix expected files after a semantic merge conflict.
2023-08-16 13:52:06 +01:00
Robert Marsh
3d20897725
Merge pull request #13910 from rdmarsh2/rdmarsh2/swift/for-await-cfg
...
Swift: CFG test for for-try-await
2023-08-15 11:16:07 -04:00
Robert Marsh
7053c62c41
Swift: update and sync tests
2023-08-11 18:52:37 +00:00
Alex Denisov
cebaca328e
Swift: 'ParsedSequence' lacks proper types and yields 'Unresolved' AST nodes
2023-08-08 14:41:15 +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
Alex Denisov
9d643ae1ed
Swift: record CFG incosistency
2023-08-01 15:06:04 +02:00
Alex Denisov
6667d9e45c
Swift: SubExpr may yield unresolved nodes in certain cases while MatchedExpr is always resolved
2023-08-01 14:15:33 +02:00
Robert Marsh
22ae430e65
Swift: accept more test changes from hiding InOutExpr
2023-07-28 20:43:25 +00:00
Alex Denisov
ea5eda0f22
Swift: adjust test expectations
2023-06-27 17:21:56 +02:00
Alex Denisov
0479ef5b9c
Merge remote-tracking branch 'origin/rc/3.10' into alexdenisov/rc3.10_mergeback
2023-06-16 10:13:23 +02:00
Paolo Tranquilli
396b57696c
Swift: minimal 5.8 compatibility
2023-06-14 16:17:44 +02:00
Nora Dimitrijević
8ccbad601b
Swift: PrintAst test changes
2023-06-06 16:54:47 +02:00
Arthur Baars
490d22d123
Merge remote-tracking branch 'upstream/main' into post-release-prep/codeql-cli-2.13.3
2023-05-30 21:31:28 +02:00
Paolo Tranquilli
7b76aa34bd
Swift: fix CFG inconsistency on TapExpr
2023-05-25 13:05:21 +02:00
Paolo Tranquilli
63fb0581c2
Swift: accept inconsistencies for now
2023-05-24 20:09:46 +02:00
Paolo Tranquilli
e513af1bcf
Swift: add CFG and PrintAst consistency queries, enabling them in CI
2023-05-24 18:10:08 +02:00
Paolo Tranquilli
9a0f87434e
Swift: remove unneeded properties from InterpolatedStringLiteralExpr
...
These properties were unused in the QL library (hence the full
upgrade/downgrade compatibility).
2023-05-22 15:28:54 +02:00
Paolo Tranquilli
de03bdc235
Swift: fix hidden AST getters
...
For consistency with the C/C++ QL library, getters of AST elements
within the hidden AST should not themselves skip other hidden AST
elements.
2023-05-22 09:57:48 +02:00
Nora Dimitrijević
91a151ec2a
Swift: update tests
2023-04-26 15:47:20 +02:00
Geoffrey White
49dccaa89d
Swift: Fix other tests.
2023-04-19 14:16:24 +01:00
Alexandre Boulgakov
35a2d55d18
Swift: Extract structured keypath components.
...
Changes in swift/ql/lib are generated by swift/codegen without manual intervention.
2023-04-11 13:34:17 +01:00
Alexandre Boulgakov
2b1dea56b5
Swift: Add error query to AST tests.
...
Preexisting errors are left to be fixed later.
2023-04-11 13:34:16 +01:00
Nora Dimitrijević
c2e9ffab63
Swift: add EnumElementExpr + Pattern.getMatchingExpr()
2023-03-27 23:01:24 +02:00
Nora Dimitrijević
5419e65e01
Swift: add NamedPattern.getVarDecl()
2023-03-27 23:01:24 +02:00
