static void check(int a, int b, bool expected)

{

    struct qht_stats stats;

    int i;




    for (i = a; i < b; i++) {

        void *p;

        uint32_t hash;

        int32_t val;



        val = i;

        hash = i;

        p = qht_lookup(&ht, is_equal, &val, hash);

        g_assert_true(!!p == expected);

    }

    rcu_read_unlock();



    qht_statistics_init(&ht, &stats);

    if (stats.used_head_buckets) {

        g_assert_cmpfloat(qdist_avg(&stats.chain), >=, 1.0);

    }

    g_assert_cmpuint(stats.head_buckets, >, 0);

    qht_statistics_destroy(&stats);

}
static void check(int a, int b, bool expected)

{

    struct qht_stats stats;

    int i;




    for (i = a; i < b; i++) {

        void *p;

        uint32_t hash;

        int32_t val;



        val = i;

        hash = i;

        p = qht_lookup(&ht, is_equal, &val, hash);

        g_assert_true(!!p == expected);

    }

    rcu_read_unlock();



    qht_statistics_init(&ht, &stats);

    if (stats.used_head_buckets) {

        g_assert_cmpfloat(qdist_avg(&stats.chain), >=, 1.0);

    }

    g_assert_cmpuint(stats.head_buckets, >, 0);

    qht_statistics_destroy(&stats);

}
static void FUNC_0(int VAR_0, int VAR_1, bool VAR_2)

{

    struct qht_stats VAR_3;

    int VAR_4;




    for (VAR_4 = VAR_0; VAR_4 < VAR_1; VAR_4++) {

        void *VAR_5;

        uint32_t hash;

        int32_t val;



        val = VAR_4;

        hash = VAR_4;

        VAR_5 = qht_lookup(&ht, is_equal, &val, hash);

        g_assert_true(!!VAR_5 == VAR_2);

    }

    rcu_read_unlock();



    qht_statistics_init(&ht, &VAR_3);

    if (VAR_3.used_head_buckets) {

        g_assert_cmpfloat(qdist_avg(&VAR_3.chain), >=, 1.0);

    }

    g_assert_cmpuint(VAR_3.head_buckets, >, 0);

    qht_statistics_destroy(&VAR_3);

}
static void FUNC_0(int VAR_0, int VAR_1, bool VAR_2)
{ struct qht_stats VAR_3; int VAR_4; for (VAR_4 = VAR_0; VAR_4 < VAR_1; VAR_4++) { void *VAR_5; uint32_t hash; int32_t val; val = VAR_4; hash = VAR_4; VAR_5 = qht_lookup(&ht, is_equal, &val, hash); g_assert_true(!!VAR_5 == VAR_2); } rcu_read_unlock(); qht_statistics_init(&ht, &VAR_3); if (VAR_3.used_head_buckets) { g_assert_cmpfloat(qdist_avg(&VAR_3.chain), >=, 1.0); } g_assert_cmpuint(VAR_3.head_buckets, >, 0); qht_statistics_destroy(&VAR_3); }