diff options
-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(;;) */ |