Lines Matching defs:BAD
813 #define BAD(_str) do { how = (_str); goto bad; } while (0)
821 if (!HG_(is_sane_Thread)(thr)) BAD("1");
825 if (!HG_(isSubsetOf)( univ_lsets, wsW, wsA )) BAD("7");
830 if (!HG_(is_sane_LockN)(lk)) BAD("2");
833 if (!thread_is_a_holder_of_Lock(thr,lk)) BAD("3");
840 #undef BAD
848 #define BAD(_str) do { how = (_str); goto bad; } while (0)
856 if (i != VG_(sizeFM)(map_locks)) BAD("1");
862 if (lk->guestaddr != gla) BAD("2");
869 if (!HG_(is_sane_LockN)(lk)) BAD("3");
871 if (lk != map_locks_maybe_lookup(lk->guestaddr)) BAD("4");
884 BAD("6");
888 BAD("7");
891 BAD("8");
896 if (lk->heldW) BAD("9"); /* should be False if !heldBy */
906 #undef BAD