Handle returns with arguments.

dyninst · Oct 27, 2016 · a1e33a0 · a1e33a0
1 parent 3868dcc
commit a1e33a0
Showing 1 changed file with 4 additions and 3 deletions.
diff --git a/dataflowAPI/src/stackanalysis.C b/dataflowAPI/src/stackanalysis.C
@@ -1277,9 +1277,10 @@ void StackAnalysis::handleReturn(Instruction::Ptr insn,
    if (operands.size() < 2) {
       delta = word_size;
    } else {
-      fprintf(stderr, "Unhandled RET instruction: %s\n",
-         insn->format().c_str());
-      assert(false);
+      assert(operands.size() == 2);
+      Result imm = operands[1].getValue()->eval();
+      assert(imm.defined);
+      delta = word_size + imm.convert<long>();
    }
 /*   else if (operands.size() == 1) {
       // Ret immediate