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

- i -

• ID_SEPARATOR : identifier.h
• IN_BASE_CASE : utils.h
• IN_LOOP_HAVOC_BLOCK : utils.h
• INCLUDED_VIA_USE_CATCH_H : use_catch.h
• INFLIGHT_EXCEPTION_VARIABLE_BASENAME : remove_exceptions.h
• INFLIGHT_EXCEPTION_VARIABLE_NAME : remove_exceptions.h
• INIT_INVARIANT : utils.h
• INITIALIZE_FUNCTION : static_lifetime_init.h
• INVARIANT : invariant.h
• INVARIANT_STRUCTURED : invariant.h
• INVARIANT_WITH_DIAGNOSTICS : invariant.h
• INVARIANT_WITH_IREP : invariant_utils.h
• IREP_HASH_BASIC : irep_hash.h
• IREP_ID_ONE : irep_ids.cpp, irep_ids.h
• IREP_ID_TWO : irep_ids.cpp, irep_ids.h