Searched refs:post_failure_unlocked (Results 1 – 2 of 2) sorted by relevance
330 void post_failure_unlocked(from where) /* can throw */;634 exception_::post_failure_unlocked(where); in postcondition_failure()
269 void post_failure_unlocked(from where) /* can throw */ { in post_failure_unlocked() function276 post_failure_unlocked(where); in post_failure_locked()