3170 Commits

Author	SHA1	Message	Date
Mathias Vorreiter Pedersen	c3c6bb6e60	C++: Accept test changes.	2025-05-15 17:23:35 +01:00
Mathias Vorreiter Pedersen	0f21075722	C++: Add a test that demonstrate missing asExpr for aggregate literals.	2025-05-15 17:18:55 +01:00
Mathias Vorreiter Pedersen	e75dcd27f5	C++: Accept test changes.	2025-05-15 15:28:13 +01:00
Mathias Vorreiter Pedersen	c6df9505c0	C++: Add tests to exercise the upcoming behavior of function dispatch when there are model-generated summaries AND source definitions.	2025-05-15 15:05:17 +01:00
Jeroen Ketema	401281331f	C++: Fix IR edge case where there are no function calls taking an argument	2025-05-14 13:44:29 +02:00
Jeroen Ketema	96bd9a96e5	C++: Add test case for IR edge case	2025-05-14 13:36:52 +02:00
Mathias Vorreiter Pedersen	bce5f2539f	C++/C#/Java/Rust: Fixup tests.	2025-05-02 16:52:05 +01:00
Mathias Vorreiter Pedersen	4d2f2b89e7	Shared/Java/C#/Rust/C++: Rename 'captureHeuristicFlow' to 'captureFlow'.	2025-05-02 14:02:41 +01:00
Mathias Vorreiter Pedersen	d5bc95daeb	Merge branch 'main' into generate-more-value-preserving-summaries-2	2025-05-02 10:51:11 +01:00
Mathias Vorreiter Pedersen	d8eafbb9e2	C++: Fixup queries and accept test changes.	2025-04-30 20:34:35 +01:00
Michael Nebel	c16d913f8a	C++: Re-factor implementation to use the new model generator interface.	2025-04-29 15:22:09 +02:00
Mathias Vorreiter Pedersen	e942ec9964	C++: Fix annotations after #19311.	2025-04-28 10:39:11 +01:00
Mathias Vorreiter Pedersen	6466a5dbaf	Merge branch 'main' into add-missing-predicate-to-mad-generation	2025-04-28 10:33:24 +01:00
Michael Nebel	a589014243	C++: Update model generator tests.	2025-04-25 15:50:10 +02:00
Mathias Vorreiter Pedersen	79c03100f8	C++: Accept test changes.	2025-04-25 12:29:38 +01:00
Mathias Vorreiter Pedersen	63b0dd68c9	C++: Add a test with missing summaries.	2025-04-25 12:18:42 +01:00
Jeroen Ketema	4093afbaab	Merge pull request #19290 from jketema/typeof ... C++: Support C23 `typeof` and `typeof_unqual`	2025-04-24 10:12:46 +02:00
Jeroen Ketema	e97f9495d0	C++: Update expected test results	2025-04-23 16:56:56 +02:00
Mathias Vorreiter Pedersen	9e9a580d02	C++: Add MaD generation test with union content.	2025-04-23 11:11:17 +01:00
Mathias Vorreiter Pedersen	3fd760c632	C++: Move 'InlineMadTest.qll' out of 'lib/utils/test' and into 'test' since C++ has no external packs depending on MaD testing.	2025-04-20 16:49:02 +01:00
Mathias Vorreiter Pedersen	6fcf56e6e1	C++: Add more tests.	2025-04-20 16:49:00 +01:00
Mathias Vorreiter Pedersen	1465058da0	C++: Add copy-pasted files from C#.	2025-04-20 16:48:47 +01:00
Mathias Vorreiter Pedersen	f241e4b537	C++: Add tests that will soon succeed.	2025-04-20 16:48:43 +01:00
idrissrio	14a84c3209	C++: update expected test results after extractor changes	2025-04-02 15:20:06 +02:00
idrissrio	9ec7f3c9a5	C++: add test for calling conventions	2025-03-31 17:45:44 +02:00
idrissrio	f83f14bab2	C++: add calling convention specifier class	2025-03-31 17:44:56 +02:00
Anders Schack-Mulligen	0c74f21107	Merge pull request #19044 from aschackmull/ssa/useuse-trim ... Ssa: Trim the use-use relation to skip irrelevant nodes	2025-03-28 11:55:34 +01:00
idrissrio	9af65001b3	C++: accept changes after C++ extractor preprocessor fix	2025-03-26 15:08:04 +01:00
idrissrio	148ffe8519	C++: accept changes after C++ extractor preprocessor fix	2025-03-26 09:41:20 +01:00
Anders Schack-Mulligen	8749bdb979	C++: Accept test changes.	2025-03-25 13:58:52 +01:00
idrissrio	13f4f48d27	C++: Accept changes after C++ extractor preprocessor fix	2025-03-24 15:16:26 +01:00
idrissrio	3c54722a74	C++: Accept changes after C++ extractor preprocessor fix	2025-03-21 17:33:23 +01:00
idrissrio	5eda853de4	C++: Accept changes after C++ extractor preprocessor fix	2025-03-21 15:25:41 +01:00
idrissrio	878e621a38	Improved source location extraction for directive.	2025-03-21 09:46:54 +01:00
idrissrio	11c71f03f3	C++: Accept changes after C++ extractor preprocessor fix	2025-03-19 16:34:00 +01:00
Mathias Vorreiter Pedersen	a035c9b4d1	C++: Also update source-sink tests.	2025-03-14 20:04:45 +00:00
Mathias Vorreiter Pedersen	636150ea4f	C++: Adjust tests and accept test changes.	2025-03-14 18:43:33 +00:00
Anders Schack-Mulligen	c2309442d5	C++: Accept qltest changes.	2025-03-14 10:51:28 +01:00
Mathias Vorreiter Pedersen	f9a7ac4e89	C++: Accept test changes.	2025-03-07 19:59:06 +00:00
Jeroen Ketema	324499e447	C++: Update template test to also output the value of template arguments ... These values are currently the same as the result that `getTemplateArgument` yields. However, this will change with the upcoming frontend update.	2025-03-04 16:24:21 +01:00
Jeroen Ketema	1591a56aab	C++: Update expected test results after extractor changes	2025-02-04 13:19:49 +01:00
Jeroen Ketema	94608c5996	C++: Update expected test results ... This seemed to have slipped through earlier.	2025-01-30 16:53:24 +01:00
Mathias Vorreiter Pedersen	ff9a4d02f0	Merge pull request #18592 from MathiasVP/fix-enclosing-callable-cpp ... C++: Don't generate dataflow nodes for functions with summaries	2025-01-28 16:57:44 +00:00
Mathias Vorreiter Pedersen	d40322f9eb	C++: (Bugfix 3) Don't conflate summarized callables and source callables in 'nodeGetEnclosingCallable'.	2025-01-28 13:59:19 +00:00
Mathias Vorreiter Pedersen	06bc8add9d	C++: (Bugfix 2) Don't remap isParameterOf.	2025-01-28 13:59:17 +00:00
Mathias Vorreiter Pedersen	01d7ab93e2	C++: Add consistency check to the MaD folder.	2025-01-28 13:59:14 +00:00
Geoffrey White	6337f5a08b	Merge pull request #18586 from geoffw0/floatguards ... C++: Test and (perhaps) fix an issue with guards on floating point comparisons.	2025-01-28 09:05:13 +00:00
Mathias Vorreiter Pedersen	4e44201ba8	C++: Remap calls to source functions to the summarized function.	2025-01-27 16:58:53 +00:00
Mathias Vorreiter Pedersen	ad80b36074	C++: Don't generate parameter nodes for bodyless parameters when there is a summary of the enclosing function.	2025-01-24 20:16:04 +00:00
Mathias Vorreiter Pedersen	cda629b204	C++: Accept test changes. Notice the consistency failure.	2025-01-24 20:13:21 +00:00