Lines Matching refs:Possible
87 // It's far from clear that this is the best possible categorisation; it's
583 // - Unreached --> Possible
585 // - Possible --> Reachable
598 ex->state = Possible;
600 // State has changed to Possible so (re)scan the block to make
827 is_prior_definite = ( Possible != lc_extras[top].state );
868 // possible. So: compare num_blocks.
943 Possible == lr->key.state ) );
952 Possible == lr->key.state );
1105 } else if (Possible == lr->key.state) {
1254 // For Possible, lc_chunk[i] might be the top of a clique
1365 VG_(umsg)("All heap blocks were freed -- no leaks are possible\n");
