viktormalik
Cannot handle replacing a single variable with two (or more)
When a single variable is replaced with two (or more) variables with identical values, DiffKemp maps the first new variable to the original variable successfully, but then cannot map the second variable to the original and their comparison fails.
Should be reproducible on this linux kernel commit - https://git.kernel.org/pub/scm/linux/kernel/git/kdave/linux.git/commit/?id=a16fb8c6f61863f18fab61eeba10a457ff6d71d2 - where the value is duplicated within LLVM, as some code was moved into function, to which structure was passed using pointer, which leads to duplication after inlining. Another example, where two new variables are explicitly defined - https://git.kernel.org/pub/scm/linux/kernel/git/kdave/linux.git/commit/?id=089221d3457b8756d6823be9857884d938af817c - however, this example is also affected by #317 and therefore first requires its suggested modification to DiffKemp's source code to fix that problem and experience this particular issue.
