5 Commits

Author	SHA1	Message	Date
Anders Schack-Mulligen	72415c7c2c	C++: Rename references.	2023-03-23 13:06:19 +01:00
Jeroen Ketema	6f2407412e	C++: Update some dataflow tests to use DataFlow::ConfigSig	2023-03-08 15:04:53 +01:00
Jonas Jensen	9a45c5570d	C++: Move Load from AssignmentOperation to its LHS ... This is analogous to what was done for `CrementOperation`.	2020-01-24 09:09:31 +01:00
Jonas Jensen	c5950d2c9d	C++: IR: Result of x in x++ is now the Load ... Previously, the `Load` would be associated with the `CrementOperation` rather than its operand, which gave surprising results when mapping taint sinks back to `Expr`. The changes in `raw_ir.expected` are to add `Copy` operations on the `x++` in code like `y = x++`. This is now needed because the result that `x++` would otherwise have (the Load) no longer belongs to the `++` expression. Copies are inserted to ensure that all expressions are associated with an `Instruction` result. The changes in `*aliased_ssa_ir.expected` appear to be just wobble.	2020-01-24 09:02:50 +01:00
Jonas Jensen	ed3ed5f1b6	C++: Test to show lack of flow to crement operands	2020-01-23 17:42:51 +01:00