source: tests/zombies/gc_no_raii/bug-repro/field.c @ ba068c0

extern "C" {
#include <stdbool.h>
#include <stdint.h>
}

#include <stdlib.hfa>

//------------------------------------------------------------------------------
//Declaration
trait allocator_c(T, allocator_t)
{
        void ctor(allocator_t* const);
        void dtor(allocator_t* const);
        void realloc(allocator_t* const, size_t);
        T* data(allocator_t* const);
};

forall(T, allocator_t | allocator_c(T, allocator_t))
struct vector
{
        allocator_t storage;
        size_t size;
};

int global = 3;

struct card_table_t
{
        size_t count;
        void* cards_start[100];
};

static inline void ctor(card_table_t* const this)
{
        this->count = 0;
}

struct gc_memory_pool
{
        struct memory_pool* mirror;
        struct memory_pool* next;

        uint8_t type_code;

        card_table_t* cards;

        uint8_t* end_p;
        uint8_t* free_p;
        uint8_t start_p[1];
};

void ctor(      gc_memory_pool *const this,
                size_t size,
                gc_memory_pool* next,
                gc_memory_pool* mirror,
                uint8_t type
        );

void dtor(gc_memory_pool *const this);

struct gc_pool_object_iterator
{
        struct gc_object_header* object;
        #ifndef NDEBUG
                intptr_t lower_limit;
                intptr_t upper_limit;
        #endif
};

void ctor(
                gc_pool_object_iterator* const this,
                void* start_object
                #ifndef NDEBUG
                        , intptr_t pool_start
                        , intptr_t pool_end
                #endif
        );

bool ?!=?(const gc_pool_object_iterator lhs, const gc_pool_object_iterator rhs);

gc_pool_object_iterator begin(gc_memory_pool* const this);
gc_pool_object_iterator end(gc_memory_pool* const);

gc_pool_object_iterator* ++?(gc_pool_object_iterator* it);

const void* *?(const gc_pool_object_iterator it);
void* *?(gc_pool_object_iterator it);

static inline bool gc_pool_is_from_space(const gc_memory_pool* pool)
{
        return false;
}

void gc_reset_pool(gc_memory_pool* const pool);

static inline size_t gc_pool_size_used(const gc_memory_pool* pool)
{
        return pool->free_p - pool->start_p;
}

static inline size_t gc_pool_size_total(const gc_memory_pool* pool)
{
        return pool->end_p - pool->start_p;
}

static inline size_t gc_pool_size_left(const gc_memory_pool* pool)
{
        return pool->end_p - pool->free_p;
}

void* gc_pool_allocate(gc_memory_pool* const pool, size_t size, bool zero);

gc_pool_object_iterator gc_pool_iterator_for(gc_memory_pool* const pool, void* member);

void ctor(gc_memory_pool *const this, size_t size, gc_memory_pool* next, gc_memory_pool* mirror, uint8_t type)
{
        this->mirror = mirror;
        this->next = next;
        this->type_code = type;

        this->cards = malloc();
        ctor(this->cards);

        this->end_p = ((uint8_t*)this) + size;
        this->free_p = this->start_p;

        // check(gc_pool_of(this) == this);
        // check(this->cards);
        // gc_reset_pool(this);
}