Lines Matching defs:BAD
889 #define BAD(_str) do { how = (_str); goto bad; } while (0)
897 if (!HG_(is_sane_Thread)(thr)) BAD("1");
901 if (!HG_(isSubsetOf)( univ_lsets, wsW, wsA )) BAD("7");
906 if (!HG_(is_sane_LockN)(lk)) BAD("2");
909 if (!thread_is_a_holder_of_Lock(thr,lk)) BAD("3");
913 bad:
914 VG_(printf)("threads__sanity_check: who=\"%s\", bad=\"%s\"\n", who, how);
916 #undef BAD
924 #define BAD(_str) do { how = (_str); goto bad; } while (0)
932 if (i != VG_(sizeFM)(map_locks)) BAD("1");
938 if (lk->guestaddr != gla) BAD("2");
945 if (!HG_(is_sane_LockN)(lk)) BAD("3");
947 if (lk != map_locks_maybe_lookup(lk->guestaddr)) BAD("4");
960 BAD("6");
964 BAD("7");
967 BAD("8");
972 if (lk->heldW) BAD("9"); /* should be False if !heldBy */
979 bad:
980 VG_(printf)("locks__sanity_check: who=\"%s\", bad=\"%s\"\n", who, how);
982 #undef BAD
3808 goto bad;
3815 goto bad;
3823 bad:
