Function inv_count_label

tests/repro/repro_invariant_lib.h:102–108

Count defs with a given label. */

/* Count defs with a given label. */
static inline int inv_count_label(CBMFileResult *r, const char *label) {
    int c = 0;
    for (int i = 0; i < r->defs.count; i++)
        if (r->defs.items[i].label && strcmp(r->defs.items[i].label, label) == 0)
            c++;
    return c;
}

/* True if a call to `callee` (substring match on callee_name) was extracted. */
static inline int inv_has_call(CBMFileResult *r, const char *callee) {