559 Commits

Author	SHA1	Message	Date
Mathias Vorreiter Pedersen	6c10ba2fb1	Merge pull request #14495 from github/calumgrant/comp-generated-this ... C++: Fix ImplicitThisFieldAccess	2023-10-20 15:25:26 +01:00
Jeroen Ketema	a972d0943a	C++: Accept test changes after changes in IR generation	2023-10-19 10:45:14 +02:00
Jeroen Ketema	7e71d9e619	C++: Update expected test results after outputting less loads from the extractor	2023-10-19 10:45:14 +02:00
Jeroen Ketema	8b8a2726d4	C++: Accept semantic range analysis test changes due to extra loads in the IR	2023-10-19 10:45:13 +02:00
Jeroen Ketema	5036135f01	C++: Fix IR generation for the comma operator	2023-10-19 10:45:13 +02:00
Jeroen Ketema	a6dae91215	C++: Accept IR test changes after value category updates	2023-10-19 10:45:12 +02:00
Calum Grant	c51efb1477	C++: Tighten up definitions of field accesses	2023-10-18 11:39:09 +01:00
Mathias Vorreiter Pedersen	0e9f5f6b8e	C++: Accept test changes.	2023-09-18 11:46:19 +01:00
Mathias Vorreiter Pedersen	53561b7883	C++: Add tests for sized allocation without a need for a synthesized conversion.	2023-09-18 11:45:18 +01:00
Alex Eyers-Taylor	43a72f2a8e	CPP:Add tests for the aliased IR.	2023-09-07 13:42:31 +01:00
Alex Eyers-Taylor	b44c4587a4	CPP: Remove sucessors of non-returning IR calls.	2023-09-07 12:58:20 +01:00
Alex Eyers-Taylor	d603b7ac3c	CPP: Make functions that reach the end return. ... This is UB in C++ but not C where it is only bad if the result is used.	2023-09-07 12:39:48 +01:00
Mathias Vorreiter Pedersen	72d9812fea	C++: Accept more test changes.	2023-08-31 21:56:35 +01:00
Mathias Vorreiter Pedersen	dfefd62089	C++: Accept test changes.	2023-08-31 20:38:46 +01:00
Mathias Vorreiter Pedersen	b575747357	C++: Add testcase with invalid IR.	2023-08-31 20:35:33 +01:00
Alex Eyers-Taylor	59a77666a6	CPP: Remove uneeded indirection around delete calls in the IR.	2023-08-30 16:31:51 +01:00
Alex Eyers-Taylor	8b1b1618c4	CPP: Add tests for false positive in memory vulnerability queries.	2023-08-29 11:17:44 +01:00
Alex Eyers-Taylor	3b344c3578	CPP: Handle cases where the deallocator function is determined dynamically.	2023-08-29 11:17:44 +01:00
Alex Eyers-Taylor	689fda43ed	CPP: Add delete/delete[] calls to the IR.	2023-08-29 11:17:43 +01:00
Alex Eyers-Taylor	a3711e1df0	CPP: Replace getAllocatorCall with getDeallocator call.	2023-08-25 15:45:50 +01:00
Jeroen Ketema	c882945e30	C++: Add IR test case that shows regression after frontend update	2023-08-24 08:36:22 +02:00
Mathias Vorreiter Pedersen	e145b81f58	C++: Accept test changes.	2023-08-15 16:12:44 +01:00
Mathias Vorreiter Pedersen	3fb024164b	C++: Add a FP caused by bad range analysis for subtraction.	2023-08-15 16:00:35 +01:00
Mathias Vorreiter Pedersen	cb1076c335	Revert "Merge pull request #13783 from MathiasVP/type-bounds-for-new-range-analysis" ... This reverts commit e9750af89f, reversing changes made to 37a546253e.	2023-08-09 13:02:54 +01:00
Mathias Vorreiter Pedersen	2d832db883	C++: Accept test changes.	2023-08-04 16:12:00 +02:00
Jeroen Ketema	f7923d93f1	C++: Add semantic range analysis test as IR test ... The range analysis test currently fails with the frontend update, because the generated IR is incorrect after the update.	2023-08-03 10:13:23 +02:00
Mathias Vorreiter Pedersen	d111fa7e94	Merge pull request #13862 from jketema/ir-test ... C++: Add IR test that shows dataflow regression after frontend update	2023-08-01 10:06:49 +02:00
Jeroen Ketema	ef8d95f87d	C++: Add IR test that shows dataflow regression after frontend update	2023-08-01 09:01:39 +02:00
Jeroen Ketema	0bc75ea9b7	C++: Add forgotten parentheses in ternary IR test ... Without the parentheses, the expressions are parsed as `a ? x : (y = val)`.	2023-07-29 18:44:28 +02:00
Jeroen Ketema	4fcb576099	Merge branch 'main' into print-global	2023-07-25 14:10:33 +02:00
Jeroen Ketema	645028e219	C++: Add more IR tests for the ternary operator	2023-07-24 11:22:27 +02:00
Jeroen Ketema	4c9c5d8f0c	C++: Add IR SSA test case for the ternary operator	2023-07-21 10:22:34 +02:00
Jeroen Ketema	e76dc4a1f9	C++: Support printing of global and namespace variables in PrintAST	2023-07-20 11:43:55 +02:00
Jeroen Ketema	2a63116fc2	C++: Rename shouldPrintFunction to shouldPrintDeclaration	2023-07-19 16:55:43 +02:00
Jeroen Ketema	aad094bdd0	C++: Handle FunctionAccesses with qualifiers ... Also fix the IR generation for these and add more IR tests involving value categories.	2023-07-18 16:35:39 +02:00
Jeroen Ketema	e2de94b233	C++: Add more IR tests ... These show the value categories for more static member calls, and show that a load occurs when a `volatile` variable is being used in an empty context.	2023-07-18 08:40:54 +02:00
Jeroen Ketema	de3251a634	C++: Add assignment operation IR test where the result is being used	2023-07-10 17:55:50 +02:00
Jeroen Ketema	7bb77abac7	C++: Add IR tests that cause regressions after extractor frontend update	2023-07-05 14:01:11 +02:00
Robert Marsh	e90153fc47	C++: fix irreducible control flow logic	2023-06-27 16:52:45 -04:00
Robert Marsh	ba7cb8f4ae	C++: fix range analysis back edge detection for irreducible CFGs	2023-06-21 17:54:52 -04:00
Mathias Vorreiter Pedersen	9828af45a1	C++: Change separator from ':' to '|'.	2023-05-26 15:23:48 -07:00
Mathias Vorreiter Pedersen	0d1d20c75b	C++: Change range-analysis test to not use 'getAst'. This was creating confusing test expectation annotations.	2023-05-25 15:50:29 -07:00
Robert Marsh	7404bd9c4b	Merge branch 'main' into rdmarsh2/cpp/cobo-neq-refinement	2023-05-24 14:13:38 -04:00
Jeroen Ketema	2276890cec	C++: Rewrite inline expectation tests to use the parameterized module	2023-05-24 11:10:05 +02:00
Robert Marsh	681cc4c755	C++: add neq refinement test for range analysis	2023-05-22 11:49:37 -04:00
Jeroen Ketema	eb493a1981	C++: Add FP test case for cpp/invalid-pointer-deref ... Also add reduced range analysis test case that seems to expose the underlying reason for the FP.	2023-05-12 16:25:34 +02:00
Robert Marsh	c6e0ee2695	C++: fix duplicated UnreachedInstruction in raw IR	2023-05-01 22:54:37 -04:00
Robert Marsh	c01ee597fa	C++: handle calls to noreturn functions	2023-05-01 22:25:12 -04:00
Mathias Vorreiter Pedersen	3d381331e1	C++: Add a test with global variable templates.	2023-04-26 15:00:32 +01:00
Mathias Vorreiter Pedersen	3f03cc27cd	C++: Accept test changes.	2023-04-25 17:51:04 +01:00