11380 Commits

Author	SHA1	Message	Date
Geoffrey White	355c7d9b41	C++: Rename an example file.	2024-05-02 16:34:49 +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	a200ced2d6	C++: Fix IR generation for jump statements.	2024-04-30 15:46:46 +01:00
Mathias Vorreiter Pedersen	c04e59611b	Merge pull request #16355 from MathiasVP/promote-iterator-to-expired-container-out-of-experimental ... C++: Promote `cpp/iterator-to-expired-container` out of experimental	2024-04-30 15:45:56 +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	32fe084630	Update cpp/ql/lib/semmle/code/cpp/controlflow/IRGuards.qll ... Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>	2024-04-30 14:42:30 +01:00
github-actions[bot]	99928b82ed	Post-release preparation for codeql-cli-2.17.2	2024-04-30 12:15:35 +00:00
Mathias Vorreiter Pedersen	2939c89f7a	C++: Accept test changes.	2024-04-30 12:04:42 +01:00
Mathias Vorreiter Pedersen	bb6cc92728	C++: Support guards without implicit boolean conversions.	2024-04-30 12:04:35 +01:00
Mathias Vorreiter Pedersen	d736426529	C++: Support guards without implicit boolean conversions.	2024-04-30 11:45:58 +01:00
Mathias Vorreiter Pedersen	806d42852c	C++: Add test in C file with pointer type guard.	2024-04-30 11:33:22 +01:00
github-actions[bot]	5228d94d42	Release preparation for version 2.17.2	2024-04-30 10:25:51 +00:00
Geoffrey White	7d9f78b2de	Merge pull request #16328 from geoffw0/pathinj ... C++: Reduce duplication from cpp/path-injection	2024-04-30 10:06:40 +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	94364f724e	C++: Remove CP between all sinks and all states in 'cpp/iterator-to-expired-container'.	2024-04-29 16:46:00 +01:00
Mathias Vorreiter Pedersen	0fa5a1f274	C++: Add change note.	2024-04-29 11:17:53 +01:00
Mathias Vorreiter Pedersen	5c454bdd8c	C++: Compute and add severity.	2024-04-29 11:09:42 +01:00
Mathias Vorreiter Pedersen	f194c70e8a	C++: Set precision to medium.	2024-04-29 11:08:08 +01:00
Mathias Vorreiter Pedersen	179270ffc1	C++: Move 'cpp/iterator-to-expired-container' out of experimental.	2024-04-29 11:07:55 +01:00
Mathias Vorreiter Pedersen	3c2206728d	Merge pull request #16333 from MathiasVP/fix-guards-on-pointers	2024-04-26 21:33:08 +01:00
Jeroen Ketema	8c87cb83bb	Merge pull request #16342 from jketema/destructors-cleanup ... C++: Don't emit destructor calls as part of 'TranslatedResultCopy' as this has already been done in some other 'TranslatedExpr'.	2024-04-26 22:05:00 +02:00
Mathias Vorreiter Pedersen	d18cdee0bc	C++: Accept test changes.	2024-04-26 16:19:33 +01:00
Mathias Vorreiter Pedersen	b78537dd74	C++: Allow comparisons with pointer types in IRGuards.	2024-04-26 16:19:24 +01:00
Mathias Vorreiter Pedersen	e78091e9d0	C++: Sync identical files.	2024-04-26 16:19:02 +01:00
Mathias Vorreiter Pedersen	c10e00d389	C++: Add a subclass for constant instructions with pointer type.	2024-04-26 16:18:52 +01:00
Mathias Vorreiter Pedersen	bf61114284	C++: Add a test with pointer comparisons and float comparisons.	2024-04-26 16:17:45 +01:00
erik-krogh	800d7546fa	change all the change-notes to breaking	2024-04-26 17:17:23 +02: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
Mathias Vorreiter Pedersen	4b0a217420	C++: Don't emit destructor calls as part of 'TranslatedResultCopy' as this has already been done in some other 'TranslatedExpr'.	2024-04-26 16:25:05 +02:00
Mathias Vorreiter Pedersen	70e9c48a47	C++: Also implement the predicate in the raw stage.	2024-04-26 13:48:13 +01:00
Mathias Vorreiter Pedersen	dcc4ad2550	C++: Sync identical files.	2024-04-26 13:45:15 +01:00
Mathias Vorreiter Pedersen	54cadcfe9b	C++: Forward to a cached predicate in a cached module instead of caching the predicate in 'Instruction.qll' to include it in the cached stage of the other predicates.	2024-04-26 13:44:45 +01:00
erik-krogh	14d88eb3ce	add change-notes	2024-04-26 12:56:28 +02:00
erik-krogh	0468c5d0bf	delete some tests of the old GVN library	2024-04-26 07:58:35 +02:00
erik-krogh	e55f2c5309	reinroduce GLobalValueNumbering.qll, that one was supposed to stay	2024-04-26 06:52:57 +02:00
erik-krogh	baa31e1469	delete outdated deprecations	2024-04-25 22:19:28 +02:00
Jeroen Ketema	389df35fb7	Merge branch 'main' into child-stmt	2024-04-25 21:47:06 +02:00
Geoffrey White	553871678a	C++: Change note.	2024-04-25 16:52:01 +01:00
Geoffrey White	15123a7b40	C++: Reduce duplication.	2024-04-25 16:49:22 +01:00
Geoffrey White	bbd80ec7a4	C++: Add some more test cases.	2024-04-25 16:44:52 +01:00
Geoffrey White	0fb71e24cb	C++: Fix typo.	2024-04-25 14:52:56 +01: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	037114b336	Merge pull request #16309 from geoffw0/newtests ... C++: Add test cases	2024-04-24 10:06:51 +01:00