Searched refs:post_failure_locked (Results 1 – 2 of 2) sorted by relevance
332 void post_failure_locked(from where) /* can throw */;632 exception_::post_failure_locked(where); in postcondition_failure()
274 void post_failure_locked(from where) /* can throw */ { in post_failure_locked() function