12858 Commits

Author	SHA1	Message	Date
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	58832a546a	C++: Accept test changes.	2024-04-18 12:33:27 +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	b43aae18e0	C++: Accept test changes.	2024-04-18 12:01:01 +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	622f69e1a1	Merge pull request #16238 from MathiasVP/fix-terator-to-expired-container-fp	2024-04-18 10:24:13 +01:00
Mathias Vorreiter Pedersen	43df0cd5f4	C++: Add a failing test.	2024-04-17 21:47:32 +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	592ca06159	C++: Accept test changes.	2024-04-17 10:10:54 +01:00
Mathias Vorreiter Pedersen	96ba3ec88e	C++: Rename predicate.	2024-04-17 10:10:54 +01:00
Mathias Vorreiter Pedersen	eb2790ae63	C++: Fix 'case 2' in 'destroyedToBeginSink' now that we're working with the sink instead of the source.	2024-04-17 10:10:39 +01:00
Mathias Vorreiter Pedersen	d22e2bae8e	C++: Select the post-update node in 'getADestroyedNode'.	2024-04-17 10:10:39 +01:00
Mathias Vorreiter Pedersen	b2974ba1c6	C++: Factor body of isSink into its own predicate.	2024-04-17 10:10:21 +01:00
Mathias Vorreiter Pedersen	b201fd0bdd	Merge pull request #16232 from MathiasVP/add-iterator-to-expired-container-fp ... C++: Add `cpp/iterator-to-expired-container` FP test	2024-04-17 09:44:32 +01:00
Mathias Vorreiter Pedersen	fdddec74d3	Merge branch 'main' into break-bigstep-at-store	2024-04-16 21:08:33 +01:00
Mathias Vorreiter Pedersen	62299dc95a	C++: Add FP test.	2024-04-16 18:19:33 +01:00
Mathias Vorreiter Pedersen	8f82db07d3	Merge pull request #16230 from MathiasVP/fix-join-in-global-use-before-init ... C++: Use interpolation to avoid a bad join order	2024-04-16 18:17:11 +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	c3cf425079	C++: Use interpolation to avoid a bad join order.	2024-04-16 16:24:08 +01:00
Mathias Vorreiter Pedersen	dd656d34be	Merge branch 'main' into break-bigstep-at-store	2024-04-16 15:33:21 +01:00
Mathias Vorreiter Pedersen	7155af50be	C++: Accept more test changes.	2024-04-16 15:32:24 +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	8888ee9fa8	Merge pull request #16149 from codeqlhelper/main ... C++: Improvements to reduce false alarms	2024-04-16 15:03:31 +01: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	e1884c193b	C++: Add tests (and fix a missing quote in the alert message).	2024-04-16 14:20:19 +01:00
Mathias Vorreiter Pedersen	6cb5db2387	C++: Improve change note comments.	2024-04-16 13:55:55 +01:00
Mathias Vorreiter Pedersen	439afd97ba	C++: Small performance optimization.	2024-04-16 13:54:58 +01:00
Mathias Vorreiter Pedersen	132bb9f1d6	C++: Address (my own) review comments.	2024-04-16 13:53:27 +01:00
Mathias Vorreiter Pedersen	fb9fc14f3d	C++: Accept test changes in paths.	2024-04-16 11:09:22 +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
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