12858 Commits

Author	SHA1	Message	Date
github-actions[bot]	b0d6778652	Release preparation for version 2.18.0	2024-07-08 09:10:51 +00:00
Mathias Vorreiter Pedersen	0e6b2f0f53	C++: Accept query test changes.	2024-07-06 12:27:42 +01:00
Mathias Vorreiter Pedersen	8ccdc2518f	C++: Accept test changes.	2024-07-06 12:27:41 +01:00
Mathias Vorreiter Pedersen	a747ffca07	C++: Address definitions should also handle ssa variables that are calls.	2024-07-06 12:27:35 +01:00
Mathias Vorreiter Pedersen	79919d3c58	C++: Add FP dataflow test.	2024-07-05 17:36:47 +01:00
Mathias Vorreiter Pedersen	aad233b776	C++: Add FP test.	2024-07-05 15:52:10 +01:00
Geoffrey White	5d898727c0	C++: Add the examples to the test.	2024-07-04 17:11:11 +01:00
Geoffrey White	1343e4c9aa	C++: Add another 'good' example for cpp/unsigned-difference-expression-compared-zero.	2024-07-04 17:11:10 +01:00
Geoffrey White	7abece46c7	C++: Add a 'good' example for cpp/unsigned-difference-expression-compared-zero.	2024-07-04 17:11:09 +01:00
Geoffrey White	4de43e1bfa	C++: Add the examples to the test.	2024-07-04 17:11:08 +01:00
Geoffrey White	f64743e91d	C++: Fix mistake in example for cpp/incorrect-allocation-error-handling.	2024-07-04 16:19:32 +01:00
Mathias Vorreiter Pedersen	4893785c68	C++: Accept test changes to GVN.	2024-07-04 15:15:46 +01:00
Mathias Vorreiter Pedersen	5d58cf6208	C++: Accept query test changes.	2024-07-04 15:15:38 +01:00
Mathias Vorreiter Pedersen	b954845318	C++: Ignore the new 'InitializeGroup' instruction in dataflow.	2024-07-04 14:22:06 +01:00
Mathias Vorreiter Pedersen	6ef9dba2fb	C++: Accept test changes.	2024-07-04 14:22:04 +01:00
Mathias Vorreiter Pedersen	89f0705585	C++: Sync identical files.	2024-07-04 14:22:03 +01:00
Mathias Vorreiter Pedersen	72b52cc814	C++: Insert Chi instructions after InitializeGroup instructions whose variable group's virtual variable is all aliased memory.	2024-07-04 14:22:02 +01:00
Mathias Vorreiter Pedersen	d1e1037586	C++: Accept test changes.	2024-07-04 14:22:00 +01:00
Mathias Vorreiter Pedersen	92e814b75e	C++: Stub 'VariableGroup' and 'GroupedMemoryLocation' in unaliased SSA so that the pyrameterized files compile.	2024-07-04 14:21:59 +01:00
Mathias Vorreiter Pedersen	db525f5cee	C++: Sync identical files.	2024-07-04 14:21:58 +01:00
Mathias Vorreiter Pedersen	03ec184ee0	C++: Add 'InitializeGroup' instructions to the successor relation.	2024-07-04 14:21:56 +01:00
Mathias Vorreiter Pedersen	c4d72e5b4f	C++: No need to check if the offset is non-negative. It always is because of 'defBlock.getInstruction(oldOffset)' has a result.	2024-07-04 14:21:55 +01:00
Mathias Vorreiter Pedersen	cf8b2d55c5	C++: Hide away the 'multiply by two' hack in a predicate.	2024-07-04 14:21:53 +01:00
Mathias Vorreiter Pedersen	8db7ece8d4	C++: Fill in trivial parts of SSA.	2024-07-04 14:21:51 +01:00
Mathias Vorreiter Pedersen	2c4bf13d05	C++: Sync identical files.	2024-07-04 14:21:50 +01:00
Mathias Vorreiter Pedersen	c54dc49891	C++: Improve 'toString' on the 'InitializeGroup' instruction.	2024-07-04 14:21:49 +01:00
Mathias Vorreiter Pedersen	b185c67d4f	C++: Handle overlap with grouped memory locations.	2024-07-04 14:21:47 +01:00
Mathias Vorreiter Pedersen	e7c43b3fcc	C++: Return grouped memory locations from 'getOperandMemoryLocation' and 'getResultMemoryLocation'.	2024-07-04 14:21:46 +01:00
Mathias Vorreiter Pedersen	09c03d9a5f	C++: The virtual variable of a variable that is contained in a grouped memory location is that grouped memory location (or all aliased memory if it escapes).	2024-07-04 14:21:45 +01:00
Mathias Vorreiter Pedersen	399d47d2cb	C++: Cleanup	2024-07-04 14:21:43 +01:00
Mathias Vorreiter Pedersen	5e1c67f5f1	C++: Add a new 'MemoryLocation' that represents a set of allocations.	2024-07-04 14:21:42 +01:00
Mathias Vorreiter Pedersen	c5c4f08bea	C++: Rename from 'getAllocation' to 'getAnAllocation'.	2024-07-04 12:12:00 +01:00
Mathias Vorreiter Pedersen	0b84329e8c	C++: Expose the 'AddressOperand' from both 'hasResultMemoryAccess' and 'hasOperandMemoryAccess' and add a boolean column indicating whether they relate to multiple 'Allocation's.	2024-07-04 12:11:59 +01:00
Mathias Vorreiter Pedersen	1c8cf3cd2c	C++: Sync identical files.	2024-07-04 12:11:58 +01:00
Mathias Vorreiter Pedersen	ffa55b4bf8	C++: Disable special casing of Phi operands in alias analysis. Instead, we simply add flow through them.	2024-07-04 12:11:57 +01:00
Mathias Vorreiter Pedersen	ef8532982c	C++: Sync identical files.	2024-07-04 12:11:56 +01:00
Mathias Vorreiter Pedersen	72679c82a9	C++: Add a new opcode and instruction.	2024-07-04 12:11:54 +01:00
Mathias Vorreiter Pedersen	4953e7e7fa	C++: Add tests.	2024-07-04 12:11:50 +01:00
Mathias Vorreiter Pedersen	8e18e7d4e6	Merge pull request #16791 from MathiasVP/collection-content-2 ... C++: Add support for `Element` content	2024-07-04 08:52:33 +01:00
Tom Hvitved	da0909c080	Merge pull request #16896 from hvitved/ssa/dataflow-integration-prep ... SSA: Add `BasicBlock.{getNode/1,length/0}` to the input signature	2024-07-03 19:56:35 +02:00
Mathias Vorreiter Pedersen	356d928544	C++: Accept test changes.	2024-07-03 18:16:20 +01:00
Mathias Vorreiter Pedersen	af28dd8eb4	C++: Add bsl models for 'array::front' and 'array::back'.	2024-07-03 18:14:10 +01:00
Mathias Vorreiter Pedersen	f9d6c63cbb	C++: Add more 'Argument[-1]' to 'ReturnValue' flow.	2024-07-03 17:27:22 +01:00
Mathias Vorreiter Pedersen	246f3fd3e2	C++: Fix 'emplace_after' model in bsl.	2024-07-03 17:21:10 +01:00
Mathias Vorreiter Pedersen	5351c2734f	C++: Fix 'assign' models.	2024-07-03 17:01:43 +01:00
Mathias Vorreiter Pedersen	6d05324724	C++: Make sure the 'emplace' functions that return iterators are modeled via Element content.	2024-07-03 16:47:18 +01:00
Mathias Vorreiter Pedersen	e03f8084e6	C++: Fix yml file name.	2024-07-03 16:04:14 +01:00
Mathias Vorreiter Pedersen	c4dabb94d6	C++: Add models for 'array::front' and 'array::back'.	2024-07-03 16:03:25 +01:00
Mathias Vorreiter Pedersen	d7eac4d567	C++: Add change note.	2024-07-03 11:33:52 +01:00
Mathias Vorreiter Pedersen	b8c01e2901	C++: Accept test changes.	2024-07-03 11:18:21 +01:00