3005 Commits

Author	SHA1	Message	Date
Geoffrey White	bf66a787ab	C++: Accept test changes caused by new CLI version.	2024-08-06 16:45:48 +01:00
Jeroen Ketema	28702046aa	C++: Rename function to match what is actually being tested	2024-08-05 10:32:54 +01:00
Jeroen Ketema	bfae86e9e8	C++: Update test after extractor fix	2024-08-05 10:32:54 +01:00
Jeroen Ketema	59db802fa4	C++ Add test showing incorrect value categories for _Generics	2024-08-05 10:32:54 +01:00
Jeroen Ketema	9744c06933	C++: Expose explicit and explicit(bool) function specifiers	2024-08-02 15:39:18 +02:00
Jeroen Ketema	972d9ca2b8	C++: Add more deduction guide tests	2024-08-02 14:12:56 +02:00
Jeroen Ketema	4dcf67940c	C++: Add getTemplateClass to DeductionGuide	2024-08-01 20:54:53 +02:00
Mathias Vorreiter Pedersen	fe575df325	C++: Mark constexpr if as unevalauted.	2024-07-31 13:09:12 +01:00
Mathias Vorreiter Pedersen	4e62dc81d2	C++: Add constexpr if testcase.	2024-07-31 13:08:49 +01:00
Jeroen Ketema	f986484813	Merge pull request #17098 from jketema/deduction ... C++: Update tests after extractor changes	2024-07-30 21:08:40 +02:00
Mathias Vorreiter Pedersen	ef0370b64e	C++: Respond to review comments.	2024-07-30 13:19:02 +01:00
Jeroen Ketema	5455a365d1	C++: Update tests after extractor changes	2024-07-30 13:52:23 +02:00
Mathias Vorreiter Pedersen	afc0d0a078	C++: Accept test changes.	2024-07-30 11:54:20 +01:00
Mathias Vorreiter Pedersen	f932e515a7	C++: Accept test changes.	2024-07-30 11:11:38 +01:00
Mathias Vorreiter Pedersen	8edf19adc0	C++: Add MaD model for 'std::format'.	2024-07-30 10:15:39 +01:00
Mathias Vorreiter Pedersen	ff788c93c0	C++: Add a model for 'std::format' and a failing test.	2024-07-30 10:13:39 +01:00
Alexandre Boulgakov	2396c3c798	C++: Update MaD tests with correct template parameter counting in the presence of packs.	2024-07-29 14:59:49 +01:00
Jeroen Ketema	e1329dff72	Merge pull request #16947 from github/calumgrant/attributes ... C++: Update attributes test output	2024-07-26 21:05:46 +02:00
Mathias Vorreiter Pedersen	c0263bef5a	Merge pull request #17062 from MathiasVP/speed-up-alias-analysis-4 ... C++: Speed up alias analysis	2024-07-26 10:02:02 +01:00
Jeroen Ketema	a944922c97	C++: Add more explicit(bool) tests	2024-07-26 09:47:01 +02:00
Jeroen Ketema	3e7a60c1a6	C++: Add additional test cases for explict and explicit(bool) specifiers ... Note that the `explict(bool)` specifiers currently do not end up in the database.	2024-07-25 14:41:44 +02:00
Mathias Vorreiter Pedersen	099c282277	C++: Move large function to its own file.	2024-07-25 12:11:09 +01:00
Mathias Vorreiter Pedersen	c5da43e691	Merge pull request #16981 from MathiasVP/phi-escape-5-follow-up-2 ... C++: Alias analysis follow-up to #16907	2024-07-25 11:59:44 +01:00
Calum Grant	d8cc92068a	C++: Update attributes test output	2024-07-24 17:48:35 +01:00
Mathias Vorreiter Pedersen	4a34dc125b	C++: Expand the macro manually to work around an extractor bug.	2024-07-24 15:51:54 +01:00
Mathias Vorreiter Pedersen	b3bffb6826	Merge branch 'main' into phi-escape-5-follow-up-2	2024-07-24 15:22:40 +01:00
Mathias Vorreiter Pedersen	5e484e4006	C++: Accept test changes.	2024-07-24 14:29:42 +01:00
Mathias Vorreiter Pedersen	28cff2ea20	C++: Add a testcase with many def/use pairs in alias analysis.	2024-07-24 13:46:31 +01:00
Mathias Vorreiter Pedersen	854a277ab5	Merge branch 'main' into more-alias-and-side-effect-models	2024-07-24 10:53:27 +01:00
Jeroen Ketema	acbca9c108	C++: Support destroying deletes	2024-07-24 08:21:01 +02:00
Mathias Vorreiter Pedersen	281212a22c	C++: Accept test changes.	2024-07-22 16:23:26 +01:00
Geoffrey White	98319be3a7	Merge pull request #16985 from geoffw0/madprov ... C++: Support MaD alert provenance	2024-07-17 16:25:49 +01:00
Mathias Vorreiter Pedersen	1c8e0c453c	C++: Fix more inconsistencies.	2024-07-17 15:44:50 +01:00
Mathias Vorreiter Pedersen	45ba0c3319	Merge pull request #16907 from MathiasVP/phi-escape-5 ... C++: Add a new `MemoryLocation` to represent sets of `Allocation`s	2024-07-17 15:44:04 +01:00
Mathias Vorreiter Pedersen	9504e0f119	C++: Accept test changes.	2024-07-16 16:24:00 +01:00
Geoffrey White	195c20cfd5	C++: Fix provenance for sources/sinks.	2024-07-16 09:33:51 +01:00
Geoffrey White	eefbb676e9	C++: Support alert provenance.	2024-07-16 09:33:48 +01:00
Geoffrey White	391816c9e7	C++: Add path graph to one of the external models tests.	2024-07-15 17:37:55 +01:00
Alexandre Boulgakov	faf77d5526	C++: Update special members test results.	2024-07-12 18:10:32 +01:00
Alexandre Boulgakov	b3b04b4e5b	C++: Extend template member test to better test on-demand indexing of special member functions.	2024-07-12 18:08:18 +01:00
Alexandre Boulgakov	18d9310a61	C++: Update tests to reflect on-demand indexing of special member functions. ... None of these tests were relying on the removed rows.	2024-07-12 18:06:56 +01:00
Mathias Vorreiter Pedersen	7a2b170da2	C++: Accept test changes.	2024-07-12 09:54:20 +01:00
Calum Grant	24914efcb8	Merge pull request #16956 from github/calumgrant/cpp20-array-sizes ... C++: Test C++20 implicit array sizes.	2024-07-11 17:44:08 +01:00
Calum Grant	29df3cb5b3	C++: Add test for C++20 implicit array sizes ... Implement NewArrayExpr.getArraySize()	2024-07-11 12:59:52 +01:00
Jeroen Ketema	87d9218369	Merge pull request #16951 from jketema/builtin-op ... C++: Support more builtin operations	2024-07-11 12:50:46 +02:00
Jeroen Ketema	5e0ce7efc4	C++: Fix test	2024-07-11 11:58:25 +02:00
Jeroen Ketema	3f789bad60	C++: Support more builtin operations	2024-07-10 21:27:09 +02:00
Mathias Vorreiter Pedersen	8ccdc2518f	C++: Accept test changes.	2024-07-06 12:27:41 +01:00
Mathias Vorreiter Pedersen	79919d3c58	C++: Add FP dataflow test.	2024-07-05 17:36:47 +01:00
Mathias Vorreiter Pedersen	4893785c68	C++: Accept test changes to GVN.	2024-07-04 15:15:46 +01:00