Branch: refs/heads/arm64/feature/semantics Home: https://github.com/dyninst/dyninst Commit: 49e7cd96b6ba4e6db7607156cf6f126c2492021c https://github.com/dyninst/dyninst/commit/49e7cd96b6ba4e6db7607156cf6f126c2492021c 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