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

- w -

• WANT_ROUNDING : cprover_libc_sources.cpp, libm.h
• WANT_SNAN : cprover_libc_sources.cpp, libm.h
• WCHAR_MAX : wchar.h
• WCHAR_MIN : wchar.h
• WEOF : wchar.h