Function calls_append_args

src/pipeline/pass_calls.c:277–321

Insert an edge, splicing the call-site line (,"line":N) in before the closing * brace when one was captured. Mirrors finalize_and_emit() on the parallel path * so CALLS edges carry their source line regardless of resolution path. Restricted * to CALLS: route/config edge props feed full-only predump passes * (create_route_nodes/create_data_flows), so altering them desyncs full vs * incremental

 * (< 50 file) repos that take the sequential path (#514). Mirrors the parallel
 * path's append_args_json shape so both pipelines agree. */
static void calls_append_args(char *props, size_t cap, const CBMCall *call) {
    if (!call || call->arg_count <= 0) {
        return;
    }
    size_t len = strlen(props);
    if (len < SKIP_ONE || props[len - SKIP_ONE] != '}') {
        return;
    }
    /* Overwrite the trailing '}' and rebuild it after the args array. */
    size_t pos = len - SKIP_ONE;
    int n = snprintf(props + pos, cap - pos, ",\"args\":[");
    if (n <= 0 || (size_t)n >= cap - pos) {
        return;
    }
    pos += (size_t)n;
    for (int i = 0; i < call->arg_count; i++) {
        const CBMCallArg *a = &call->args[i];
        char esc_e[CBM_SZ_256];
        cbm_json_escape(esc_e, sizeof(esc_e), a->expr ? a->expr : "");
        char one[CBM_SZ_512];
        if (a->value) {
            char esc_v[CBM_SZ_256];
            cbm_json_escape(esc_v, sizeof(esc_v), a->value);
            n = snprintf(one, sizeof(one), "%s{\"i\":%d,\"e\":\"%s\",\"v\":\"%s\"}",
                         i > 0 ? "," : "", a->index, esc_e, esc_v);
        } else {
            n = snprintf(one, sizeof(one), "%s{\"i\":%d,\"e\":\"%s\"}", i > 0 ? "," : "", a->index,
                         esc_e);
        }
        /* Add rather than subtract: pos is unsigned, so `cap - pos - PAIR_LEN`
         * wraps once pos reaches cap - PAIR_LEN and stops bounding the memcpy
         * below. The closing write at the end of this function already guards
         * additively; match it. */
        if (n <= 0 || pos + (size_t)n + PAIR_LEN >= cap) {
            break; /* not enough room — close the array with what fits */
        }
        memcpy(props + pos, one, (size_t)n);
        pos += (size_t)n;
    }
    if (pos + PAIR_LEN < cap) {
        props[pos++] = ']';
        props[pos++] = '}';
        props[pos] = '\0';
    }
}

static void calls_emit_edge(cbm_gbuf_t *gbuf, int64_t src, int64_t tgt, const char *type,
                            char *props, size_t cap, const CBMCall *call) {