Home | History | Annotate | Download | only in helgrind

Lines Matching refs:cardinalityWSU

3563    const UWord univ_laog_cardinality = HG_(cardinalityWSU)( univ_laog);
3711    if (HG_(cardinalityWSU) (univ_laog) >= next_gc_univ_laog)
3754    if (HG_(cardinalityWSU) (univ_laog) >= next_gc_univ_laog)
5702                (Int)HG_(cardinalityWSU)( univ_lsets ));
5705                   (Int)HG_(cardinalityWSU)( univ_laog ));