Function freeInsanePointer

src/misc/memory_model.cpp:41–49

    }

    void freeInsanePointer ( void * ptr ) {
        lock_guard<mutex> lock(g_insane_mutex);
        auto it = g_insane_pointers.find(ptr);
        if ( it != g_insane_pointers.end() ) {
            g_insane_pointers.erase(it);
        } else {
            DAS_FATAL_ERROR("freeing insane pointer %p, which was not allocated", ptr);
        }
    }

    #define INSCRIBE_INSANE_POINTER(ptr,model) inscribeInsanePointer(ptr,model)
    #define FREE_INSANE_POINTER(ptr) freeInsanePointer(ptr)