diff options
author | Paolo Bonzini <pbonzini@redhat.com> | 2010-01-15 09:42:10 +0100 |
---|---|---|
committer | Anthony Liguori <aliguori@us.ibm.com> | 2010-01-19 16:31:03 -0600 |
commit | f8fb2fa85935b284b703b946c53f92035a5b6858 (patch) | |
tree | fbe82f1b5258edb8ec59eaaf747fe4987a9f94bc | |
parent | 6113d6d3169393c323ac4c82d756a850145a5e7a (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.c | 4 |
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(;;) */ |