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

- u -

• undecided_cov_goals : bmc.cpp
• unreached_claim_note : property_report.cpp, property_report.h
• unsigned_max_or : bitwise_bounds.h
• unsigned_max_right_shift : bitwise_bounds.h
• unsigned_min_or : bitwise_bounds.h
• unsigned_min_right_shift : bitwise_bounds.h
• untyped_name_return : annotation_conversion.inl
• user_memory : uaccess.h, kernel.c
• utf8_byte_order_mark : toml.hpp