Function init

examples/cov.c:146–191

* Init. */

 * Init.
 */
void init(int argc, char **argv, char **envp)
{
    option_tty = isatty(STDERR_FILENO);
    const char *progname = argv[0];
    
    char *input;
    if (asprintf(&input, "%s.BBs.csv", progname) < 0)
        error("failed to create input filename: %s", strerror(errno));
    stream = fopen(input, "r");
    if (stream == NULL)
        error("failed to open \"%s%s%s\" for reading: %s", YELLOW, input,
            OFF, strerror(errno));
    char c;
    while ((c = getc(stream)) != '\n' && c != EOF)
        ;
    void *lb, *ub;
    while (fscanf(stream, "%p,%p", &lb, &ub) == 2)
    {
        if (BBs.size >= BBs.max)
        {
            BBs.max  = (BBs.max == 0? 16: 2 * BBs.max);
            BBs.data = (uintptr_t *)realloc(BBs.data,
                BBs.max * sizeof(uintptr_t));
            if (BBs.data == NULL)
            {
                bad_realloc:
                error("failed to allocate memory: %s", strerror(errno));
            }
        }
        BBs.data[BBs.size++] = (uintptr_t)lb;
    }
    BBs.size++;
    BBs.max = BBs.size;
    BBs.data = (uintptr_t *)realloc(BBs.data, BBs.max * sizeof(uintptr_t));
    if (BBs.data == NULL)
        goto bad_realloc;
    BBs.data[BBs.size-1] = UINTPTR_MAX;
    fclose(stream);
    stream = NULL;
    fprintf(stderr, "%sCOV%s: parsed %s%zu%s basic-blocks from \"%s%s%s\"\n",
        GREEN, OFF, YELLOW, BBs.size-1, OFF, YELLOW, input, OFF);
    free(input);

    if (asprintf(&output, "%s.COV.csv", progname) < 0)
        error("failed to create output filename: %s", strerror(errno));
}

/*
 * Fini.