Lines Matching refs:is_sane_LockN
217 tl_assert(HG_(is_sane_LockN)(lock));
225 tl_assert(HG_(is_sane_LockN)(lk));
253 tl_assert(HG_(is_sane_LockN)(lk));
299 tl_assert(HG_(is_sane_LockN)(lk));
304 tl_assert(HG_(is_sane_LockN)(lk));
336 tl_assert(HG_(is_sane_LockN)(lk));
346 tl_assert(HG_(is_sane_LockN)(lk));
363 tl_assert(HG_(is_sane_LockN)(lk));
760 tl_assert(HG_(is_sane_LockN)(lock));
766 tl_assert(HG_(is_sane_LockN)(oldlock));
904 if (!HG_(is_sane_LockN)(lk)) BAD("2");
943 if (!HG_(is_sane_LockN)(lk)) BAD("3");
954 // HG_(is_sane_LockN) above ensures these
1103 'HG_(is_sane_LockN)(lk)' is both a pre- and post-condition of this
1116 tl_assert( HG_(is_sane_LockN)(lk) );
1185 tl_assert(HG_(is_sane_LockN)(lk));
1200 'HG_(is_sane_LockN)(lk)' is both a pre- and post-condition of this
1215 tl_assert( HG_(is_sane_LockN)(lk) );
1260 tl_assert(HG_(is_sane_LockN)(lk));
1295 tl_assert(HG_(is_sane_LockN)(lock));
1400 tl_assert(HG_(is_sane_LockN)(lock));
2046 tl_assert( HG_(is_sane_LockN)(lk) );
2060 tl_assert( HG_(is_sane_LockN)(lk) );
2448 tl_assert( HG_(is_sane_LockN)(lk) );
2606 tl_assert( HG_(is_sane_LockN)(lk) );
2620 tl_assert( HG_(is_sane_LockN)(lk) );
