Branch: refs/heads/master
Home: https://github.com/dyninst/dyninst
Commit: 82a57100bb9adcc2f633f008dd94cb5fb94d8901
https://github.com/dyninst/dyninst/commit/82a57100bb9adcc2f633f008dd94cb5fb94d8901
Author: Sunny Shah <sha...@wisc.edu>
Date: 2016-09-18 (Sun, 18 Sep 2016)
Changed paths:
M dataflowAPI/rose/semantics/SymEvalSemantics.C
Log Message:
-----------
The argument to SymEvalSemantics::addWithCarries for unsign-extending
the second addend should be the second operand from the instruction AST.
The bug here was that the first operand from the AST was being passed
for the unsign-extend operation. This caused the semantic expression and
hence the resulting assignment expansion for the instructions calling
this function to be incorrect.
_______________________________________________
Dyninst-api mailing list
Dyninst-api@cs.wisc.edu
https://lists.cs.wisc.edu/mailman/listinfo/dyninst-api
