Home | History | Annotate | Download | only in helgrind

Lines Matching refs:cardinalityWSU

3561    const UWord univ_laog_cardinality = HG_(cardinalityWSU)( univ_laog);
3709    if (HG_(cardinalityWSU) (univ_laog) >= next_gc_univ_laog)
3752    if (HG_(cardinalityWSU) (univ_laog) >= next_gc_univ_laog)
5642                (Int)HG_(cardinalityWSU)( univ_lsets ));
5645                   (Int)HG_(cardinalityWSU)( univ_laog ));