Build: linker quietening (CBMC toolchain). Bug 3038
authorJeremy Harris <jgh146exb@wizmail.org>
Sun, 15 Sep 2024 15:37:58 +0000 (16:37 +0100)
committerJeremy Harris <jgh146exb@wizmail.org>
Sun, 15 Sep 2024 16:04:05 +0000 (17:04 +0100)
src/exim_monitor/em_hdr.h
src/src/globals.h
src/src/local_scan.h
src/src/macros.h
src/src/structs.h

index 315c1d25043b1de372790e4f8515d28593a50ea0..3024cd9dda551024c8a0b5e37eb5ebf0245d06e4 100644 (file)
@@ -96,13 +96,13 @@ this interface so that this kind of kludge isn't needed. */
 #ifndef NS_MAXMSG
 # define NS_MAXMSG 65535
 #endif
 #ifndef NS_MAXMSG
 # define NS_MAXMSG 65535
 #endif
-typedef void * hctx;
 
 #include "local_scan.h"
 #include "path_max.h"
 #include "macros.h"
 #include "structs.h"
 #include "blob.h"
 
 #include "local_scan.h"
 #include "path_max.h"
 #include "macros.h"
 #include "structs.h"
 #include "blob.h"
+#include "hash.h"
 #include "globals.h"
 #include "hintsdb.h"
 #include "hintsdb_structs.h"
 #include "globals.h"
 #include "hintsdb.h"
 #include "hintsdb_structs.h"
index e9be97cd89df131d52613d26b3e54ac83d84fa17..5d912254d7cd6437a482449e26c5eadd8d59e823 100644 (file)
@@ -7,6 +7,9 @@
 /* See the file NOTICE for conditions of use and distribution. */
 /* SPDX-License-Identifier: GPL-2.0-or-later */
 
 /* See the file NOTICE for conditions of use and distribution. */
 /* SPDX-License-Identifier: GPL-2.0-or-later */
 
+#ifndef GLOBALS_H
+#define GLOBALS_H
+
 /* Almost all the global variables are defined together in this one header, so
 that they are easy to find. However, those that are visible during the
 compilation of the local_scan() function are defined separately in the
 /* Almost all the global variables are defined together in this one header, so
 that they are easy to find. However, those that are visible during the
 compilation of the local_scan() function are defined separately in the
@@ -1104,4 +1107,5 @@ extern uschar *wellknown_advertise_hosts;/* Allow WELLKNOWN command for specifie
 extern uschar *wellknown_response;     /* SMTP response for WELLKNOWN verb */
 #endif
 
 extern uschar *wellknown_response;     /* SMTP response for WELLKNOWN verb */
 #endif
 
+#endif /* whole file */
 /* End of globals.h */
 /* End of globals.h */
index 11f271d1bfff15100577f412265753c792362b73..afbd22dbcd1279ffcd58a34f7199b09f5fad5e25 100644 (file)
@@ -22,6 +22,8 @@ Coders of dlfunc routines should read the notes on tainting at the start of
 store.c
 */
 
 store.c
 */
 
+#ifndef LOCAL_SCAN_H
+#define LOCAL_SCAN_H
 
 /* Some basic types that make some things easier, the Exim configuration
 settings, and the store functions. */
 
 /* Some basic types that make some things easier, the Exim configuration
 settings, and the store functions. */
@@ -247,4 +249,5 @@ extern pid_t    child_open_exim2_function(int *, uschar *, uschar *, const uscha
 extern pid_t    child_open_function(uschar **, uschar **, int, int *, int *, BOOL, const uschar *);
 #endif
 
 extern pid_t    child_open_function(uschar **, uschar **, int, int *, int *, BOOL, const uschar *);
 #endif
 
+#endif /* whole file */
 /* End of local_scan.h */
 /* End of local_scan.h */
index 7bcc7cd049391977430fefb45377ec12502aebe1..6acf242c155f4746ff7188901ef24e7790bdddba 100644 (file)
@@ -7,6 +7,8 @@
 /* See the file NOTICE for conditions of use and distribution. */
 /* SPDX-License-Identifier: GPL-2.0-or-later */
 
 /* See the file NOTICE for conditions of use and distribution. */
 /* SPDX-License-Identifier: GPL-2.0-or-later */
 
+#ifndef MACROS_H
+#define MACROS_H
 
 /* These two macros make it possible to obtain the result of macro-expanding
 a string as a text string. This is sometimes useful for debugging output. */
 
 /* These two macros make it possible to obtain the result of macro-expanding
 a string as a text string. This is sometimes useful for debugging output. */
@@ -1214,6 +1216,7 @@ When doing en extended loop of matching, release store periodically. */
 #define GET_OPTION(name) \
   DEBUG(D_expand) debug_printf("try option " name "\n");
 
 #define GET_OPTION(name) \
   DEBUG(D_expand) debug_printf("try option " name "\n");
 
+#endif /* whole file */
 /* End of macros.h */
 /* vi: aw ai sw=2
 */
 /* End of macros.h */
 /* vi: aw ai sw=2
 */
index ef311b6777852e60537c2def16d9fd71bfe0002f..a32c55675d0bf9308904eaaad854695009e6b9e3 100644 (file)
@@ -7,6 +7,8 @@
 /* See the file NOTICE for conditions of use and distribution. */
 /* SPDX-License-Identifier: GPL-2.0-or-later */
 
 /* See the file NOTICE for conditions of use and distribution. */
 /* SPDX-License-Identifier: GPL-2.0-or-later */
 
+#ifndef STRUCTS_H
+#define STRUCTS_H
 
 /* Definitions of various structures. In addition, those that are visible for
 the compilation of local_scan() are defined in local_scan.h. These are
 
 /* Definitions of various structures. In addition, those that are visible for
 the compilation of local_scan() are defined in local_scan.h. These are
@@ -1038,4 +1040,5 @@ typedef struct misc_module_info {
 
 #define MISC_MODULE_MAGIC      0x4d4d4d31      /* MMM1 */
 
 
 #define MISC_MODULE_MAGIC      0x4d4d4d31      /* MMM1 */
 
+#endif /* whole file */
 /* End of structs.h */
 /* End of structs.h */