repro.cpp

#define __STDC_FORMAT_MACROS

#include "panda/plugin.h"

// These need to be extern "C" so that the ABI is compatible with
// QEMU/PANDA, which is written in C
extern "C" {

bool init_plugin(void *);
void uninit_plugin(void *);

}

int after_block_exec(CPUState *env, TranslationBlock *tb) {
    assert (tb->size != 0 && tb->icount != 0);
    return 0;
}

bool init_plugin(void *self) {
    panda_cb pcb;
    pcb.after_block_exec = after_block_exec;
    panda_register_callback(self, PANDA_CB_AFTER_BLOCK_EXEC, pcb);
    return true;
}

void uninit_plugin(void *self) { }