cprover
throw_with_nested.h File Reference
#include <exception>
Include dependency graph for throw_with_nested.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions

template<class T >
void util_throw_with_nested (T &&t)
 
template<class E >
void util_rethrow_if_nested (const E &e)
 

Function Documentation

◆ util_rethrow_if_nested()

template<class E >
void util_rethrow_if_nested ( const E &  e)

Definition at line 47 of file throw_with_nested.h.

Referenced by unwrap_exception().

◆ util_throw_with_nested()