822 Commits

Author	SHA1	Message	Date
Mathias Vorreiter Pedersen	353ee8baa0	C++: Port a test from the experimental directory to show that it works in the non-experimental "new" range analysis.	2025-10-01 11:33:47 +01:00
Jeroen Ketema	f4df3881f8	C++: Handle *& sequences in sizeof VLA expressions	2025-09-02 12:29:24 +02:00
Jeroen Ketema	8a7553232f	C++: Add more sizeof VLA tests	2025-09-02 12:29:19 +02:00
Jeroen Ketema	f68d3477d4	C++: Output necessary conversions in the sizeof VLA IR	2025-09-02 12:29:17 +02:00
Jeroen Ketema	6a9324fab0	C++: Fix obtaining the base type of a VLA	2025-09-02 12:29:13 +02:00
Jeroen Ketema	ffbc83deeb	C++: Update expected test results	2025-09-02 12:29:10 +02:00
Jeroen Ketema	74f5687660	C++: Update expected test results	2025-09-02 12:29:07 +02:00
Jeroen Ketema	5bd08e8174	C++: Add more sizeof VLA tests	2025-09-02 12:29:02 +02:00
Jeroen Ketema	dc78330529	C++: Update expected test results	2025-09-02 12:29:00 +02:00
Jeroen Ketema	60845001dd	C++: Add sizeof VLA IR test cases	2025-09-02 12:28:56 +02:00
Mathias Vorreiter Pedersen	4116292888	C++: Accept test changes.	2025-08-28 12:13:19 +02:00
Mathias Vorreiter Pedersen	d0e766da3e	C++: Add a testcase with invalid IR.	2025-08-28 12:06:21 +02:00
Mathias Vorreiter Pedersen	14345a8288	C++: Accept test changes.	2025-08-01 16:09:44 +01:00
Mathias Vorreiter Pedersen	18289702ca	C++: Add an example of double negation to the IR tests.	2025-07-31 15:49:05 +01:00
Jeroen Ketema	f319381f27	C++: Support the spaceship operator in the IR	2025-07-16 17:53:55 +02:00
Jeroen Ketema	807ab986f4	C++: Update more exoected test results	2025-07-16 16:19:40 +02:00
Jeroen Ketema	2709bf0615	C++: Add test that shows that IR generation for <=> is broken	2025-07-16 15:54:18 +02:00
Jeroen Ketema	70bff4e726	C++: Fix typeid IR translation	2025-07-15 20:24:17 +02:00
Jeroen Ketema	477edd215c	C++: Add test showing that the IR translation for typeid is broken	2025-07-15 17:29:00 +02:00
Jeroen Ketema	463ae4b1eb	C++: Address review comments	2025-07-04 23:13:37 +02:00
Jeroen Ketema	d010b6eb01	C++: Update expected test results	2025-07-04 14:28:17 +02:00
Jeroen Ketema	799f33eb3a	C++: Add more postfix-crement tests	2025-07-04 14:08:29 +02:00
idrissrio	62e55edbad	C++: accept new test results after changes	2025-06-30 17:11:59 +02:00
Jeroen Ketema	ca961386b2	C++: Handle Arm SVE in the IR	2025-06-23 12:33:42 +02:00
Jeroen Ketema	17ce5f42e6	C++: Update expected test results after extractor changes	2025-06-20 13:51:36 +02:00
Mathias Vorreiter Pedersen	9f3569b980	C++: Accept test changes.	2025-06-16 17:53:35 +01:00
Jeroen Ketema	4228828b66	C++: Address review comments	2025-06-16 15:02:08 +02:00
Jeroen Ketema	9d6a1a9885	C++: Generate SEH edges for pointer dereference loads in __try blocks	2025-06-16 12:39:53 +02:00
Jeroen Ketema	3eb768c1e9	C++: Generate SEH edges for pointer dereference stores in __try blocks	2025-06-16 12:39:50 +02:00
Jeroen Ketema	67d623fb06	C++: Add __try with load test case ... Fix some formatting while here.	2025-06-16 12:39:47 +02:00
Jeroen Ketema	1b2813dcf6	C++: Also generate an SEH edge for calls in initializers	2025-06-14 00:16:47 +02:00
Jeroen Ketema	815ae37a7e	C++: Add test case with call in initialization ... Fix formatting while here.	2025-06-14 00:05:00 +02:00
Jeroen Ketema	4a42ca8c69	C++: Limit SEH exception edges to calls in __try blocks	2025-06-13 20:34:35 +02:00
Jeroen Ketema	c7a7447768	C++: Generate an SEH exception edge for each call inside a SEH block	2025-06-13 16:30:25 +02:00
Jeroen Ketema	6f41d3c4e3	C++: Use SEH exception edges for functions that unconditionally throw those	2025-06-13 16:30:23 +02:00
Jeroen Ketema	a4be27659b	C++: Minor test case reformatting	2025-06-10 15:55:18 +02:00
Jeroen Ketema	7d1b5ce584	C++: Add basic Aarch64 Neon test	2025-06-10 15:34:06 +02:00
Jeroen Ketema	0e34ee18df	C++: Update expected test results after frontend update	2025-06-04 14:03:43 +02: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
Jeroen Ketema	4b85ea3bc6	Merge pull request #18502 from jketema/consteval ... C++: Support `if consteval` and `if ! consteval`	2025-01-20 12:49:02 +01:00
Jeroen Ketema	a9e0f20861	C++: Simplify consteval if to be just a single class with an isNot predicate	2025-01-20 11:20:11 +01:00
Mathias Vorreiter Pedersen	2076c1c51f	C++: Add an copy of a (slightly modified) syntax-zoo test as an IR test.	2025-01-16 14:33:25 +00:00
Jeroen Ketema	bc2f203c4b	C++: Support if consteval and if ! consteval	2025-01-16 08:17:57 +01:00
Mathias Vorreiter Pedersen	9d3bc7f510	C++: Accept test changes.	2025-01-16 00:39:26 +00:00
Mathias Vorreiter Pedersen	1e33593c79	C++: Accept test changes.	2025-01-16 00:39:23 +00:00
Mathias Vorreiter Pedersen	2e3d3494de	C++: Accept test changes.	2025-01-16 00:39:20 +00:00
Jeroen Ketema	13e8853277	C++: Update expected test results after extractor changes	2025-01-15 11:38:03 +01:00
Jeroen Ketema	6200a1d5b9	C++: Simplify some semmle-extractor-options in tests	2024-12-19 21:46:33 +01:00
Jeroen Ketema	66b2b5df8d	Merge pull request #18308 from jketema/template-parameters ... C++: Introduce a new base class for template parameters	2024-12-18 10:38:03 +01:00