[DynInst_API:] [dyninst/dyninst] 82a571: The argument to SymEvalSemantics::addWithCarries f...

[Sunny Shah <shah28@xxxxxxxx>]

  Branch: refs/heads/master
  Home:   https://github.com/dyninst/dyninst
  Commit: 82a57100bb9adcc2f633f008dd94cb5fb94d8901
      https://github.com/dyninst/dyninst/commit/82a57100bb9adcc2f633f008dd94cb5fb94d8901
  Author: Sunny Shah <shah28@xxxxxxxx>
  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.