Function find_call_by_callee

tests/test_extraction.c:2732–2739

Find an in-body call by its raw callee text; returns the call or NULL. */

/* Find an in-body call by its raw callee text; returns the call or NULL. */
static const CBMCall *find_call_by_callee(CBMFileResult *r, const char *callee) {
    for (int i = 0; i < r->calls.count; i++) {
        if (r->calls.items[i].callee_name && strcmp(r->calls.items[i].callee_name, callee) == 0) {
            return &r->calls.items[i];
        }
    }
    return NULL;
}

/* Reproduce-first: Java module QN must derive from the CONTAINING DIRECTORY, not
 * the filename stem, so a top-level class `Outer` in `Outer.java` is `t.Outer`,