int qcow2_check_refcounts(BlockDriverState *bs, BdrvCheckResult *res,

                          BdrvCheckMode fix)

{

    BDRVQcowState *s = bs->opaque;

    int64_t size, i, highest_cluster;

    int nb_clusters, refcount1, refcount2;

    QCowSnapshot *sn;

    uint16_t *refcount_table;

    int ret;



    size = bdrv_getlength(bs->file);

    nb_clusters = size_to_clusters(s, size);

    refcount_table = g_malloc0(nb_clusters * sizeof(uint16_t));



    /* header */

    inc_refcounts(bs, res, refcount_table, nb_clusters,

        0, s->cluster_size);



    /* current L1 table */

    ret = check_refcounts_l1(bs, res, refcount_table, nb_clusters,

                       s->l1_table_offset, s->l1_size, 1);

    if (ret < 0) {

        goto fail;

    }



    /* snapshots */

    for(i = 0; i < s->nb_snapshots; i++) {

        sn = s->snapshots + i;

        ret = check_refcounts_l1(bs, res, refcount_table, nb_clusters,

            sn->l1_table_offset, sn->l1_size, 0);

        if (ret < 0) {

            goto fail;

        }

    }

    inc_refcounts(bs, res, refcount_table, nb_clusters,

        s->snapshots_offset, s->snapshots_size);



    /* refcount data */

    inc_refcounts(bs, res, refcount_table, nb_clusters,

        s->refcount_table_offset,

        s->refcount_table_size * sizeof(uint64_t));



    for(i = 0; i < s->refcount_table_size; i++) {

        uint64_t offset, cluster;

        offset = s->refcount_table[i];

        cluster = offset >> s->cluster_bits;



        /* Refcount blocks are cluster aligned */

        if (offset & (s->cluster_size - 1)) {

            fprintf(stderr, "ERROR refcount block %" PRId64 " is not "

                "cluster aligned; refcount table entry corrupted\n", i);

            res->corruptions++;

            continue;

        }



        if (cluster >= nb_clusters) {

            fprintf(stderr, "ERROR refcount block %" PRId64

                    " is outside image\n", i);

            res->corruptions++;

            continue;

        }



        if (offset != 0) {

            inc_refcounts(bs, res, refcount_table, nb_clusters,

                offset, s->cluster_size);

            if (refcount_table[cluster] != 1) {

                fprintf(stderr, "ERROR refcount block %" PRId64

                    " refcount=%d\n",

                    i, refcount_table[cluster]);

                res->corruptions++;

            }

        }

    }



    /* compare ref counts */

    for (i = 0, highest_cluster = 0; i < nb_clusters; i++) {

        refcount1 = get_refcount(bs, i);

        if (refcount1 < 0) {

            fprintf(stderr, "Can't get refcount for cluster %" PRId64 ": %s\n",

                i, strerror(-refcount1));

            res->check_errors++;

            continue;

        }



        refcount2 = refcount_table[i];



        if (refcount1 > 0 || refcount2 > 0) {

            highest_cluster = i;

        }



        if (refcount1 != refcount2) {



            /* Check if we're allowed to fix the mismatch */

            int *num_fixed = NULL;

            if (refcount1 > refcount2 && (fix & BDRV_FIX_LEAKS)) {

                num_fixed = &res->leaks_fixed;

            } else if (refcount1 < refcount2 && (fix & BDRV_FIX_ERRORS)) {

                num_fixed = &res->corruptions_fixed;

            }



            fprintf(stderr, "%s cluster %" PRId64 " refcount=%d reference=%d\n",

                   num_fixed != NULL     ? "Repairing" :

                   refcount1 < refcount2 ? "ERROR" :

                                           "Leaked",

                   i, refcount1, refcount2);



            if (num_fixed) {

                ret = update_refcount(bs, i << s->cluster_bits, 1,

                                      refcount2 - refcount1);

                if (ret >= 0) {

                    (*num_fixed)++;

                    continue;

                }

            }



            /* And if we couldn't, print an error */

            if (refcount1 < refcount2) {

                res->corruptions++;

            } else {

                res->leaks++;

            }

        }

    }



    res->image_end_offset = (highest_cluster + 1) * s->cluster_size;

    ret = 0;



fail:

    g_free(refcount_table);



    return ret;

}

int qcow2_check_refcounts(BlockDriverState *bs, BdrvCheckResult *res,

                          BdrvCheckMode fix)

{

    BDRVQcowState *s = bs->opaque;

    int64_t size, i, highest_cluster;

    int nb_clusters, refcount1, refcount2;

    QCowSnapshot *sn;

    uint16_t *refcount_table;

    int ret;



    size = bdrv_getlength(bs->file);

    nb_clusters = size_to_clusters(s, size);

    refcount_table = g_malloc0(nb_clusters * sizeof(uint16_t));



    

    inc_refcounts(bs, res, refcount_table, nb_clusters,

        0, s->cluster_size);



    

    ret = check_refcounts_l1(bs, res, refcount_table, nb_clusters,

                       s->l1_table_offset, s->l1_size, 1);

    if (ret < 0) {

        goto fail;

    }



    

    for(i = 0; i < s->nb_snapshots; i++) {

        sn = s->snapshots + i;

        ret = check_refcounts_l1(bs, res, refcount_table, nb_clusters,

            sn->l1_table_offset, sn->l1_size, 0);

        if (ret < 0) {

            goto fail;

        }

    }

    inc_refcounts(bs, res, refcount_table, nb_clusters,

        s->snapshots_offset, s->snapshots_size);



    

    inc_refcounts(bs, res, refcount_table, nb_clusters,

        s->refcount_table_offset,

        s->refcount_table_size * sizeof(uint64_t));



    for(i = 0; i < s->refcount_table_size; i++) {

        uint64_t offset, cluster;

        offset = s->refcount_table[i];

        cluster = offset >> s->cluster_bits;



        

        if (offset & (s->cluster_size - 1)) {

            fprintf(stderr, "ERROR refcount block %" PRId64 " is not "

                "cluster aligned; refcount table entry corrupted\n", i);

            res->corruptions++;

            continue;

        }



        if (cluster >= nb_clusters) {

            fprintf(stderr, "ERROR refcount block %" PRId64

                    " is outside image\n", i);

            res->corruptions++;

            continue;

        }



        if (offset != 0) {

            inc_refcounts(bs, res, refcount_table, nb_clusters,

                offset, s->cluster_size);

            if (refcount_table[cluster] != 1) {

                fprintf(stderr, "ERROR refcount block %" PRId64

                    " refcount=%d\n",

                    i, refcount_table[cluster]);

                res->corruptions++;

            }

        }

    }



    

    for (i = 0, highest_cluster = 0; i < nb_clusters; i++) {

        refcount1 = get_refcount(bs, i);

        if (refcount1 < 0) {

            fprintf(stderr, "Can't get refcount for cluster %" PRId64 ": %s\n",

                i, strerror(-refcount1));

            res->check_errors++;

            continue;

        }



        refcount2 = refcount_table[i];



        if (refcount1 > 0 || refcount2 > 0) {

            highest_cluster = i;

        }



        if (refcount1 != refcount2) {



            

            int *num_fixed = NULL;

            if (refcount1 > refcount2 && (fix & BDRV_FIX_LEAKS)) {

                num_fixed = &res->leaks_fixed;

            } else if (refcount1 < refcount2 && (fix & BDRV_FIX_ERRORS)) {

                num_fixed = &res->corruptions_fixed;

            }



            fprintf(stderr, "%s cluster %" PRId64 " refcount=%d reference=%d\n",

                   num_fixed != NULL     ? "Repairing" :

                   refcount1 < refcount2 ? "ERROR" :

                                           "Leaked",

                   i, refcount1, refcount2);



            if (num_fixed) {

                ret = update_refcount(bs, i << s->cluster_bits, 1,

                                      refcount2 - refcount1);

                if (ret >= 0) {

                    (*num_fixed)++;

                    continue;

                }

            }



            

            if (refcount1 < refcount2) {

                res->corruptions++;

            } else {

                res->leaks++;

            }

        }

    }



    res->image_end_offset = (highest_cluster + 1) * s->cluster_size;

    ret = 0;



fail:

    g_free(refcount_table);



    return ret;

}

int FUNC_0(BlockDriverState *VAR_0, BdrvCheckResult *VAR_1,

                          BdrvCheckMode VAR_2)

{

    BDRVQcowState *s = VAR_0->opaque;

    int64_t size, i, highest_cluster;

    int VAR_3, VAR_4, VAR_5;

    QCowSnapshot *sn;

    uint16_t *refcount_table;

    int VAR_6;



    size = bdrv_getlength(VAR_0->file);

    VAR_3 = size_to_clusters(s, size);

    refcount_table = g_malloc0(VAR_3 * sizeof(uint16_t));



    

    inc_refcounts(VAR_0, VAR_1, refcount_table, VAR_3,

        0, s->cluster_size);



    

    VAR_6 = check_refcounts_l1(VAR_0, VAR_1, refcount_table, VAR_3,

                       s->l1_table_offset, s->l1_size, 1);

    if (VAR_6 < 0) {

        goto fail;

    }



    

    for(i = 0; i < s->nb_snapshots; i++) {

        sn = s->snapshots + i;

        VAR_6 = check_refcounts_l1(VAR_0, VAR_1, refcount_table, VAR_3,

            sn->l1_table_offset, sn->l1_size, 0);

        if (VAR_6 < 0) {

            goto fail;

        }

    }

    inc_refcounts(VAR_0, VAR_1, refcount_table, VAR_3,

        s->snapshots_offset, s->snapshots_size);



    

    inc_refcounts(VAR_0, VAR_1, refcount_table, VAR_3,

        s->refcount_table_offset,

        s->refcount_table_size * sizeof(uint64_t));



    for(i = 0; i < s->refcount_table_size; i++) {

        uint64_t offset, cluster;

        offset = s->refcount_table[i];

        cluster = offset >> s->cluster_bits;



        

        if (offset & (s->cluster_size - 1)) {

            fprintf(stderr, "ERROR refcount block %" PRId64 " is not "

                "cluster aligned; refcount table entry corrupted\n", i);

            VAR_1->corruptions++;

            continue;

        }



        if (cluster >= VAR_3) {

            fprintf(stderr, "ERROR refcount block %" PRId64

                    " is outside image\n", i);

            VAR_1->corruptions++;

            continue;

        }



        if (offset != 0) {

            inc_refcounts(VAR_0, VAR_1, refcount_table, VAR_3,

                offset, s->cluster_size);

            if (refcount_table[cluster] != 1) {

                fprintf(stderr, "ERROR refcount block %" PRId64

                    " refcount=%d\n",

                    i, refcount_table[cluster]);

                VAR_1->corruptions++;

            }

        }

    }



    

    for (i = 0, highest_cluster = 0; i < VAR_3; i++) {

        VAR_4 = get_refcount(VAR_0, i);

        if (VAR_4 < 0) {

            fprintf(stderr, "Can't get refcount for cluster %" PRId64 ": %s\n",

                i, strerror(-VAR_4));

            VAR_1->check_errors++;

            continue;

        }



        VAR_5 = refcount_table[i];



        if (VAR_4 > 0 || VAR_5 > 0) {

            highest_cluster = i;

        }



        if (VAR_4 != VAR_5) {



            

            int *num_fixed = NULL;

            if (VAR_4 > VAR_5 && (VAR_2 & BDRV_FIX_LEAKS)) {

                num_fixed = &VAR_1->leaks_fixed;

            } else if (VAR_4 < VAR_5 && (VAR_2 & BDRV_FIX_ERRORS)) {

                num_fixed = &VAR_1->corruptions_fixed;

            }



            fprintf(stderr, "%s cluster %" PRId64 " refcount=%d reference=%d\n",

                   num_fixed != NULL     ? "Repairing" :

                   VAR_4 < VAR_5 ? "ERROR" :

                                           "Leaked",

                   i, VAR_4, VAR_5);



            if (num_fixed) {

                VAR_6 = update_refcount(VAR_0, i << s->cluster_bits, 1,

                                      VAR_5 - VAR_4);

                if (VAR_6 >= 0) {

                    (*num_fixed)++;

                    continue;

                }

            }



            

            if (VAR_4 < VAR_5) {

                VAR_1->corruptions++;

            } else {

                VAR_1->leaks++;

            }

        }

    }



    VAR_1->image_end_offset = (highest_cluster + 1) * s->cluster_size;

    VAR_6 = 0;



fail:

    g_free(refcount_table);



    return VAR_6;

}

int FUNC_0(BlockDriverState *VAR_0, BdrvCheckResult *VAR_1,
BdrvCheckMode VAR_2)
{ BDRVQcowState *s = VAR_0->opaque; int64_t size, i, highest_cluster; int VAR_3, VAR_4, VAR_5; QCowSnapshot *sn; uint16_t *refcount_table; int VAR_6; size = bdrv_getlength(VAR_0->file); VAR_3 = size_to_clusters(s, size); refcount_table = g_malloc0(VAR_3 * sizeof(uint16_t)); inc_refcounts(VAR_0, VAR_1, refcount_table, VAR_3,
0, s->cluster_size); VAR_6 = check_refcounts_l1(VAR_0, VAR_1, refcount_table, VAR_3,
s->l1_table_offset, s->l1_size, 1); if (VAR_6 < 0) { goto fail; } for(i = 0; i < s->nb_snapshots; i++) { sn = s->snapshots + i; VAR_6 = check_refcounts_l1(VAR_0, VAR_1, refcount_table, VAR_3,
sn->l1_table_offset, sn->l1_size, 0); if (VAR_6 < 0) { goto fail; } } inc_refcounts(VAR_0, VAR_1, refcount_table, VAR_3,
s->snapshots_offset, s->snapshots_size); inc_refcounts(VAR_0, VAR_1, refcount_table, VAR_3,
s->refcount_table_offset,
s->refcount_table_size * sizeof(uint64_t)); for(i = 0; i < s->refcount_table_size; i++) { uint64_t offset, cluster; offset = s->refcount_table[i]; cluster = offset >> s->cluster_bits; if (offset & (s->cluster_size - 1)) { fprintf(stderr, "ERROR refcount block %" PRId64 " is not "
"cluster aligned; refcount table entry corrupted\n", i); VAR_1->corruptions++; continue; } if (cluster >= VAR_3) { fprintf(stderr, "ERROR refcount block %" PRId64
" is outside image\n", i); VAR_1->corruptions++; continue; } if (offset != 0) { inc_refcounts(VAR_0, VAR_1, refcount_table, VAR_3,
offset, s->cluster_size); if (refcount_table[cluster] != 1) { fprintf(stderr, "ERROR refcount block %" PRId64
" refcount=%d\n",
i, refcount_table[cluster]); VAR_1->corruptions++; } } } for (i = 0, highest_cluster = 0; i < VAR_3; i++) { VAR_4 = get_refcount(VAR_0, i); if (VAR_4 < 0) { fprintf(stderr, "Can't get refcount for cluster %" PRId64 ": %s\n",
i, strerror(-VAR_4)); VAR_1->check_errors++; continue; } VAR_5 = refcount_table[i]; if (VAR_4 > 0 || VAR_5 > 0) { highest_cluster = i; } if (VAR_4 != VAR_5) { int *num_fixed = NULL; if (VAR_4 > VAR_5 && (VAR_2 & BDRV_FIX_LEAKS)) { num_fixed = &VAR_1->leaks_fixed; } else if (VAR_4 < VAR_5 && (VAR_2 & BDRV_FIX_ERRORS)) { num_fixed = &VAR_1->corruptions_fixed; } fprintf(stderr, "%s cluster %" PRId64 " refcount=%d reference=%d\n",
num_fixed != NULL     ? "Repairing" :
VAR_4 < VAR_5 ? "ERROR" :
"Leaked",
i, VAR_4, VAR_5); if (num_fixed) { VAR_6 = update_refcount(VAR_0, i << s->cluster_bits, 1,
VAR_5 - VAR_4); if (VAR_6 >= 0) { (*num_fixed)++; continue; } } if (VAR_4 < VAR_5) { VAR_1->corruptions++; } else { VAR_1->leaks++; } } } VAR_1->image_end_offset = (highest_cluster + 1) * s->cluster_size; VAR_6 = 0; fail:
g_free(refcount_table); return VAR_6; }