Lines Matching refs: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");
837 bad:
838 VG_(printf)("threads__sanity_check: who=\"%s\", bad=\"%s\"\n", who, how);
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 */
903 bad:
904 VG_(printf)("locks__sanity_check: who=\"%s\", bad=\"%s\"\n", who, how);
906 #undef BAD
3561 goto bad;
3568 goto bad;
3576 bad:
