Lines Matching refs:Possible
86 // It's far from clear that this is the best possible categorisation; it's
621 // - Unreached --> Possible
623 // - Possible --> Reachable
637 ex->state = Possible;
639 // State has changed to Possible so (re)scan the block to make
791 is_prior_definite = ( Possible != lc_extras[top].state );
831 // possible. So: compare num_blocks.
963 Possible == lr->key.state ) );
972 Possible == lr->key.state );
974 (Possible == lr->key.state && !MC_(clo_show_possibly_lost)))
992 } else if (Possible == lr->key.state) {
1103 VG_(umsg)("All heap blocks were freed -- no leaks are possible\n");
