Here is a list of all macros with links to the files they belong to:

- u -

• UNEXPECTEDCASE : smt2_conv.cpp
• UNHANDLED_CASE : invariant.h
• UNIFORM_ARRAY_HACK : boolbv_index.cpp
• UNIMPLEMENTED : invariant.h
• UNIMPLEMENTED_FEATURE : invariant.h
• UNREACHABLE : invariant.h
• UNREACHABLE_BECAUSE : invariant.h
• UNREACHABLE_STRUCTURED : invariant.h
• UNREACHABLE_WITH_IREP : invariant_utils.h
• UNUSED_u2 : java_bytecode_parser.cpp