2997 Commits

Author	SHA1	Message	Date
Jeroen Ketema	1a53b923a6	C++: Ensure destructors for ifs are called after both branches	2024-05-08 14:48:28 +02:00
Jeroen Ketema	fa06d88642	C++: Add forgotten getLastChild to TranslatedConstExprIfStmt	2024-05-08 14:07:29 +02:00
Jeroen Ketema	6575927630	C++: Add IR tests demonstrating some inconsistencies that may occur	2024-05-08 11:43:58 +02:00
Jeroen Ketema	2dcb55cc42	C++: Add bool operator to IR test	2024-05-08 11:38:50 +02:00
Jeroen Ketema	61580da14d	C++: Update test results after extractor changes	2024-05-08 08:43:20 +02:00
Jeroen Ketema	8198b1a6ef	Merge pull request #16426 from jketema/destructors-ranged-based-cleanup ... C++: Update test results after extractor changes	2024-05-07 13:11:00 +02:00
Jeroen Ketema	4eea214cb4	C++: Update test results after extractor changes	2024-05-07 11:10:07 +02:00
Jeroen Ketema	9b23635d0a	C++: Add test case that shows that no destructors are attached to unwinds	2024-05-06 17:47:55 +02:00
Jeroen Ketema	ba64cf3016	C++: Correctly handle destructors at the end of range-based for-loops in the IR	2024-05-03 14:38:37 +02:00
Mathias Vorreiter Pedersen	f7113e0105	Merge pull request #16345 from MathiasVP/cleanup-ssa-and-iterator-flow ... C++: Clean up SSA and stop relying on memory edges for iterator flow	2024-05-02 14:21:25 +01:00
Jeroen Ketema	5843326b5c	C++: Update IR tests after better handling of init statements in the extractor	2024-04-30 21:12:30 +02:00
Mathias Vorreiter Pedersen	3a2b0a2feb	Merge pull request #16366 from MathiasVP/fix-ir-for-destructors-in-switch ... C++: Fix IR destructor calls on `JumpStmt`s	2024-04-30 18:26:54 +01:00
Mathias Vorreiter Pedersen	07dd6d5c8d	C++: Align 'break' statements.	2024-04-30 16:40:23 +01:00
Mathias Vorreiter Pedersen	b86aeb68ae	Merge pull request #16364 from MathiasVP/ir-guards-with-boolean ... C++: Support `IRGuard`s with no implicit boolean conversion	2024-04-30 16:07:32 +01:00
Mathias Vorreiter Pedersen	cf025e1924	C++: Accept test changes.	2024-04-30 15:47:53 +01:00
Mathias Vorreiter Pedersen	c5a87c95d8	C++: Add tests that incorrectly call destructors twice.	2024-04-30 15:39:00 +01:00
Mathias Vorreiter Pedersen	c32c810ae7	C++: Add a test with a 'short' type.	2024-04-30 14:48:21 +01:00
Mathias Vorreiter Pedersen	2939c89f7a	C++: Accept test changes.	2024-04-30 12:04:42 +01:00
Mathias Vorreiter Pedersen	806d42852c	C++: Add test in C file with pointer type guard.	2024-04-30 11:33:22 +01:00
Erik Krogh Kristensen	7e839792da	Merge pull request #16330 from erik-krogh/del-deps-apr-2024 ... All: delete outdated deprecations	2024-04-30 10:43:39 +02:00
Mathias Vorreiter Pedersen	401717d739	C++: Add a missing taint step and accept test changes.	2024-04-29 09:38:42 +01:00
Mathias Vorreiter Pedersen	527409d05f	C++: Fix iterator return types and accept test changes.	2024-04-29 09:38:42 +01:00
Mathias Vorreiter Pedersen	d3d2e2188d	C++: Accept test changes.	2024-04-29 09:38:42 +01:00
Mathias Vorreiter Pedersen	5f0efc19fa	C++: Accept test changes.	2024-04-29 09:38:41 +01:00
Mathias Vorreiter Pedersen	3c2206728d	Merge pull request #16333 from MathiasVP/fix-guards-on-pointers	2024-04-26 21:33:08 +01:00
Mathias Vorreiter Pedersen	d18cdee0bc	C++: Accept test changes.	2024-04-26 16:19:33 +01:00
Mathias Vorreiter Pedersen	bf61114284	C++: Add a test with pointer comparisons and float comparisons.	2024-04-26 16:17:45 +01:00
Mathias Vorreiter Pedersen	d6c57de650	C++: Convert one of the tests to also test the 'absolute' versions of the GuardCondition predicates.	2024-04-26 16:11:19 +01:00
Jeroen Ketema	67fb866efa	C++: Update test results	2024-04-26 16:38:39 +02:00
erik-krogh	0468c5d0bf	delete some tests of the old GVN library	2024-04-26 07:58:35 +02:00
Jeroen Ketema	05819a52ef	C++: Print destructors for children of statements that are again statements	2024-04-25 13:25:42 +02:00
Jeroen Ketema	95ec4e8d26	C++: Fix comment in IR test	2024-04-24 21:47:47 +02:00
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	24cf75a37c	C++: Accept test changes.	2024-04-22 21:38:13 +01:00
Jeroen Ketema	76637b0d03	C++: Update expected test results	2024-04-22 13:01:10 +02:00
Jeroen Ketema	19d0d7bbc0	C++: Fix aliased IR test	2024-04-22 11:08:01 +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	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	b43aae18e0	C++: Accept test changes.	2024-04-18 12:01:01 +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
Mathias Vorreiter Pedersen	dd656d34be	Merge branch 'main' into break-bigstep-at-store	2024-04-16 15:33:21 +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	fb9fc14f3d	C++: Accept test changes in paths.	2024-04-16 11:09:22 +01:00
Mathias Vorreiter Pedersen	54957d6ea4	Merge branch 'main' into enable-sound-ir	2024-04-16 10:46:59 +01:00
Anders Schack-Mulligen	9e39be5aea	C++: Update qltest.	2024-04-15 15:13:05 +02:00
Mathias Vorreiter Pedersen	6f08790065	C++: Accept test changes.	2024-04-13 01:00:48 +01:00