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

A

B

C

D

E

F

G

H

I

J

L

M

N

O

P

Q

R

S

T

U

V

W

X

Y

_

- 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