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

- b -

• be16toh : cprover_libc_sources.cpp, endian.h
• be32toh : cprover_libc_sources.cpp, endian.h
• be64toh : cprover_libc_sources.cpp, endian.h
• BIG_ENDIAN : cprover_libc_sources.cpp, endian.h
• BINARY_ARITHMETIC_OPERATORS : bigint.hh
• BINARY_VERSION : read_bin_goto_object.cpp
• bitblast_ast_downcast : bitblast_conv.h
• bitblast_sort_downcast : bitblast_conv.h
• BITINT_TAG : clang_c_convert.cpp
• BITINT_TYPE : clang_c_convert.cpp
• BITS : frexp.c
• blockIdx : device_launch_parameters.h
• bool : stdbool.h
• BOOST_COMPILER : gcc.hpp
• BOOST_CONFIG_NO_UTILITY_RECURSION : utility.hpp
• BOOST_FUNCTION_SCOPE_USING_DECLARATION_BREAKS_ADL : gcc.hpp
• BOOST_HAS_LONG_LONG : gcc.hpp
• BOOST_HAS_PTHREAD_YIELD : linux.hpp
• BOOST_HAS_THREADS : gcc.hpp
• BOOST_HAS_UNISTD_H : linux.hpp
• BOOST_NO_COMPLETE_VALUE_INITIALIZATION : gcc.hpp
• BOOST_NO_CXX11_AUTO_DECLARATIONS : gcc.hpp
• BOOST_NO_CXX11_AUTO_MULTIDECLARATIONS : gcc.hpp
• BOOST_NO_CXX11_CHAR16_T : gcc.hpp
• BOOST_NO_CXX11_CHAR32_T : gcc.hpp
• BOOST_NO_CXX11_CONSTEXPR : gcc.hpp
• BOOST_NO_CXX11_DECLTYPE : gcc.hpp
• BOOST_NO_CXX11_DECLTYPE_N3276 : gcc.hpp
• BOOST_NO_CXX11_DEFAULTED_FUNCTIONS : gcc.hpp
• BOOST_NO_CXX11_DELETED_FUNCTIONS : gcc.hpp
• BOOST_NO_CXX11_EXPLICIT_CONVERSION_OPERATORS : gcc.hpp
• BOOST_NO_CXX11_EXTERN_TEMPLATE : gcc.hpp
• BOOST_NO_CXX11_FUNCTION_TEMPLATE_DEFAULT_ARGS : gcc.hpp
• BOOST_NO_CXX11_HDR_INITIALIZER_LIST : gcc.hpp
• BOOST_NO_CXX11_LAMBDAS : gcc.hpp
• BOOST_NO_CXX11_LOCAL_CLASS_TEMPLATE_PARAMETERS : gcc.hpp
• BOOST_NO_CXX11_NOEXCEPT : gcc.hpp
• BOOST_NO_CXX11_NULLPTR : gcc.hpp
• BOOST_NO_CXX11_RANGE_BASED_FOR : gcc.hpp
• BOOST_NO_CXX11_RAW_LITERALS : gcc.hpp
• BOOST_NO_CXX11_RVALUE_REFERENCES : gcc.hpp
• BOOST_NO_CXX11_SCOPED_ENUMS : gcc.hpp
• BOOST_NO_CXX11_STATIC_ASSERT : gcc.hpp
• BOOST_NO_CXX11_TEMPLATE_ALIASES : gcc.hpp
• BOOST_NO_CXX11_UNICODE_LITERALS : gcc.hpp
• BOOST_NO_CXX11_UNIFIED_INITIALIZATION_SYNTAX : gcc.hpp
• BOOST_NO_CXX11_VARIADIC_MACROS : gcc.hpp
• BOOST_NO_CXX11_VARIADIC_TEMPLATES : gcc.hpp
• BOOST_NO_EXCEPTIONS : gcc.hpp
• BOOST_NO_IS_ABSTRACT : gcc.hpp
• BOOST_NO_MEMBER_TEMPLATE_FRIENDS : gcc.hpp
• BOOST_NO_MEMBER_TEMPLATES : gcc.hpp
• BOOST_NO_OPERATORS_IN_NAMESPACE : gcc.hpp
• BOOST_NO_SFINAE : gcc.hpp
• BOOST_NO_SFINAE_EXPR : gcc.hpp
• BOOST_NO_SWPRINTF : linux.hpp
• BOOST_NO_TWO_PHASE_NAME_LOOKUP : gcc.hpp
• BOOST_NO_USING_DECLARATION_OVERLOADS_FROM_TYPENAME_BASE : gcc.hpp
• BOOST_PLATFORM : linux.hpp
• BOOST_SYMBOL_EXPORT : gcc.hpp
• BOOST_TR1_NO_RECURSION : utility.hpp
• BT_BUF_SIZE : command_line_options.cpp
• BUFSIZ : stdio.h
• BYTE_ORDER : cprover_libc_sources.cpp, endian.h