3364 Commits

Author	SHA1	Message	Date
Mathias Vorreiter Pedersen	553c09ada3	Merge pull request #16301 from MathiasVP/proper-coroutine-cfg-support-2 ... C++: Implement proper coroutine support in IR	2024-04-23 09:19:15 +01:00
Anders Schack-Mulligen	b2f09949df	Merge pull request #15599 from aschackmull/dataflow/fieldflowbranchlimit-v2 ... Dataflow: update fieldFlowBranchLimit semantics	2024-04-23 10:08:05 +02:00
Mathias Vorreiter Pedersen	c1755603a8	Update TranslatedExpr.qll ... Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>	2024-04-23 07:25:25 +01:00
Mathias Vorreiter Pedersen	8169e7ce68	C++: Add proper translation of 'co_await' and 'co_yield'.	2024-04-22 21:38:13 +01:00
Mathias Vorreiter Pedersen	8383bc1629	C++: Add getters for the other children of 'co_return' and 'co_yield'.	2024-04-22 21:38:13 +01:00
Jeroen Ketema	c5bdd5bbd7	Merge pull request #16289 from jketema/reuse-improve ... C++: Improve handling of re-use expressions	2024-04-22 10:34:35 +02:00
Jeroen Ketema	bcde7151e8	C++: Address review comment	2024-04-22 10:23:03 +02:00
Jeroen Ketema	2c76b13451	C++: Improve handling of re-used qualifier in delete expressions	2024-04-21 16:16:24 +02:00
Mathias Vorreiter Pedersen	bcedf687ff	Merge pull request #16246 from MathiasVP/parameter-nodes-for-functions-without-bodies ... C++: Add Parameter nodes for functions without bodies	2024-04-19 15:54:38 +01:00
Mathias Vorreiter Pedersen	ba99d49b61	Merge pull request #16187 from MathiasVP/cfg-for-coroutines ... C++: Placeholder CFG for coroutines	2024-04-19 11:31:55 +01:00
Mathias Vorreiter Pedersen	bcda4a1377	C++: Add change note.	2024-04-18 13:02:56 +01:00
Mathias Vorreiter Pedersen	45b1a5e29b	Merge branch 'main' into fix-tostring-on-nodes	2024-04-18 12:48:25 +01:00
Mathias Vorreiter Pedersen	9f8c9615fc	C++: Use the unconverted expression available for a non-'ExprNode' when one exists.	2024-04-18 12:33:20 +01:00
Mathias Vorreiter Pedersen	06f52c2854	C++: Make the new nodes parameter nodes.	2024-04-18 12:01:00 +01:00
Mathias Vorreiter Pedersen	98a3f2da7d	C++: Add new dataflow nodes for parameters without any Instructions associated with them.	2024-04-18 12:01:00 +01:00
Mathias Vorreiter Pedersen	111ad8b525	C++: Refactor parameter nodes into an abstract class that's easier to extend.	2024-04-18 12:01:00 +01:00
Mathias Vorreiter Pedersen	a1267d732e	Merge pull request #16139 from MathiasVP/enable-sound-ir ... C++: Enable sound IR	2024-04-17 21:46:51 +01:00
Alexander Eyers-Taylor	da3fa22cbd	Merge pull request #16228 from github/post-release-prep/codeql-cli-2.17.1 ... Post-release preparation for codeql-cli-2.17.1	2024-04-17 11:24:34 +01:00
Mathias Vorreiter Pedersen	ba9267df5b	Merge branch 'main' into break-bigstep-at-store	2024-04-16 17:15:58 +01:00
Mathias Vorreiter Pedersen	dd656d34be	Merge branch 'main' into break-bigstep-at-store	2024-04-16 15:33:21 +01:00
Cornelius Riemenschneider	6ba27dc863	Upgrade rules_pkg to 0.10.1.	2024-04-16 16:29:56 +02:00
github-actions[bot]	622e176a16	Post-release preparation for codeql-cli-2.17.1	2024-04-16 14:21:32 +00:00
Mathias Vorreiter Pedersen	2627a3dcb7	Merge pull request #15371 from geoffw0/mad ... C++: Implement models-as-data	2024-04-16 14:33:12 +01:00
Mathias Vorreiter Pedersen	8630630c45	C++: Use 'asDefinition' instead of checking for a 'Store' instruction.	2024-04-16 11:00:57 +01:00
Mathias Vorreiter Pedersen	54957d6ea4	Merge branch 'main' into enable-sound-ir	2024-04-16 10:46:59 +01:00
github-actions[bot]	9bfe4ea90a	Release preparation for version 2.17.1	2024-04-15 17:34:47 +00:00
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
Geoffrey White	1c66e26e92	C++: Autoformat.	2024-04-15 09:06:49 +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
Geoffrey White	e13b3ed5e7	C++ and Swift: Fix merge conflicts.	2024-04-12 17:30:46 +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
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	846eac8be9	C++: Add a placeholder for 'getOpcode'.	2024-04-11 15:44:33 +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	d030f0b5d2	C++: Add a placeholder for 'getOpcode'.	2024-04-11 15:27:38 +01:00
Mathias Vorreiter Pedersen	d8bd18f369	C++: IR translation of 'co_return' statements.	2024-04-11 14:28:15 +01:00
Mathias Vorreiter Pedersen	4c4d2415e9	C++: Mark 'CoAwaitExpr' as a unary expression in IR construction.	2024-04-11 13:30:33 +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