checkedc/include/signal.h

//---------------------------------------------------------------------//
// Wrapper header file that excludes Checked-C-specific declarations   //
// if the compilation is not for Checked C, or if is for Checked C     //
// but the implicit inclusion of checked header files is disabled.     //
/////////////////////////////////////////////////////////////////////////


#if !defined __checkedc || defined NO_IMPLICIT_INCLUDE_CHECKED_HDRS

#ifdef __checkedc
#pragma CHECKED_SCOPE push
#pragma CHECKED_SCOPE off
#endif

#include_next <signal.h>

#ifdef __checkedc
#pragma CHECKED_SCOPE pop
#endif

#else // checkedc && implicit include enabled
#include <signal_checked.h>
#endif
Implicit include of checked header files (#440) * Support for implicit and explicit inclusion of checked header files. * Added comment header. * Removed redundant blank lines. * Fix to handle the presence of clang-specific declarations in header files plus the fix to push/pop checked scopes. * Modified header files to check for the __checkedc flag and added test cases. * Some header files like threads.h, unistd.h, arpa/inet.h and sys/socket.h may not be present in all compilation environments (Ex. Windows). Therefore, the wrapper header files and the Checked C header files should guard their inclusion using __has_include_next. This will also cause changes in the expected output of some test cases. * Incorporated review comments. * The Checked-C-specific declarations in assert_checked.h, stdlib_checked.h and inttypes_checked.h use the type wchar_t, whose definition is available in stddef.h. The file inttypes_checked.h includes stddef.h but the other two don't. 2021-04-01 17:08:01 +03:00			`//---------------------------------------------------------------------//`
			`// Wrapper header file that excludes Checked-C-specific declarations //`
			`// if the compilation is not for Checked C, or if is for Checked C //`
			`// but the implicit inclusion of checked header files is disabled. //`
			`/////////////////////////////////////////////////////////////////////////`


			`#if !defined __checkedc \|\| defined NO_IMPLICIT_INCLUDE_CHECKED_HDRS`

			`#ifdef __checkedc`
			`#pragma CHECKED_SCOPE push`
			`#pragma CHECKED_SCOPE off`
			`#endif`

			`#include_next <signal.h>`

			`#ifdef __checkedc`
			`#pragma CHECKED_SCOPE pop`
			`#endif`

			`#else // checkedc && implicit include enabled`
			`#include <signal_checked.h>`
			`#endif`