Function inscribeInsanePointer

src/misc/memory_model.cpp:28–39

    }

    void inscribeInsanePointer ( void * ptr, void * who ) {
        lock_guard<mutex> lock(g_insane_mutex);
        if ( ptr == das_insane_pointer ) {
            os_debug_break();
        }
        auto it = g_insane_pointers.find(ptr);
        if ( it == g_insane_pointers.end() ) {
            g_insane_pointers[ptr] = who;
        } else {
            DAS_FATAL_ERROR("insane pointer %p, already allocated by %p (and not by %p)", ptr, it->second, who);
        }
    }

    void freeInsanePointer ( void * ptr ) {
        lock_guard<mutex> lock(g_insane_mutex);