Anders Schack-Mulligen
|
2f0987e980
|
Dataflow: Add dummy DataFlowSecondLevelScope implementations.
These could be an empty type, but Unit was available and it probably
doesn't matter.
|
2024-04-15 15:16:30 +02:00 |
|
Anders Schack-Mulligen
|
db6d27bd2b
|
C++: Count return dispatch based on 2nd level scopes.
|
2024-04-15 15:13:08 +02:00 |
|
Anders Schack-Mulligen
|
9e39be5aea
|
C++: Update qltest.
|
2024-04-15 15:13:05 +02:00 |
|
Geoffrey White
|
1c66e26e92
|
C++: Autoformat.
|
2024-04-15 09:06:49 +01:00 |
|
Mathias Vorreiter Pedersen
|
f3a5ce5efc
|
C++: Accept more test changes.
|
2024-04-13 11:03:15 +01:00 |
|
Mathias Vorreiter Pedersen
|
6f08790065
|
C++: Accept test changes.
|
2024-04-13 01:00:48 +01:00 |
|
Mathias Vorreiter Pedersen
|
2cbc59b7a1
|
C++: Always show the right-hand side of assignment in paths.
|
2024-04-13 01:00:38 +01:00 |
|
Geoffrey White
|
9302b167d8
|
C++: Fix further merge conflicts.
|
2024-04-12 19:38:38 +01:00 |
|
Mathias Vorreiter Pedersen
|
0bed22178c
|
Merge pull request #16201 from MathiasVP/add-consistency
C++: Add new AST consistency check
|
2024-04-12 17:46:48 +01:00 |
|
Geoffrey White
|
e13b3ed5e7
|
C++ and Swift: Fix merge conflicts.
|
2024-04-12 17:30:46 +01:00 |
|
Mathias Vorreiter Pedersen
|
aac1070aca
|
C++: Consistent naming.
|
2024-04-12 17:00:46 +01:00 |
|
Mathias Vorreiter Pedersen
|
413d3abbd7
|
C++: Add new AST consistency check.
|
2024-04-12 16:57:19 +01:00 |
|
Mathias Vorreiter Pedersen
|
116664588b
|
Merge pull request #16125 from MathiasVP/destructors-for-unconditional-unnamed
C++: Generate IR for destruction of unconditionally constructed temporaries
|
2024-04-12 16:26:03 +01:00 |
|
Geoffrey White
|
e29ce5f5d5
|
Merge branch 'main' into mad
|
2024-04-12 14:30:44 +01:00 |
|
Geoffrey White
|
1df1f0dbc2
|
C++: Use 'concat' in the variable.ql test.
|
2024-04-12 14:22:21 +01:00 |
|
Geoffrey White
|
0235e9962e
|
C++: Accept test changes (related to getAQlClass).
|
2024-04-12 14:19:37 +01:00 |
|
Anders Schack-Mulligen
|
c355737d30
|
C++: Update expected output.
|
2024-04-12 09:20:16 +02:00 |
|
Anders Schack-Mulligen
|
f202661912
|
C++: Add alert provenance plumbing.
|
2024-04-12 09:20:06 +02:00 |
|
Anders Schack-Mulligen
|
eafc0075fd
|
Legacy dataflow: Sync.
|
2024-04-12 09:19:54 +02:00 |
|
Geoffrey White
|
13100b19bc
|
C++: Fix unintentionally changing the type of AdditionalCallTarget.viableTarget.
|
2024-04-11 17:07:20 +01:00 |
|
Geoffrey White
|
66f88d9c71
|
C++: Restrict the AST cases in TReturnKind.
|
2024-04-11 16:52:15 +01:00 |
|
Mathias Vorreiter Pedersen
|
477322d21d
|
C++: Accept test changes.
|
2024-04-11 15:44:44 +01:00 |
|
Mathias Vorreiter Pedersen
|
846eac8be9
|
C++: Add a placeholder for 'getOpcode'.
|
2024-04-11 15:44:33 +01:00 |
|
Mathias Vorreiter Pedersen
|
8842b974f0
|
C++: Accept test changes.
|
2024-04-11 15:34:34 +01:00 |
|
Mathias Vorreiter Pedersen
|
65b69fe353
|
C++: Mark 'CoYieldExpr' as a unary expression in IR construction.
|
2024-04-11 15:34:29 +01:00 |
|
Mathias Vorreiter Pedersen
|
2a914770ea
|
C++: Accept test changes.
|
2024-04-11 15:27:45 +01:00 |
|
Mathias Vorreiter Pedersen
|
d030f0b5d2
|
C++: Add a placeholder for 'getOpcode'.
|
2024-04-11 15:27:38 +01:00 |
|
Mathias Vorreiter Pedersen
|
33364a8ab6
|
C++: Accept test changes.
|
2024-04-11 14:28:44 +01:00 |
|
Mathias Vorreiter Pedersen
|
d8bd18f369
|
C++: IR translation of 'co_return' statements.
|
2024-04-11 14:28:15 +01:00 |
|
Mathias Vorreiter Pedersen
|
3e1359b92e
|
C++: Accept test changes.
|
2024-04-11 13:31:48 +01:00 |
|
Mathias Vorreiter Pedersen
|
4c4d2415e9
|
C++: Mark 'CoAwaitExpr' as a unary expression in IR construction.
|
2024-04-11 13:30:33 +01:00 |
|
Mathias Vorreiter Pedersen
|
aa94ee5b96
|
C++: Accept test changes.
|
2024-04-11 12:27:33 +01:00 |
|
Mathias Vorreiter Pedersen
|
3a18da730e
|
Merge branch 'main' into add-coroutine-tests
|
2024-04-11 11:59:07 +01:00 |
|
Mathias Vorreiter Pedersen
|
736d59c42d
|
Merge branch 'main' into destructors-for-unconditional-unnamed
|
2024-04-11 09:53:31 +01:00 |
|
Mathias Vorreiter Pedersen
|
5c4e02a1da
|
Merge branch 'main' into enable-sound-ir
|
2024-04-10 23:56:16 +01:00 |
|
Mathias Vorreiter Pedersen
|
313501aa29
|
C++: Delete a noisy test that's not very helpful.
|
2024-04-10 18:54:50 +01:00 |
|
Mathias Vorreiter Pedersen
|
21bc8c4324
|
C++: Accept test changes.
|
2024-04-10 18:32:15 +01:00 |
|
Geoffrey White
|
19b14e166d
|
C++: Reduce code duplication.
|
2024-04-10 17:44:55 +01:00 |
|
Mathias Vorreiter Pedersen
|
3d96206783
|
Merge branch 'main' into enable-sound-ir
|
2024-04-10 17:39:13 +01:00 |
|
Mathias Vorreiter Pedersen
|
7172e2f445
|
Merge branch 'main' into destructors-for-unconditional-unnamed
|
2024-04-10 17:34:08 +01:00 |
|
Geoffrey White
|
959300f963
|
C++: Fixes for internals that are now private.
|
2024-04-10 17:32:10 +01:00 |
|
Geoffrey White
|
41ce4ffe4b
|
C++: Fix some QLDoc holes.
|
2024-04-10 17:21:48 +01:00 |
|
Geoffrey White
|
eca112c3bc
|
C++: More autoformatting.
|
2024-04-10 17:21:05 +01:00 |
|
Geoffrey White
|
dd96095a30
|
Apply suggestions from code review
Co-authored-by: Mathias Vorreiter Pedersen <mathiasvp@github.com>
|
2024-04-10 17:20:35 +01:00 |
|
Mathias Vorreiter Pedersen
|
33f6b6a940
|
Merge pull request #16175 from MathiasVP/more-iterator-models
C++: Add alias and side-effect models for more iterator functions
|
2024-04-10 16:55:10 +01:00 |
|
Jeroen Ketema
|
b9b2aa3580
|
Merge pull request #16138 from jketema/coroutine3
C++: Update expected test results
|
2024-04-10 17:48:48 +02:00 |
|
Geoffrey White
|
925ee825ff
|
C++: Add change notes.
|
2024-04-10 15:18:43 +01:00 |
|
Mathias Vorreiter Pedersen
|
0ed0731024
|
C++: Reduce comment duplication.
|
2024-04-10 15:04:29 +01:00 |
|
Geoffrey White
|
36db493723
|
C++: Autoformat.
|
2024-04-10 15:02:19 +01:00 |
|
Geoffrey White
|
cbab24ba45
|
C++: Sort Models.qll.
|
2024-04-10 14:59:13 +01:00 |
|