wp1               382 gc/gcc_support.c     if (ec->wp1 == 0 || ec->wp2 == 0) {
wp1               383 gc/gcc_support.c         return (void*) (ec->wp1 == ec->wp2);}
wp1               385 gc/gcc_support.c       return (void*) (ec->wp1->pointer == ec->wp2->pointer);}}
wp1               394 gc/gcc_support.c     ec.wp1 = wp1;