Lines Matching refs:types_used
6025 for (i = 0; i < sb_in->tyenv->types_used; i++) {6032 tl_assert( VG_(sizeXA)( mce.tmpMap ) == sb_in->tyenv->types_used );6265 tl_assert( VG_(sizeXA)( mce.tmpMap ) == mce.sb->tyenv->types_used );
