6760698844

Committed 05 Nov 2023 09:32AM UTC coverage: 96.503% (+0.04%) from 96.465%

Build # 6760698844

Build Type

push

github

Committed by

cdragan

Commit Message

core: remove unused comparison

Run Details

5 of 5 new or added lines in 1 file covered. (100.0%)

56 existing lines in 2 files now uncovered.

24343 of 25225 relevant lines covered (96.5%)

878464.57 hits per line

Source File
Press 'n' to go to next uncovered line, 'b' for previous

93.89

/core/kos_instance.c

/* SPDX-License-Identifier: MIT
 * Copyright (c) 2014-2023 Chris Dragan
 */

#include "../inc/kos_instance.h"
#include "../inc/kos_array.h"
#include "../inc/kos_atomic.h"
#include "../inc/kos_constants.h"
#include "../inc/kos_error.h"
#include "../inc/kos_malloc.h"
#include "../inc/kos_memory.h"
#include "../inc/kos_module.h"
#include "../inc/kos_object.h"
#include "../inc/kos_string.h"
#include "../inc/kos_utils.h"
#include "kos_config.h"
#include "kos_debug.h"
#include "kos_heap.h"
#include "kos_math.h"
#include "kos_misc.h"
#include "kos_object_internal.h"
#include "kos_perf.h"
#include "kos_system_internal.h"
#include "kos_threads_internal.h"
#include "kos_try.h"
#include <assert.h>
#include <errno.h>
#define __STDC_FORMAT_MACROS
#include <inttypes.h>
#include <signal.h>
#include <stdarg.h>
#include <stdio.h>
#include <string.h>

static const char str_format_exception[]        = "Exception: ";
static const char str_format_hash[]             = "  #";
static const char str_format_line[]             = ":";
static const char str_format_function[]         = " in '";
static const char str_format_module[]           = "' in ";
static const char str_format_offset[]           = "  ";
static const char str_format_question_marks[]   = "???";

KOS_DECLARE_STATIC_CONST_STRING(str_description,               "description");
KOS_DECLARE_STATIC_CONST_STRING(str_err_ctrl_c,                "user pressed Ctrl-C");
KOS_DECLARE_STATIC_CONST_STRING(str_err_ctrl_c_already_hooked, "Ctrl-C already hooked");
KOS_DECLARE_STATIC_CONST_STRING(str_err_generator_end,         "end of generator");
KOS_DECLARE_STATIC_CONST_STRING(str_err_not_array,             "object is not an array");
KOS_DECLARE_STATIC_CONST_STRING(str_err_panic,                 "detected bytecode corruption");
KOS_DECLARE_STATIC_CONST_STRING(str_err_thread_registered,     "thread already registered");

struct KOS_LIB_LIST_S {
    uint32_t       num_libs;
    uint32_t       capacity;
    KOS_SHARED_LIB libs[1];
};

#ifdef CONFIG_PERF
struct KOS_PERF_S kos_perf = {
    0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, { 0, 0, 0, 0 },
    0, 0,
    { 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 },
    0, 0, 0, 0, 0, 0, 0, 0, 0,
    { 0, 0, 0, 0 },
    { 0, 0, 0, 0 },
    0
};
#endif

#if defined(CONFIG_SEQFAIL) || defined(CONFIG_FUZZ)
static int                  kos_seq_init      = 0;
static KOS_ATOMIC(uint32_t) kos_seq;
static uint32_t             kos_seq_threshold = ~0U;

int kos_seq_fail(void)
{
    if ( ! kos_seq_init) {

        KOS_VECTOR cstr;
        int64_t    value = -1;

        KOS_vector_init(&cstr);

        if (KOS_get_env("KOSSEQFAIL", &cstr) == KOS_SUCCESS
                && cstr.size > 0
                && kos_parse_int(cstr.buffer, cstr.buffer + cstr.size - 1, &value) == KOS_SUCCESS)
            kos_seq_threshold = (uint32_t)value;

        KOS_vector_destroy(&cstr);

        KOS_atomic_write_relaxed_u32(kos_seq, 0);

        kos_seq_init = 1;
    }

    if ((uint32_t)KOS_atomic_add_i32(kos_seq, 1) >= kos_seq_threshold)
        return KOS_ERROR_INTERNAL;

    return KOS_SUCCESS;
}

void kos_set_seq_point(int seq_point)
{
    kos_seq_init = seq_point;
}
#endif

static void init_context(KOS_CONTEXT ctx, KOS_INSTANCE *inst)
{
    ctx->next        = KOS_NULL;
    ctx->prev        = KOS_NULL;
    ctx->inst        = inst;
    ctx->cur_page    = KOS_NULL;
    ctx->thread_obj  = KOS_BADPTR;
    ctx->exception   = KOS_BADPTR;
    ctx->stack       = KOS_BADPTR;
    ctx->regs_idx    = 0;
    ctx->stack_depth = 0;
    ctx->local_list  = KOS_NULL;
    ctx->ulocal_list = KOS_NULL;
    ctx->gc_state    = GC_SUSPENDED;
    ctx->event_flags = 0;
}

static int register_thread(KOS_INSTANCE *inst,
                           KOS_CONTEXT   ctx)
{
    int error = KOS_SUCCESS;

    if (kos_tls_get(inst->threads.thread_key)) {
        TRY(KOS_resume_context(ctx));
        RAISE_EXCEPTION_STR(str_err_thread_registered);
    }

    assert( ! kos_tls_get(inst->threads.thread_key));

    kos_tls_set(inst->threads.thread_key, ctx);

    TRY(KOS_resume_context(ctx));

cleanup:
    if (error)
        kos_heap_release_thread_page(ctx);

    return error;
}

static void unregister_thread(KOS_INSTANCE *inst,
                              KOS_CONTEXT   ctx)
{
    assert(ctx != &inst->threads.main_thread);

    KOS_suspend_context(ctx);

    kos_tls_set(inst->threads.thread_key, KOS_NULL);

    kos_lock_mutex(inst->threads.ctx_mutex);

    if (ctx->prev)
        ctx->prev->next = ctx->next;

    if (ctx->next)
        ctx->next->prev = ctx->prev;

    kos_unlock_mutex(inst->threads.ctx_mutex);
}

int KOS_instance_register_thread(KOS_INSTANCE *inst,
                                 KOS_CONTEXT   ctx)
{
    int error;

    init_context(ctx, inst);

#if defined(CONFIG_THREADS) && (CONFIG_THREADS == 0)
    {
        KOS_DECLARE_STATIC_CONST_STRING(str_no_threads, "Kos was compiled without supports for threads");

        KOS_raise_exception(ctx, KOS_CONST_ID(str_no_threads));
    }
    error = KOS_ERROR_EXCEPTION;
#else

    kos_lock_mutex(inst->threads.ctx_mutex);

    ctx->prev                      = &inst->threads.main_thread;
    ctx->next                      = inst->threads.main_thread.next;
    inst->threads.main_thread.next = ctx;
    if (ctx->next)
        ctx->next->prev            = ctx;

    KOS_atomic_write_relaxed_u32(ctx->event_flags,
            KOS_atomic_read_relaxed_u32(inst->threads.main_thread.event_flags));

    kos_unlock_mutex(inst->threads.ctx_mutex);

    error = register_thread(inst, ctx);

    if (error)
        unregister_thread(inst, ctx);
#endif

    return error;
}

void KOS_instance_unregister_thread(KOS_INSTANCE *inst,
                                    KOS_CONTEXT   ctx)
{
    assert((KOS_CONTEXT)kos_tls_get(inst->threads.thread_key) == ctx);

    unregister_thread(inst, ctx);
}

static int add_multiple_paths(KOS_CONTEXT ctx, KOS_VECTOR *cpaths)
{
    int   error = KOS_SUCCESS;
    char *buf   = cpaths->buffer;

    while ( ! error) {
        char *end = strchr(buf, KOS_PATH_LIST_SEPARATOR);

        if (end)
            *end = '\0';

        error = KOS_instance_add_path(ctx, buf);

        if (end)
            buf = end + 1;
        else
            break;
    }

    return error;
}

static int init_search_paths(KOS_CONTEXT ctx)
{
#ifdef CONFIG_DISABLE_KOSPATH
    return KOS_SUCCESS;
#else
    int        error = KOS_SUCCESS;
    KOS_VECTOR cpaths;

    KOS_vector_init(&cpaths);

    if (KOS_get_env("KOSPATH", &cpaths) == KOS_SUCCESS)
        error = add_multiple_paths(ctx, &cpaths);

    KOS_vector_destroy(&cpaths);

    return error;
#endif
}

static void setup_init_module(KOS_MODULE *init_module)
{
    KOS_DECLARE_STATIC_CONST_STRING(str_init, "init");

    assert(kos_get_object_type(init_module->header) == OBJ_MODULE);

    init_module->name           = KOS_CONST_ID(str_init);
    init_module->path           = KOS_STR_EMPTY;
    init_module->inst           = KOS_NULL;
    init_module->constants      = KOS_BADPTR;
    init_module->global_names   = KOS_BADPTR;
    init_module->globals        = KOS_BADPTR;
    init_module->module_names   = KOS_BADPTR;
    init_module->priv           = KOS_BADPTR;
    init_module->finalize       = KOS_NULL;
}

struct KOS_CONST_MODULE_S {
    struct KOS_CONST_OBJECT_ALIGNMENT_S align;
    KOS_MODULE                          object;
};

static KOS_OBJ_ID get_init_module(void)
{
    KOS_DECLARE_ALIGNED(32, static struct KOS_CONST_MODULE_S) init_module;

    kos_set_object_type_size(init_module.object.header, OBJ_MODULE, 0);

    setup_init_module(&init_module.object);

    assert( ! kos_is_heap_object(KOS_CONST_ID(init_module)));

    return KOS_CONST_ID(init_module);
}

static void clear_instance(KOS_INSTANCE *inst)
{
    /* Disable GC during early init */
    inst->flags = KOS_INST_MANUAL_GC;

    inst->args                           = KOS_BADPTR;
    inst->prototypes.object_proto        = KOS_BADPTR;
    inst->prototypes.number_proto        = KOS_BADPTR;
    inst->prototypes.integer_proto       = KOS_BADPTR;
    inst->prototypes.float_proto         = KOS_BADPTR;
    inst->prototypes.string_proto        = KOS_BADPTR;
    inst->prototypes.boolean_proto       = KOS_BADPTR;
    inst->prototypes.array_proto         = KOS_BADPTR;
    inst->prototypes.buffer_proto        = KOS_BADPTR;
    inst->prototypes.function_proto      = KOS_BADPTR;
    inst->prototypes.class_proto         = KOS_BADPTR;
    inst->prototypes.generator_proto     = KOS_BADPTR;
    inst->prototypes.exception_proto     = KOS_BADPTR;
    inst->prototypes.generator_end_proto = KOS_BADPTR;
    inst->prototypes.panic_proto         = KOS_BADPTR;
    inst->prototypes.ctrl_c_proto        = KOS_BADPTR;
    inst->prototypes.thread_proto        = KOS_BADPTR;
    inst->prototypes.module_proto        = KOS_BADPTR;
    inst->modules.search_paths           = KOS_BADPTR;
    inst->modules.module_names           = KOS_BADPTR;
    inst->modules.modules                = KOS_BADPTR;
    inst->modules.init_module            = get_init_module();
    inst->modules.module_inits           = KOS_BADPTR;
    inst->modules.libs                   = KOS_NULL;
    inst->modules.load_chain             = KOS_NULL;
    inst->threads.threads                = KOS_NULL;
    inst->threads.can_create             = 0;
    inst->threads.num_threads            = 0;
    inst->threads.max_threads            = KOS_MAX_THREADS;

    init_context(&inst->threads.main_thread, inst);
}

static int init_prototypes(KOS_CONTEXT ctx, struct KOS_PROTOTYPES_S *prototypes)
{
    int error = KOS_SUCCESS;

    TRY_OBJID(prototypes->object_proto        = KOS_new_object_with_prototype(ctx, KOS_VOID));
    TRY_OBJID(prototypes->number_proto        = KOS_new_object(ctx));
    TRY_OBJID(prototypes->integer_proto       = KOS_new_object_with_prototype(ctx, prototypes->number_proto));
    TRY_OBJID(prototypes->float_proto         = KOS_new_object_with_prototype(ctx, prototypes->number_proto));
    TRY_OBJID(prototypes->string_proto        = KOS_new_object(ctx));
    TRY_OBJID(prototypes->boolean_proto       = KOS_new_object(ctx));
    TRY_OBJID(prototypes->array_proto         = KOS_new_object(ctx));
    TRY_OBJID(prototypes->buffer_proto        = KOS_new_object(ctx));
    TRY_OBJID(prototypes->function_proto      = KOS_new_object(ctx));
    TRY_OBJID(prototypes->class_proto         = KOS_new_object_with_prototype(ctx, prototypes->function_proto));
    TRY_OBJID(prototypes->generator_proto     = KOS_new_object_with_prototype(ctx, prototypes->function_proto));
    TRY_OBJID(prototypes->exception_proto     = KOS_new_object(ctx));
    TRY_OBJID(prototypes->generator_end_proto = KOS_new_object(ctx));
    TRY_OBJID(prototypes->panic_proto         = KOS_new_object(ctx));
    TRY_OBJID(prototypes->ctrl_c_proto        = KOS_new_object(ctx));
    TRY_OBJID(prototypes->thread_proto        = KOS_new_object(ctx));
    TRY_OBJID(prototypes->module_proto        = KOS_new_object(ctx));

cleanup:
    return error;
}

#ifdef CONFIG_FUZZ
KOS_ATOMIC(uint32_t) kos_fuzz_instructions;
#endif

int KOS_instance_init(KOS_INSTANCE *inst,
                      uint32_t      flags,
                      KOS_CONTEXT  *out_ctx)
{
    int         error;
    int         heap_ok   = 0;
    int         thread_ok = 0;
    KOS_MODULE *init_module;
    KOS_CONTEXT ctx;

    assert(!kos_is_heap_object(KOS_VOID));
    assert(!kos_is_heap_object(KOS_FALSE));
    assert(!kos_is_heap_object(KOS_TRUE));
    assert(!kos_is_heap_object(KOS_STR_EMPTY));
    assert(KOS_get_string_length(KOS_STR_EMPTY) == 0);
    assert(!kos_is_heap_object(KOS_STR_OUT_OF_MEMORY));
    assert(KOS_get_string_length(KOS_STR_OUT_OF_MEMORY) == 13);
    assert(!kos_is_heap_object(KOS_EMPTY_ARRAY));
    assert(GET_OBJ_TYPE(KOS_EMPTY_ARRAY) == OBJ_ARRAY);
    assert(KOS_get_array_size(KOS_EMPTY_ARRAY) == 0);

#ifdef CONFIG_FUZZ
    KOS_atomic_write_relaxed_u32(kos_fuzz_instructions, 0U);
#endif

    clear_instance(inst);

    TRY(kos_tls_create(&inst->threads.thread_key));
    error = kos_create_mutex(&inst->threads.ctx_mutex);
    if (error) {
        kos_tls_destroy(inst->threads.thread_key);
        goto cleanup;
    }
    error = kos_create_mutex(&inst->threads.new_mutex);
    if (error) {
        kos_destroy_mutex(&inst->threads.ctx_mutex);
        kos_tls_destroy(inst->threads.thread_key);
        goto cleanup;
    }
    thread_ok = 1;

    TRY(kos_heap_init(inst));
    heap_ok = 1;

    inst->threads.threads = (KOS_ATOMIC(KOS_THREAD *) *)
        KOS_malloc(sizeof(KOS_THREAD *) * inst->threads.max_threads);
    if ( ! inst->threads.threads)
        RAISE_ERROR(KOS_ERROR_OUT_OF_MEMORY);
    memset((void *)inst->threads.threads, 0, sizeof(KOS_THREAD *) * inst->threads.max_threads);

    TRY(register_thread(inst, &inst->threads.main_thread));

    ctx = &inst->threads.main_thread;

    TRY(init_prototypes(ctx, &inst->prototypes));

    TRY_OBJID(inst->modules.module_names           = KOS_new_object(ctx));
    TRY_OBJID(inst->modules.modules                = KOS_new_array(ctx, 0));
    TRY_OBJID(inst->modules.search_paths           = KOS_new_array(ctx, 0));
    TRY_OBJID(inst->modules.module_inits           = KOS_new_object(ctx));
    TRY_OBJID(inst->args                           = KOS_new_array(ctx, 0));

    init_module = (KOS_MODULE *)kos_alloc_object(ctx, KOS_ALLOC_IMMOVABLE, OBJ_MODULE, sizeof(KOS_MODULE));
    if ( ! init_module)
        RAISE_ERROR(KOS_ERROR_OUT_OF_MEMORY);
    setup_init_module(init_module);

    init_module->inst                    = inst;
    TRY_OBJID(init_module->globals       = KOS_new_array(ctx, 0));
    TRY_OBJID(init_module->global_names  = KOS_new_object(ctx));
    TRY_OBJID(init_module->module_names  = KOS_new_object(ctx));

    inst->modules.init_module = OBJID(MODULE, init_module);

    TRY(init_search_paths(ctx));

    TRY(KOS_set_property(ctx, inst->prototypes.generator_end_proto, KOS_CONST_ID(str_description),
                         KOS_CONST_ID(str_err_generator_end)));
    TRY(KOS_set_property(ctx, inst->prototypes.panic_proto, KOS_CONST_ID(str_description),
                         KOS_CONST_ID(str_err_panic)));
    TRY(KOS_set_property(ctx, inst->prototypes.ctrl_c_proto, KOS_CONST_ID(str_description),
                         KOS_CONST_ID(str_err_ctrl_c)));

    *out_ctx = ctx;

    /* Set user flags.
     * Also, enable automatic GC unless disabled by user */
    inst->flags = flags;

    /* Enable creation of new threads */
    inst->threads.can_create = 1U;

cleanup:
    if (error) {
        if (heap_ok)
            kos_heap_destroy(inst);

        if (thread_ok) {
            kos_tls_destroy(inst->threads.thread_key);
            kos_destroy_mutex(&inst->threads.new_mutex);
            kos_destroy_mutex(&inst->threads.ctx_mutex);
        }

        if (inst->threads.threads)
            KOS_free((void *)inst->threads.threads);
    }

    return error;
}

void KOS_instance_destroy(KOS_INSTANCE *inst)
{
    int         error;
    uint32_t    i;
    uint32_t    num_modules = KOS_get_array_size(inst->modules.modules);
    KOS_CONTEXT ctx         = &inst->threads.main_thread;
    KOS_VECTOR  finalizers;

    kos_validate_context(ctx);

    error = kos_join_finished_threads(ctx, KOS_JOIN_ALL);

    if (error == KOS_ERROR_EXCEPTION)
        KOS_print_exception(ctx, KOS_STDERR);
    else if (error) {
        assert(error == KOS_ERROR_OUT_OF_MEMORY);
        fprintf(stderr, "Out of memory\n");
    }

    KOS_vector_init(&finalizers);

    for (i = 0; i < num_modules; i++) {
        KOS_OBJ_ID module_obj = KOS_array_read(ctx, inst->modules.modules, (int)i);
        if (IS_BAD_PTR(module_obj))
            KOS_clear_exception(ctx);
        else if (GET_OBJ_TYPE(module_obj) == OBJ_MODULE) {

            /* Copy away module finalizers and run them after heap is destroyed
             * in case objects created by the module have private data which
             * depends on module initialization. */
            if (OBJPTR(MODULE, module_obj)->finalize) {
                const size_t old_size = finalizers.size;
                const size_t new_size = old_size + sizeof(KOS_MODULE_FINALIZE);
                if ( ! KOS_vector_resize(&finalizers, new_size)) {
                    memcpy(&finalizers.buffer[old_size], &OBJPTR(MODULE, module_obj)->finalize, sizeof(KOS_MODULE_FINALIZE));
                    memset(&OBJPTR(MODULE, module_obj)->finalize, 0, sizeof(KOS_MODULE_FINALIZE));
                }
            }
        }
        else {
            /* failed e.g. during compilation */
            assert(GET_OBJ_TYPE(module_obj) == OBJ_VOID);
        }
    }

    kos_heap_destroy(inst);

    if (finalizers.size) {
        KOS_MODULE_FINALIZE       *finalize = (KOS_MODULE_FINALIZE *)finalizers.buffer;
        KOS_MODULE_FINALIZE *const end      = (KOS_MODULE_FINALIZE *)(finalizers.buffer + finalizers.size);

        for ( ; finalize < end; ++finalize)
            (*finalize)();
    }

    KOS_vector_destroy(&finalizers);

    if (inst->modules.libs) {
        uint32_t      idx;
        KOS_LIB_LIST *libs = inst->modules.libs;

        for (idx = libs->num_libs; idx > 0; ) {
            const KOS_SHARED_LIB lib = libs->libs[--idx];

            assert(lib);
            KOS_unload_library(lib);
        }

        KOS_free((void *)libs);
    }

    kos_tls_destroy(inst->threads.thread_key);

    kos_destroy_mutex(&inst->threads.new_mutex);
    kos_destroy_mutex(&inst->threads.ctx_mutex);

    KOS_free((void *)inst->threads.threads);

    clear_instance(inst);

#ifdef CONFIG_PERF
#   define PERF_RATIO(a) do {                                                      \
        const uint64_t va = KOS_atomic_read_relaxed_u64(kos_perf.a##_success);     \
        const uint64_t vb = KOS_atomic_read_relaxed_u64(kos_perf.a##_fail);        \
        uint64_t       total = va + vb;                                            \
        if (total == 0) total = 1;                                                 \
        fprintf(stderr, "    " #a "\t%" PRIu64 " / %" PRIu64 " (%" PRIu64 "%%)\n", \
                va, total, va * 100 / total);                                      \
    } while (0)
#   define PERF_VALUE_NAME(name, a) do {                             \
        const uint64_t va = KOS_atomic_read_relaxed_u64(kos_perf.a); \
        fprintf(stderr, "    " #name "\t%" PRIu64 " \n", va);        \
    } while (0)
#   define PERF_VALUE(a) PERF_VALUE_NAME(a, a)
    fprintf(stderr, "Performance stats:\n");
    PERF_VALUE(object_key_diff_hash);
    PERF_RATIO(object_key_compare);
    PERF_RATIO(object_get);
    PERF_RATIO(object_set);
    PERF_RATIO(object_delete);
    PERF_RATIO(object_resize);
    PERF_RATIO(object_salvage);
    PERF_VALUE(object_collision[0]);
    PERF_VALUE(object_collision[1]);
    PERF_VALUE(object_collision[2]);
    PERF_VALUE(object_collision[3]);
    PERF_RATIO(array_salvage);
    PERF_VALUE(alloc_object);
    PERF_VALUE_NAME(new_object_integer,        new_object[0]);
    PERF_VALUE_NAME(new_object_float,          new_object[1]);
    PERF_VALUE_NAME(new_object_void,           new_object[2]);
    PERF_VALUE_NAME(new_object_boolean,        new_object[3]);
    PERF_VALUE_NAME(new_object_string,         new_object[4]);
    PERF_VALUE_NAME(new_object_object,         new_object[5]);
    PERF_VALUE_NAME(new_object_array,          new_object[6]);
    PERF_VALUE_NAME(new_object_buffer,         new_object[7]);
    PERF_VALUE_NAME(new_object_function,       new_object[8]);
    PERF_VALUE_NAME(new_object_class,          new_object[9]);
    PERF_VALUE_NAME(new_object_module,         new_object[10]);
    PERF_VALUE_NAME(new_object_opaque,         new_object[11]);
    PERF_VALUE_NAME(new_object_huge_tracker,   new_object[12]);
    PERF_VALUE_NAME(new_object_object_storage, new_object[13]);
    PERF_VALUE_NAME(new_object_array_storage,  new_object[14]);
    PERF_VALUE_NAME(new_object_buffer_storage, new_object[15]);
    PERF_VALUE_NAME(new_object_dynamic_prop,   new_object[16]);
    PERF_VALUE_NAME(new_object_iterator,       new_object[17]);
    PERF_VALUE_NAME(new_object_stack,          new_object[18]);
    PERF_VALUE_NAME(alloc_object_32,        alloc_object_size[0]);
    PERF_VALUE_NAME(alloc_object_64_128,    alloc_object_size[1]);
    PERF_VALUE_NAME(alloc_object_160_256,   alloc_object_size[2]);
    PERF_VALUE_NAME(alloc_object_288_512,   alloc_object_size[3]);
    PERF_VALUE(alloc_huge_object);
    PERF_VALUE(non_full_seek);
    PERF_VALUE(non_full_seek_max);
    PERF_VALUE(alloc_new_page);
    PERF_VALUE(alloc_free_page);
    PERF_VALUE(gc_cycles);
    PERF_VALUE(mark_groups_alloc);
    PERF_VALUE(mark_groups_sched);
    PERF_VALUE_NAME(evac_object_32,         evac_object_size[0]);
    PERF_VALUE_NAME(evac_object_64_128,     evac_object_size[1]);
    PERF_VALUE_NAME(evac_object_160_256,    evac_object_size[2]);
    PERF_VALUE_NAME(evac_object_288_512,    evac_object_size[3]);
    PERF_VALUE(instructions);
#endif
}

int KOS_instance_add_path(KOS_CONTEXT ctx, const char *module_search_path)
{
    int           error;
    KOS_OBJ_ID    path_str;
    KOS_INSTANCE *inst = ctx->inst;

    path_str = KOS_new_cstring(ctx, module_search_path);
    TRY_OBJID(path_str);

    TRY(KOS_array_push(ctx, inst->modules.search_paths, path_str, KOS_NULL));

cleanup:
    return error;
}

#ifndef CONFIG_MODULE_PATH
#   ifdef _WIN32
#       define CONFIG_MODULE_PATH "modules"
#   else
#       define CONFIG_MODULE_PATH "../share/kos/modules"
#   endif
#endif

int KOS_instance_add_default_path(KOS_CONTEXT ctx, const char *argv0)
{
    int               error      = KOS_ERROR_NOT_FOUND;
    KOS_VECTOR        cstr;
    KOS_VECTOR        cpath;
    size_t            pos;
    static const char rel_path[] = CONFIG_MODULE_PATH;

    KOS_vector_init(&cstr);
    KOS_vector_init(&cpath);

    if (argv0) {

        size_t len = strlen(argv0);

        if ( ! len)
            goto cleanup;

        /* Absolute or relative path */
        if (strchr(argv0, KOS_PATH_SEPARATOR)) {

            if ( ! KOS_does_file_exist(argv0))
                RAISE_ERROR(KOS_ERROR_NOT_FOUND);

            len += 1;
            TRY(KOS_vector_resize(&cstr, len));

            memcpy(cstr.buffer, argv0, len);
        }
        /* Just executable name, scan PATH */
        else {

            char *buf;

            TRY(KOS_get_env("PATH", &cpath));

            buf = cpath.buffer;

            TRY(KOS_vector_reserve(&cstr, cpath.size + len + 1));

            cstr.size = 0;

            while ((size_t)(buf - cpath.buffer + 1) < cpath.size) {

                char  *end = strchr(buf, KOS_PATH_LIST_SEPARATOR);
                size_t base_len;

                if ( ! end)
                    end = cpath.buffer + cpath.size - 1;

                base_len = end - buf;

                TRY(KOS_vector_resize(&cstr, base_len + 1 + len + 1));

                memcpy(cstr.buffer, buf, base_len);
                cstr.buffer[base_len] = KOS_PATH_SEPARATOR;
                memcpy(&cstr.buffer[base_len + 1], argv0, len);
                cstr.buffer[base_len + 1 + len] = 0;

                if (KOS_does_file_exist(cstr.buffer))
                    break;

                cstr.size = 0;

                buf = end + 1;
            }

            if (cstr.size == 0)
                RAISE_ERROR(KOS_ERROR_NOT_FOUND);
        }
    }
    else {
        if (kos_seq_fail())
            RAISE_ERROR(KOS_ERROR_NOT_FOUND);

        TRY(kos_executable_path(&cstr));
    }

    TRY(KOS_get_absolute_path(&cstr));

    assert(cstr.size > 0);

    for (pos = cstr.size - 1; pos > 0 && cstr.buffer[pos] != KOS_PATH_SEPARATOR; --pos);

    if ( ! pos)
        RAISE_ERROR(KOS_ERROR_NOT_FOUND);

    TRY(KOS_vector_resize(&cstr, pos + 1 + sizeof(rel_path)));

    memcpy(&cstr.buffer[pos + 1], rel_path, sizeof(rel_path));

    TRY(KOS_instance_add_path(ctx, cstr.buffer));

cleanup:
    KOS_vector_destroy(&cpath);
    KOS_vector_destroy(&cstr);

    return error;
}

int KOS_instance_set_args(KOS_CONTEXT  ctx,
                          int          argc,
                          const char **argv)
{
    int           error;
    int           i;
    KOS_INSTANCE *inst = ctx->inst;

    assert(argc >= 0);

    if (argc <= 0)
        return KOS_SUCCESS;

    TRY(KOS_array_resize(ctx, inst->args, (uint32_t)argc));

    for (i = 0; i < argc; i++) {
        KOS_OBJ_ID arg_str = KOS_new_cstring(ctx, argv[i]);
        TRY_OBJID(arg_str);

        TRY(KOS_array_write(ctx, inst->args, i, arg_str));
    }

cleanup:
    return error;
}

static int save_module_lib(KOS_CONTEXT ctx, KOS_SHARED_LIB lib)
{
    KOS_LIB_LIST *libs;

    if ( ! lib)
        return KOS_SUCCESS;

    libs = ctx->inst->modules.libs;

    if ( ! libs) {
        libs = (KOS_LIB_LIST *)KOS_malloc(sizeof(KOS_LIB_LIST) + 7 * sizeof(KOS_SHARED_LIB));

        if ( ! libs)
            return KOS_ERROR_OUT_OF_MEMORY;

        libs->num_libs = 0;
        libs->capacity = 8;

        ctx->inst->modules.libs = libs;
    }

    if (libs->num_libs >= libs->capacity) {
        const uint32_t new_capacity = libs->capacity + 8;
        KOS_LIB_LIST  *new_libs     = (KOS_LIB_LIST *)KOS_realloc(libs,
                sizeof(KOS_LIB_LIST) + (new_capacity - 1) * sizeof(KOS_SHARED_LIB));

        if ( ! new_libs)
            return KOS_ERROR_OUT_OF_MEMORY;

        libs                    = new_libs;
        libs->capacity          = new_capacity;
        ctx->inst->modules.libs = libs;
    }

    libs->libs[libs->num_libs++] = lib;

    return KOS_SUCCESS;
}

KOS_OBJ_ID kos_register_module_init(KOS_CONTEXT      ctx,
                                    KOS_OBJ_ID       module_name_obj,
                                    KOS_SHARED_LIB   lib,
                                    KOS_BUILTIN_INIT init,
                                    unsigned         flags)
{
    struct KOS_MODULE_INIT_S *mod_init_ptr;
    KOS_INSTANCE       *const inst  = ctx->inst;
    KOS_LOCAL                 module_name;
    KOS_LOCAL                 mod_init;

#ifdef CONFIG_FUZZ
    flags &= ~KOS_MODULE_NEEDS_KOS_SOURCE;
#endif

    KOS_init_local(     ctx, &mod_init);
    KOS_init_local_with(ctx, &module_name, module_name_obj);

    mod_init_ptr = (struct KOS_MODULE_INIT_S *)kos_alloc_object(ctx,
                                                                KOS_ALLOC_MOVABLE,
                                                                OBJ_OPAQUE,
                                                                sizeof(struct KOS_MODULE_INIT_S));

    if ( ! mod_init_ptr)
        goto cleanup;

    mod_init_ptr->lib   = lib;
    mod_init_ptr->init  = init;
    mod_init_ptr->flags = flags;

    mod_init.o = OBJID(OPAQUE, (KOS_OPAQUE *)mod_init_ptr);

    if (KOS_set_property(ctx,
                         inst->modules.module_inits,
                         module_name.o,
                         mod_init.o) == KOS_SUCCESS) {

        if (save_module_lib(ctx, lib) != KOS_SUCCESS) {
            assert( ! KOS_is_exception_pending(ctx));

            mod_init_ptr = (struct KOS_MODULE_INIT_S *)OBJPTR(OPAQUE, mod_init.o);
            mod_init_ptr->lib  = KOS_NULL;
            mod_init_ptr->init = KOS_NULL;

            mod_init.o = KOS_BADPTR;

            KOS_raise_exception(ctx, KOS_STR_OUT_OF_MEMORY);
        }
    }
    else
        mod_init.o = KOS_BADPTR;

cleanup:
    if (IS_BAD_PTR(mod_init.o) && lib)
        KOS_unload_library(lib);

    return KOS_destroy_top_locals(ctx, &module_name, &mod_init);
}

int KOS_instance_register_builtin(KOS_CONTEXT      ctx,
                                  const char      *module,
                                  KOS_BUILTIN_INIT init,
                                  unsigned         flags)
{
    const KOS_OBJ_ID module_name = KOS_new_cstring(ctx, module);

    if (IS_BAD_PTR(module_name))
        return KOS_ERROR_EXCEPTION;

    return IS_BAD_PTR(kos_register_module_init(ctx, module_name, KOS_NULL, init, flags))
           ? KOS_ERROR_EXCEPTION : KOS_SUCCESS;
}

#ifndef NDEBUG
void kos_validate_context(KOS_CONTEXT ctx)
{
    KOS_INSTANCE *inst = ctx->inst;
    KOS_CONTEXT   thread_ctx;

    assert(inst);

    thread_ctx = (KOS_CONTEXT)kos_tls_get(inst->threads.thread_key);

    assert(thread_ctx);
    assert(thread_ctx == ctx);
}
#endif

void KOS_raise_exception(KOS_CONTEXT ctx,
                         KOS_OBJ_ID  exception_obj)
{
    /* Nested exceptions are not allowed. */
    /* This can only happen if there is a bug and an exception has been ignored. */
    assert(IS_BAD_PTR(ctx->exception));

    assert(GET_OBJ_TYPE_GC_SAFE(exception_obj) <= OBJ_LAST_TYPE ||
           GET_OBJ_TYPE_GC_SAFE(exception_obj) == OBJ_DYNAMIC_PROP);

#ifdef CONFIG_MAD_GC
    if ( ! kos_gc_active(ctx)) {
        KOS_LOCAL saved_exception;

        KOS_init_local_with(ctx, &saved_exception, exception_obj);
        (void)kos_trigger_mad_gc(ctx);
        exception_obj = KOS_destroy_top_local(ctx, &saved_exception);
    }
#endif

    if (IS_BAD_PTR(ctx->exception))
        ctx->exception = exception_obj;
}

void KOS_raise_exception_cstring(KOS_CONTEXT ctx,
                                 const char *cstr)
{
    const KOS_OBJ_ID str = KOS_new_const_ascii_cstring(ctx, cstr);

    if ( ! IS_BAD_PTR(str))
        KOS_raise_exception(ctx, str);

    assert( ! IS_BAD_PTR(ctx->exception));
}

KOS_OBJ_ID KOS_format_exception(KOS_CONTEXT ctx,
                                KOS_OBJ_ID  exception)
{
    int        error;
    unsigned   i;
    unsigned   depth;
    KOS_LOCAL  value;
    KOS_LOCAL  backtrace;
    KOS_LOCAL  frame_desc;
    KOS_LOCAL  array;
    KOS_OBJ_ID str;
    KOS_VECTOR cstr;

    KOS_vector_init(&cstr);

    KOS_init_locals(ctx, &value, &backtrace, &frame_desc, &array, kos_end_locals);

    value.o = KOS_get_property(ctx, exception, KOS_STR_VALUE);
    TRY_OBJID(value.o);

    backtrace.o = KOS_get_property(ctx, exception, KOS_STR_BACKTRACE);
    TRY_OBJID(backtrace.o);

    if (GET_OBJ_TYPE(backtrace.o) != OBJ_ARRAY)
        RAISE_EXCEPTION_STR(str_err_not_array);

    depth   = KOS_get_array_size(backtrace.o);
    array.o = KOS_new_array(ctx, 1 + depth);
    TRY_OBJID(array.o);

    if (GET_OBJ_TYPE(value.o) == OBJ_OBJECT) {
        str = KOS_get_property(ctx, value.o, KOS_CONST_ID(str_description));

        if (IS_BAD_PTR(str))
            KOS_clear_exception(ctx);
        else
            value.o = str;
    }

    if (KOS_vector_reserve(&cstr, 80) != KOS_SUCCESS) {
        KOS_raise_exception(ctx, KOS_STR_OUT_OF_MEMORY);
        RAISE_ERROR(KOS_ERROR_EXCEPTION);
    }
    TRY(KOS_append_cstr(ctx, &cstr, str_format_exception, sizeof(str_format_exception) - 1));
    TRY(KOS_object_to_string_or_cstr_vec(ctx, value.o, KOS_DONT_QUOTE, KOS_NULL, &cstr));

    str = KOS_new_string(ctx, cstr.buffer, (unsigned)(cstr.size - 1));
    TRY_OBJID(str);

    TRY(KOS_array_write(ctx, array.o, 0, str));

    for (i = 0; i < depth; i++) {

        char     cbuf[19];
        unsigned len;

        frame_desc.o = KOS_array_read(ctx, backtrace.o, (int)i);
        TRY_OBJID(frame_desc.o);

        cstr.size = 0;

        TRY(KOS_append_cstr(ctx, &cstr, str_format_hash,
                            sizeof(str_format_hash) - 1));

        len = (unsigned)snprintf(cbuf, sizeof(cbuf), "%u", i);
        TRY(KOS_append_cstr(ctx, &cstr, cbuf, KOS_min(len, (unsigned)(sizeof(cbuf) - 1))));

        TRY(KOS_append_cstr(ctx, &cstr, str_format_offset,
                            sizeof(str_format_offset) - 1));

        str = KOS_get_property(ctx, frame_desc.o, KOS_STR_OFFSET);
        TRY_OBJID(str);
        if (IS_NUMERIC_OBJ(str)) {
            int64_t int_value;

            TRY(KOS_get_integer(ctx, str, &int_value));
            len = (unsigned)snprintf(cbuf, sizeof(cbuf), "0x%" PRIX64, int_value);
            TRY(KOS_append_cstr(ctx, &cstr, cbuf, KOS_min(len, (unsigned)(sizeof(cbuf) - 1))));
        }
        else
            TRY(KOS_append_cstr(ctx, &cstr, str_format_question_marks,
                                sizeof(str_format_question_marks) - 1));

        TRY(KOS_append_cstr(ctx, &cstr, str_format_function,
                            sizeof(str_format_function) - 1));

        str = KOS_get_property(ctx, frame_desc.o, KOS_STR_FUNCTION);
        TRY_OBJID(str);
        TRY(KOS_object_to_string_or_cstr_vec(ctx, str, KOS_DONT_QUOTE, KOS_NULL, &cstr));

        TRY(KOS_append_cstr(ctx, &cstr, str_format_module,
                            sizeof(str_format_module) - 1));

        str = KOS_get_property(ctx, frame_desc.o, KOS_STR_FILE);
        TRY_OBJID(str);
        str = KOS_get_file_name(ctx, str);
        TRY_OBJID(str);
        TRY(KOS_object_to_string_or_cstr_vec(ctx, str, KOS_DONT_QUOTE, KOS_NULL, &cstr));

        TRY(KOS_append_cstr(ctx, &cstr, str_format_line,
                            sizeof(str_format_line) - 1));

        str = KOS_get_property(ctx, frame_desc.o, KOS_STR_LINE);
        TRY_OBJID(str);
        TRY(KOS_object_to_string_or_cstr_vec(ctx, str, KOS_DONT_QUOTE, KOS_NULL, &cstr));

        str = KOS_new_string(ctx, cstr.buffer, (unsigned)(cstr.size - 1));
        TRY_OBJID(str);

        TRY(KOS_array_write(ctx, array.o, 1+(int)i, str));
    }

cleanup:
    array.o = KOS_destroy_top_locals(ctx, &value, &array);

    KOS_vector_destroy(&cstr);

    return error ? KOS_BADPTR : array.o;
}

static void raise_internal_exception(KOS_CONTEXT ctx, KOS_OBJ_ID base)
{
    const KOS_OBJ_ID exception = KOS_new_object_with_prototype(ctx, base);

    if ( ! IS_BAD_PTR(exception))
        KOS_raise_exception(ctx, exception);
}

void KOS_raise_generator_end(KOS_CONTEXT ctx)
{
    raise_internal_exception(ctx, ctx->inst->prototypes.generator_end_proto);
}

void kos_raise_panic(KOS_CONTEXT ctx)
{
    raise_internal_exception(ctx, ctx->inst->prototypes.panic_proto);
}

#ifdef NDEBUG
#define check_local_list(ctx, local) ((void)0)
#else
static void check_local_list(KOS_LOCAL *list, KOS_LOCAL *local)
{
    while (list) {
        assert(list != local);
        list = list->next;
    }
}
#endif

void KOS_init_local_with(KOS_CONTEXT ctx, KOS_LOCAL *local, KOS_OBJ_ID obj_id)
{
    KOS_LOCAL *next = ctx->local_list;

    check_local_list(next, local);

    local->next     = next;
    local->o        = obj_id;
    ctx->local_list = local;
}

void KOS_init_ulocal(KOS_CONTEXT ctx, KOS_ULOCAL *local)
{
    KOS_ULOCAL *next = ctx->ulocal_list;

    check_local_list((KOS_LOCAL *)next, (KOS_LOCAL *)local);

    local->next      = next;
    local->prev      = KOS_NULL;
    local->o         = KOS_BADPTR;
    ctx->ulocal_list = local;
    if (next)
        next->prev   = local;
}

void KOS_init_locals(KOS_CONTEXT ctx, ...)
{
    va_list     args;
    KOS_LOCAL  *head     = KOS_NULL;
    KOS_LOCAL **tail_ptr = &head;

    va_start(args, ctx);

    for (;;) {
        KOS_LOCAL *local = (KOS_LOCAL *)va_arg(args, KOS_LOCAL *);

        if ( ! local)
            break;

        check_local_list(head, local);
        check_local_list(ctx->local_list, local);

        *tail_ptr = local;
        tail_ptr  = &local->next;

        local->o = KOS_BADPTR;
#ifndef NDEBUG
        local->next = KOS_NULL;
#endif
    }

    *tail_ptr       = ctx->local_list;
    ctx->local_list = head;

    va_end(args);
}

KOS_OBJ_ID KOS_destroy_ulocal(KOS_CONTEXT ctx, KOS_ULOCAL *local)
{
    KOS_OBJ_ID ret = KOS_BADPTR;

    if (ctx) {
        KOS_ULOCAL *prev = local->prev;
        KOS_ULOCAL *next = local->next;

        KOS_ULOCAL **prev_hookup = prev ? &prev->next : &ctx->ulocal_list;

        assert(ctx->ulocal_list);
        if (prev) {
            assert(ctx->ulocal_list != local);
        }
        else {
            assert(ctx->ulocal_list == local);
        }

        *prev_hookup = next;
        if (next)
            next->prev = prev;

        ret = local->o;

#ifndef NDEBUG
        local->next = KOS_NULL;
        local->prev = KOS_NULL;
        local->o    = KOS_BADPTR;
#endif
    }

    return ret;
}

KOS_OBJ_ID KOS_destroy_top_local(KOS_CONTEXT ctx, KOS_LOCAL *local)
{
    KOS_OBJ_ID ret = KOS_BADPTR;

    assert(ctx->local_list == local);

    ctx->local_list = local->next;

    ret = local->o;

#ifndef NDEBUG
    local->next = KOS_NULL;
    local->o    = KOS_BADPTR;
#endif

    return ret;
}

KOS_OBJ_ID KOS_destroy_top_locals(KOS_CONTEXT ctx, KOS_LOCAL *first, KOS_LOCAL *last)
{
    KOS_LOCAL **hookup = &ctx->local_list;
    KOS_OBJ_ID  ret    = last->o;

    assert(ctx->local_list == first);

    *hookup = last->next;

#ifndef NDEBUG
    for (;;) {
        KOS_LOCAL *next = first->next;

        first->next = KOS_NULL;
        first->o    = KOS_BADPTR;

        if (first == last)
            break;

        first = next;
    }
#endif

    return ret;
}

void kos_set_global_event(KOS_CONTEXT ctx, enum KOS_GLOBAL_EVENT_E event)
{
    KOS_INSTANCE* const inst = ctx->inst;
    KOS_CONTEXT         walk_ctx;

    kos_lock_mutex(inst->threads.ctx_mutex);

    walk_ctx = &inst->threads.main_thread;

    for ( ; walk_ctx; walk_ctx = walk_ctx->next) {
        uint32_t flags;

        do {
            flags = KOS_atomic_read_relaxed_u32(walk_ctx->event_flags);
        } while ( ! KOS_atomic_cas_weak_u32(walk_ctx->event_flags, flags, flags | event));
    }

    kos_unlock_mutex(inst->threads.ctx_mutex);
}

void kos_clear_global_event(KOS_CONTEXT ctx, enum KOS_GLOBAL_EVENT_E event)
{
    KOS_INSTANCE* const inst = ctx->inst;
    KOS_CONTEXT         walk_ctx;

    kos_lock_mutex(inst->threads.ctx_mutex);

    walk_ctx = &inst->threads.main_thread;

    for ( ; walk_ctx; walk_ctx = walk_ctx->next) {
        uint32_t flags;

        do {
            flags = KOS_atomic_read_relaxed_u32(walk_ctx->event_flags);
        } while ( ! KOS_atomic_cas_weak_u32(walk_ctx->event_flags, flags, flags & ~event));
    }

    kos_unlock_mutex(inst->threads.ctx_mutex);
}

int KOS_handle_global_event(KOS_CONTEXT ctx)
{
    uint32_t event;

    kos_validate_context(ctx);

    event = KOS_atomic_read_relaxed_u32(ctx->event_flags);

    if ( ! event)
        return KOS_SUCCESS;

    if (event & KOS_EVENT_PANIC) {
        kos_raise_panic(ctx);
        return KOS_ERROR_EXCEPTION;
    }

    if (event & KOS_EVENT_CTRL_C) {
        raise_internal_exception(ctx, ctx->inst->prototypes.ctrl_c_proto);

        return KOS_ERROR_EXCEPTION;
    }

    if (event & KOS_EVENT_GC)
        kos_help_gc(ctx);

    return KOS_SUCCESS;
}

#ifdef _WIN32
typedef void (* signal_handler)(int);

static int set_signal(int sig, void (* handler)(int), signal_handler *old_action)
{
    errno = 0;

    return (kos_seq_fail() || ((*old_action = signal(sig, handler)) == SIG_ERR)) ? KOS_ERROR_ERRNO : KOS_SUCCESS;
}

static void restore_signal(int sig, signal_handler *old_action)
{
    signal(sig, *old_action);
}
#else
typedef struct sigaction signal_handler;

static int set_signal(int sig, void (* handler)(int), signal_handler *old_action)
{
    signal_handler sa;

    memset(&sa, 0, sizeof(sa));
    sa.sa_handler = handler;
    sigemptyset(&sa.sa_mask);

    errno = 0;

    return (kos_seq_fail() || sigaction(sig, &sa, old_action) != 0) ? KOS_ERROR_ERRNO : KOS_SUCCESS;
}

static void restore_signal(int sig, signal_handler *old_action)
{
    signal_handler prev_handler;

    sigaction(sig, old_action, &prev_handler);
}
#endif

struct KOS_CTRL_C {
    KOS_ATOMIC(KOS_INSTANCE *) instance;
    signal_handler             old_handler;
};

static struct KOS_CTRL_C ctrl_c;

static void instance_ctrlc_signal_handler(int sig)
{
    KOS_INSTANCE *const instance = (KOS_INSTANCE *)KOS_atomic_read_relaxed_ptr(ctrl_c.instance);

    kos_set_global_event(&instance->threads.main_thread, KOS_EVENT_CTRL_C);
}

int KOS_hook_ctrl_c(KOS_CONTEXT ctx)
{
    if ( ! KOS_atomic_cas_strong_ptr(ctrl_c.instance, (KOS_INSTANCE *)KOS_NULL, ctx->inst)) {
        KOS_raise_exception(ctx, KOS_CONST_ID(str_err_ctrl_c_already_hooked));
        return KOS_ERROR_EXCEPTION;
    }

    if (set_signal(SIGINT, instance_ctrlc_signal_handler, &ctrl_c.old_handler)) {
        KOS_raise_errno(ctx, "signal");
        return KOS_ERROR_EXCEPTION;
    }

    return KOS_SUCCESS;
}

int KOS_unhook_ctrl_c(KOS_CONTEXT ctx)
{
    if (KOS_atomic_read_acquire_ptr(ctrl_c.instance) == ctx->inst) {

        restore_signal(SIGINT, &ctrl_c.old_handler);
        memset(&ctrl_c.old_handler, 0, sizeof(ctrl_c.old_handler));

        kos_clear_global_event(ctx, KOS_EVENT_CTRL_C);

        KOS_atomic_write_release_ptr(ctrl_c.instance, (KOS_INSTANCE *)KOS_NULL);
    }

    return KOS_SUCCESS;
}

void KOS_clear_ctrl_c_event(KOS_CONTEXT ctx)
{
    KOS_LOCAL exception;
    int       clear_flag = 0;

    KOS_init_local_with(ctx, &exception, KOS_get_exception(ctx));

    if ( ! IS_BAD_PTR(exception.o)) {

        KOS_OBJ_ID value;

        KOS_clear_exception(ctx);

        value = KOS_get_property(ctx, exception.o, KOS_STR_VALUE);

        if ( ! IS_BAD_PTR(value)) {
            if (KOS_has_prototype(ctx, value, ctx->inst->prototypes.ctrl_c_proto))
                clear_flag = 1;
        }
        else
            KOS_clear_exception(ctx);

        KOS_raise_exception(ctx, exception.o);
    }

    KOS_destroy_top_local(ctx, &exception);

    if (clear_flag)
        kos_clear_global_event(ctx, KOS_EVENT_CTRL_C);
}

kos-lang / kos / 6760698844

Source File Press 'n' to go to next uncovered line, 'b' for previous

Source File
Press 'n' to go to next uncovered line, 'b' for previous