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

- i -

• IN_PLACE_OPERATOR : bigint.hh
• INADDR_ANY : in.h
• INADDR_BROADCAST : in.h
• INADDR_LOOPBACK : in.h
• INCLUDE_TOMLPLUSPLUS_H : toml.hpp
• INSERT_WORDS : cprover_libc_sources.cpp, libm.h
• INT_FUNC : bitwise_bounds.h
• INT_MAX : limits.h
• INT_MIN : limits.h
• INT_X : bitwise_bounds.h
• InvLn2N : expf.c
• IPPROTO_IP : in.h
• IPPROTO_TCP : in.h
• IPPROTO_UDP : in.h
• IREP2_EXPR : irep2.h, irep2_content_hash.cpp, irep2_crc.cpp, irep2_expr.cpp, irep2_expr.h
• IREP2_TYPE : irep2.h, irep2_content_hash.cpp, irep2_crc.cpp, irep2_type.cpp, irep2_type.h
• irep_typedefs : irep2_expr.h, irep2_type.h
• is_eof : toml.hpp
• is_error : toml.hpp
• issignaling_inline : cprover_libc_sources.cpp, libm.h
• issignalingf_inline : cprover_libc_sources.cpp, libm.h