Lines Matching refs:Reachable
85 // - still reachable: cases 1, 2
120 // Also, --show-reachable is a bad name because it also turns on the showing
170 // are mentioned elsewhere (if --show-reachable=yes is given!))
194 // reachable, depending on whether interior-pointers were required to
196 // - At this point we know for every block if it's reachable or not.
226 // prior node is a block which is reachable from the root-set via
229 // reachable from the root-set via a path including at least one
584 // - Unreached --> Reachable
585 // - Possible --> Reachable
586 if (ptr == ch->data && is_prior_definite && ex->state != Reachable) {
588 // definite, which means that this block is definitely reachable.
589 ex->state = Reachable;
591 // State has changed to Reachable so (re)scan the block to make
597 // which means that we can only mark this block as possibly reachable.
631 // Note that, unlike reachable blocks, we currently don't distinguish
909 // - We show non-suppressed loss records that are not "reachable" if
912 // --show-reachable=yes.
914 // Nb: here "reachable" means Reachable *or* IndirectLeak; note that
915 // this is different to "still reachable" used elsewhere because it
1109 } else if (Reachable == lr->key.state) {
1138 VG_(umsg)(" still reachable: %'lu%s bytes in %'lu%s blocks\n",
1160 VG_(umsg)("Reachable blocks (those to which a pointer "
1163 VG_(umsg)("To see them, add 'reachable any' args to leak_check\n");
1166 "--show-reachable=yes\n");
1249 if (ex->state != Reachable) {
1250 // We can print the clique in all states, except Reachable.
1474 // Process the pushed blocks. After this, every block that is reachable
1485 // the mark stack, and find all the as-yet-Unreached blocks reachable
