12 #ifndef CPROVER_CPP_CPP_EXCEPTION_ID_H 13 #define CPROVER_CPP_CPP_EXCEPTION_ID_H 23 #endif // CPROVER_CPP_CPP_EXCEPTION_ID_H The type of an expression.
irept cpp_exception_list(const typet &, const namespacet &)
turns a type into a list of relevant exception IDs
Base class for tree-like data structures with sharing.
irep_idt cpp_exception_id(const typet &, const namespacet &)
turns a type into an exception ID