Lines Matching refs:Reachable
84 // - still reachable: cases 1, 2
119 // Also, --show-reachable is a bad name because it also turns on the showing
169 // are mentioned elsewhere (if --show-reachable=yes is given!))
193 // reachable, depending on whether interior-pointers were required to
195 // - At this point we know for every block if it's reachable or not.
225 // prior node is a block which is reachable from the root-set via
228 // reachable from the root-set via a path including at least one
622 // - Unreached --> Reachable
623 // - Possible --> Reachable
625 is_prior_definite && ex->state != Reachable) {
627 // definite, which means that this block is definitely reachable.
628 ex->state = Reachable;
630 // State has changed to Reachable so (re)scan the block to make
636 // which means that we can only mark this block as possibly reachable.
670 // Note that, unlike reachable blocks, we currently don't distinguish
930 // - We show non-suppressed loss records that are not "reachable" if
933 // --show-reachable=yes.
935 // Nb: here "reachable" means Reachable *or* IndirectLeak; note that
936 // this is different to "still reachable" used elsewhere because it
973 if ((Reachable == lr->key.state && !MC_(clo_show_reachable)) ||
996 } else if (Reachable == lr->key.state) {
1044 VG_(umsg)(" still reachable: %'lu%s bytes in %'lu%s blocks\n",
1066 VG_(umsg)("Reachable blocks (those to which a pointer "
1069 VG_(umsg)("To see them, add 'reachable any' args to leak_check\n");
1072 "--show-reachable=yes\n");
1249 // Process the pushed blocks. After this, every block that is reachable
1260 // the mark stack, and find all the as-yet-Unreached blocks reachable
