[GNUnet-SVN] r22848 - monkey/branches/MonkeyBacktracking/monkey/src/monkey

[gnunet]

Author: safey
Date: 2012-07-23 16:48:19 +0200 (Mon, 23 Jul 2012)
New Revision: 22848

Modified:
   monkey/branches/MonkeyBacktracking/monkey/src/monkey/action_api.c
   monkey/branches/MonkeyBacktracking/monkey/src/monkey/monkey.c
Log:
On valgrind error, monkey should continue

Modified: monkey/branches/MonkeyBacktracking/monkey/src/monkey/action_api.c
===================================================================
--- monkey/branches/MonkeyBacktracking/monkey/src/monkey/action_api.c   
2012-07-23 14:35:26 UTC (rev 22847)
+++ monkey/branches/MonkeyBacktracking/monkey/src/monkey/action_api.c   
2012-07-23 14:48:19 UTC (rev 22848)
@@ -705,13 +705,6 @@
        else if (strcasecmp(signalName, "SIGBUS") == 0) {
                cntxt->bug_detected = BUG_SIG_BUS;
        }
-               /*
-                  MONKEY_EDB_get_sub_expressions (edbCntxt,
-                  cntxt->gdb_frames->file,
-                  cntxt->gdb_frames->line,
-                  endScope, &iterateExpressions,
-                  NULL);
-                */
                if (cntxt->scope_depth > 0)
                        MONKEY_EDB_get_expressions_outer_scopes(edbCntxt,
                                                                
cntxt->gdb_frames->
@@ -726,7 +719,6 @@
                                                   &iterateExpressions, 
function);
                ret = analyzeCustomFault(function, cntxt);
     }
-    //printTrace();
 
     /* Now, dive deeper into the stack trace */
     cntxt->gdb_frames = cntxt->gdb_frames->next;
@@ -737,10 +729,6 @@
                stackDepth = 0;
                trace = NULL;
                MONKEY_EDB_disconnect(edbCntxt);
-
-               //if (MONKEY_NO == cntxt->run_reverse) {
-                       //mi_disconnect(cntxt->gdb_handle);     // otherwise, 
we will need to use gdb mi for reverse execution
-               //}
     } else {
                /* Recursively inspect the database for deeper frames */
        gmi_stack_select_frame(cntxt->gdb_handle, cntxt->gdb_frames->level);

Modified: monkey/branches/MonkeyBacktracking/monkey/src/monkey/monkey.c
===================================================================
--- monkey/branches/MonkeyBacktracking/monkey/src/monkey/monkey.c       
2012-07-23 14:35:26 UTC (rev 22847)
+++ monkey/branches/MonkeyBacktracking/monkey/src/monkey/monkey.c       
2012-07-23 14:48:19 UTC (rev 22848)
@@ -131,7 +131,6 @@
            {
              fprintf( stderr, "Error using Valgrind!\n");
              ret = 1;
-             break;
            }
        }