aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPaolo Bonzini <pbonzini@redhat.com>2010-01-15 09:42:10 +0100
committerAnthony Liguori <aliguori@us.ibm.com>2010-01-19 16:31:03 -0600
commitf8fb2fa85935b284b703b946c53f92035a5b6858 (patch)
treefbe82f1b5258edb8ec59eaaf747fe4987a9f94bc
parent6113d6d3169393c323ac4c82d756a850145a5e7a (diff)
remove assertions
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com> Signed-off-by: Anthony Liguori <aliguori@us.ibm.com>
-rw-r--r--cpu-exec.c4
1 files changed, 0 insertions, 4 deletions
diff --git a/cpu-exec.c b/cpu-exec.c
index 415988644f..13b8daa912 100644
--- a/cpu-exec.c
+++ b/cpu-exec.c
@@ -22,8 +22,6 @@
#include "tcg.h"
#include "kvm.h"
-#include <assert.h>
-
#if !defined(CONFIG_SOFTMMU)
#undef EAX
#undef ECX
@@ -262,7 +260,6 @@ int cpu_exec(CPUState *env1)
env = cpu_single_env;
#define env cpu_single_env
#endif
- assert (env->current_tb == NULL);
/* if an exception is pending, we execute it here */
if (env->exception_index >= 0) {
if (env->exception_index >= EXCP_INTERRUPT) {
@@ -640,7 +637,6 @@ int cpu_exec(CPUState *env1)
}
}
}
- assert (env->current_tb == NULL);
/* reset soft MMU for next block (it can currently
only be set by a memory fault) */
} /* for(;;) */