Function is_write_occurrence

internal/cbm/extract_usages.c:1223–1266

}

static bool is_write_occurrence(CBMExtractCtx *ctx, TSNode node, const CBMLangSpec *spec,
                                WalkState *state) {
    const CBMOccurrenceSpec *occurrence = &occurrence_specs[ctx->language];
    TSNode current = node;
    TSTreeCursor *cursor = reset_occurrence_cursor(state, node);
    while (!ts_node_is_null(current)) {
        TSNode parent;
        const char *field;
        if (!occurrence_parent(cursor, current, &parent, &field)) {
            break;
        }
        if (is_value_field(field)) {
            return false;
        }
        bool assignment =
            (spec->assignment_node_types && cbm_kind_in_set(parent, spec->assignment_node_types)) ||
            kind_in_exact_set(ts_node_type(parent), occurrence->write_nodes);
        if (ctx->language == CBM_LANG_ELIXIR &&
            strcmp(ts_node_type(parent), "binary_operator") == 0) {
            assignment = elixir_binary_operator_binds(ctx, parent);
        }
        if (assignment) {
            if (assignment_reads_target(parent)) {
                return false;
            }
            if (ctx->language == CBM_LANG_LINKERSCRIPT &&
                strcmp(ts_node_type(parent), "assignment") == 0) {
                /* This grammar's assignment production has no field map. Its
                 * first direct child is the lhs, even when that child is the
                 * anonymous location-counter token `.`. */
                return ts_node_child_count(parent) > 0 &&
                       node_contains(ts_node_child(parent, 0), node);
            }
            TSNode left = ts_node_child_by_field_name(parent, TS_FIELD("left"));
            if (node_contains(left, node) || field_contains_node(parent, "target", node) ||
                field_contains_node(parent, "destination", node)) {
                return true;
            }
            return occurrence->first_named_child_is_write && named_child_contains(parent, 0, node);
        }
        current = parent;
    }
    return false;
}

static bool is_argument_container_kind(const char *kind) {
    return kind && (strcmp(kind, "arguments") == 0 || strcmp(kind, "argument_list") == 0 ||