microsoft · sulekhark · Apr 1, 2021 · Mar 11, 2021 · Mar 11, 2021 · Mar 30, 2021
diff --git a/MultiSource/Benchmarks/FreeBench/pifft/Makefile b/MultiSource/Benchmarks/FreeBench/pifft/Makefile
@@ -1,7 +1,7 @@
 LEVEL = ../../../..
 
 PROG     = pifft
-CPPFLAGS = -DVERSION='"1.00"' -DCOMPDATE="\"today\"" -DCFLAGS='""' -DHOSTNAME="\"thishost\"" 
+CPPFLAGS = -DVERSION='"1.00"' -DCOMPDATE="\"today\"" -DCFLAGS='""' -DHOSTNAME="\"thishost\""
 LDFLAGS  = -lm
 ifdef LARGE_PROBLEM_SIZE
 RUN_OPTIONS = $(PROJ_SRC_DIR)/ref.in

diff --git a/MultiSource/Benchmarks/MallocBench/espresso/CMakeLists.txt b/MultiSource/Benchmarks/MallocBench/espresso/CMakeLists.txt
@@ -1,5 +1,5 @@
 list(APPEND CPPFLAGS -DNOMEMOPT)
-list(APPEND CFLAGS -std=gnu89)
+list(APPEND CFLAGS -std=gnu89 -DNO_IMPLICIT_INCLUDE_CHECKED_HDRS)
 set(RUN_OPTIONS -t INPUT/largest.espresso)
 llvm_multisource(espresso)
 llvm_test_data(espresso INPUT/largest.espresso)
diff --git a/MultiSource/Benchmarks/MallocBench/espresso/Makefile b/MultiSource/Benchmarks/MallocBench/espresso/Makefile
@@ -1,6 +1,6 @@
 LEVEL = ../../../..
 PROG = espresso
 CPPFLAGS += -DNOMEMOPT
-CFLAGS += -std=gnu89
+CFLAGS += -std=gnu89 -DNO_IMPLICIT_INCLUDE_CHECKED_HDRS
 RUN_OPTIONS = -t $(PROJ_SRC_DIR)/INPUT/largest.espresso
 include ../../../Makefile.multisrc
diff --git a/MultiSource/Benchmarks/McCat/05-eks/CMakeLists.txt b/MultiSource/Benchmarks/McCat/05-eks/CMakeLists.txt
@@ -1,2 +1,3 @@
 list(APPEND LDFLAGS -lm)
+list(APPEND CFLAGS -DNO_IMPLICIT_INCLUDE_CHECKED_HDRS)
 llvm_multisource(eks)
diff --git a/MultiSource/Benchmarks/McCat/05-eks/Makefile b/MultiSource/Benchmarks/McCat/05-eks/Makefile
@@ -1,5 +1,6 @@
 LEVEL = ../../../..
 PROG = eks
+CFLAGS += -DNO_IMPLICIT_INCLUDE_CHECKED_HDRS
 LDFLAGS = -lm
 #RUN_OPTIONS += 
 #STDIN_FILENAME = bnchmrk.in1

diff --git a/MultiSource/Benchmarks/MiBench/consumer-lame/CMakeLists.txt b/MultiSource/Benchmarks/MiBench/consumer-lame/CMakeLists.txt
@@ -1,4 +1,5 @@
 list(APPEND CPPFLAGS -DHAVEMPGLIB -DLAMEPARSE -DNDEBUG -D__NO_MATH_INLINES -DLAMESNDFILE)
+list(APPEND CFLAGS -DNO_IMPLICIT_INCLUDE_CHECKED_HDRS)
 list(APPEND LDFLAGS -lm)
 set(RUN_OPTIONS -S large.wav /dev/null)
 llvm_multisource(consumer-lame)

diff --git a/MultiSource/Benchmarks/MiBench/consumer-lame/Makefile b/MultiSource/Benchmarks/MiBench/consumer-lame/Makefile
@@ -2,6 +2,7 @@ LEVEL = ../../../..
 
 PROG     = consumer-lame
 CPPFLAGS = -DHAVEMPGLIB -DLAMEPARSE -DNDEBUG -D__NO_MATH_INLINES -O -DLAMESNDFILE
+CFLAGS  += -DNO_IMPLICIT_INCLUDE_CHECKED_HDRS
 LDFLAGS  = -lm
 RUN_OPTIONS = -S $(PROJ_SRC_DIR)/large.wav /dev/null
 

diff --git a/MultiSource/Benchmarks/MiBench/consumer-typeset/CMakeLists.txt b/MultiSource/Benchmarks/MiBench/consumer-typeset/CMakeLists.txt
@@ -1,4 +1,5 @@
 list(APPEND CPPFLAGS -DOS_UNIX=1 -DOS_DOS=0 -DOS_MAC=0 -DDB_FIX=0 -DUSE_STAT=1 -DSAFE_DFT=0 -DCOLLATE=1 -DLIB_DIR="lout.lib" -DFONT_DIR="font" -DMAPS_DIR="maps" -DINCL_DIR="include" -DDATA_DIR="data" -DHYPH_DIR="hyph" -DLOCALE_DIR="locale" -DCHAR_IN=1 -DCHAR_OUT=0 -DLOCALE_ON=1 -DASSERT_ON=1 -DDEBUG_ON=0  -DPDF_COMPRESSION=0 -D_FORTIFY_SOURCE=0)
+list(APPEND CFLAGS -DNO_IMPLICIT_INCLUDE_CHECKED_HDRS)
 
 if(ARCH STREQUAL "Mips")
   list(APPEND CPPFLAGS -DCOLLATE=0 -DLOCALE_ON=0)

diff --git a/MultiSource/Benchmarks/MiBench/consumer-typeset/Makefile b/MultiSource/Benchmarks/MiBench/consumer-typeset/Makefile
@@ -4,6 +4,7 @@ PROG     = consumer-typeset
 # FORTIFY_SOURCE is turned off for this benchmark because the type lies at some
 # point in this program and FORIFY implementations rely on the correct type.
 CPPFLAGS = -DOS_UNIX=1 -DOS_DOS=0 -DOS_MAC=0 -DDB_FIX=0 -DUSE_STAT=1 -DSAFE_DFT=0 -DCOLLATE=1 -DLIB_DIR=\"lout.lib\" -DFONT_DIR=\"font\" -DMAPS_DIR=\"maps\" -DINCL_DIR=\"include\" -DDATA_DIR=\"data\" -DHYPH_DIR=\"hyph\" -DLOCALE_DIR=\"locale\" -DCHAR_IN=1 -DCHAR_OUT=0 -DLOCALE_ON=1 -DASSERT_ON=1 -DDEBUG_ON=0  -DPDF_COMPRESSION=0 -D_FORTIFY_SOURCE=0
+CFLAGS  += -DNO_IMPLICIT_INCLUDE_CHECKED_HDRS
 
 ifeq ($(ARCH),Mips)
 CPPFLAGS += -DCOLLATE=0 -DLOCALE_ON=0

diff --git a/MultiSource/Benchmarks/MiBench/network-patricia/CMakeLists.txt b/MultiSource/Benchmarks/MiBench/network-patricia/CMakeLists.txt
@@ -1,3 +1,4 @@
+list(APPEND CFLAGS -DNO_IMPLICIT_INCLUDE_CHECKED_HDRS)
 list(APPEND LDFLAGS -lm)
 set(RUN_OPTIONS large.udp)
 set(HASH_PROGRAM_OUTPUT 1)

diff --git a/MultiSource/Benchmarks/MiBench/network-patricia/Makefile b/MultiSource/Benchmarks/MiBench/network-patricia/Makefile
@@ -1,6 +1,7 @@
 LEVEL = ../../../..
 
 PROG     = network-patricia
+CFLAGS  += -DNO_IMPLICIT_INCLUDE_CHECKED_HDRS
 LDFLAGS  = -lm
 RUN_OPTIONS = $(PROJ_SRC_DIR)/large.udp
 HASH_PROGRAM_OUTPUT = 1

diff --git a/MultiSource/Benchmarks/MiBench/office-ispell/CMakeLists.txt b/MultiSource/Benchmarks/MiBench/office-ispell/CMakeLists.txt
@@ -1,4 +1,5 @@
 list(APPEND CPPFLAGS -Dconst=)
+list(APPEND CFLAGS -DNO_IMPLICIT_INCLUDE_CHECKED_HDRS)
 list(APPEND LDFLAGS -lm)
 set(RUN_OPTIONS -a -d americanmed+ < large.txt)
 llvm_multisource(office-ispell)

diff --git a/MultiSource/Benchmarks/MiBench/office-ispell/Makefile b/MultiSource/Benchmarks/MiBench/office-ispell/Makefile
@@ -2,6 +2,7 @@ LEVEL = ../../../..
 
 PROG     = office-ispell
 CPPFLAGS = -Dconst=
+CFLAGS  += -DNO_IMPLICIT_INCLUDE_CHECKED_HDRS
 LDFLAGS  = -lm
 RUN_OPTIONS = -a -d $(PROJ_SRC_DIR)/americanmed+
 STDIN_FILENAME = $(PROJ_SRC_DIR)/large.txt

diff --git a/MultiSource/Benchmarks/Olden/bh/args.c b/MultiSource/Benchmarks/Olden/bh/args.c
@@ -1,5 +1,5 @@
 /* For copyright information, see olden_v1.0/COPYRIGHT */
-#include <stdlib_checked.h>
+#include <stdlib.h>
 
 #pragma CHECKED_SCOPE ON
 

diff --git a/MultiSource/Benchmarks/Olden/bisort/args.c b/MultiSource/Benchmarks/Olden/bisort/args.c
@@ -1,6 +1,6 @@
 /* For copyright information, see olden_v1.0/COPYRIGHT */
 #include <stdchecked.h>
-#include <stdlib_checked.h>
+#include <stdlib.h>
 
 #pragma CHECKED_SCOPE ON
 

diff --git a/MultiSource/Benchmarks/Olden/bisort/bitonic.c b/MultiSource/Benchmarks/Olden/bisort/bitonic.c
@@ -4,7 +4,7 @@
 /* UP - 0, DOWN - 1 */
 #include "node.h"   /* Node Definition */
 #include "proc.h"   /* Procedure Types/Nums */
-#include <stdio_checked.h>
+#include <stdio.h>
 
 #pragma CHECKED_SCOPE ON
 

diff --git a/MultiSource/Benchmarks/Olden/em3d/util.c b/MultiSource/Benchmarks/Olden/em3d/util.c
@@ -1,6 +1,6 @@
 /* For copyright information, see olden_v1.0/COPYRIGHT */
 
-#include <stdlib_checked.h>
+#include <stdlib.h>
 #include "em3d.h"
 #pragma CHECKED_SCOPE ON
 

diff --git a/MultiSource/Benchmarks/Olden/health/args.c b/MultiSource/Benchmarks/Olden/health/args.c
@@ -6,8 +6,8 @@
  *****************************************************************/
 
 #include <stdchecked.h>
-#include <stdio_checked.h>
-#include <stdlib_checked.h>
+#include <stdio.h>
+#include <stdlib.h>
 #include "health.h"
 
 void dealwithargs(int argc, array_ptr<nt_array_ptr<char>> argv : count(argc)) {

diff --git a/MultiSource/Benchmarks/Olden/health/health.c b/MultiSource/Benchmarks/Olden/health/health.c
@@ -4,8 +4,8 @@
  *  Health.c : Model of the Columbian Health Care System           *
  *******************************************************************/ 
 
-#include <stdio_checked.h>
-#include <stdlib_checked.h>
+#include <stdio.h>
+#include <stdlib.h>
 #include <math.h>
 #include "health.h"
 #include <assert.h>

diff --git a/MultiSource/Benchmarks/Olden/health/list.c b/MultiSource/Benchmarks/Olden/health/list.c
@@ -6,8 +6,8 @@
  ********************************************************************/
 
 #include <stdchecked.h>
-#include <stdio_checked.h>
-#include <stdlib_checked.h>
+#include <stdio.h>
+#include <stdlib.h>
 #include "health.h"
 #pragma CHECKED_SCOPE ON
 

diff --git a/MultiSource/Benchmarks/Olden/mst/hash.c b/MultiSource/Benchmarks/Olden/mst/hash.c
@@ -1,7 +1,7 @@
 /* For copyright information, see olden_v1.0/COPYRIGHT */
 
 #include <stdchecked.h>
-#include <stdlib_checked.h>
+#include <stdlib.h>
 #include "hash.h"
 #pragma CHECKED_SCOPE ON
 

diff --git a/MultiSource/Benchmarks/Olden/perimeter/main.c b/MultiSource/Benchmarks/Olden/perimeter/main.c
@@ -2,8 +2,8 @@
 
 #include <stdchecked.h>
 #include "perimeter.h"
-#include <stdio_checked.h>
-#include <stdlib_checked.h>
+#include <stdio.h>
+#include <stdlib.h>
 
 #define printf(...) unchecked { printf(__VA_ARGS__); }
 

diff --git a/MultiSource/Benchmarks/Olden/perimeter/maketree.c b/MultiSource/Benchmarks/Olden/perimeter/maketree.c
@@ -2,7 +2,7 @@
 
 #include <stdchecked.h>
 #include "perimeter.h"
-#include <stdlib_checked.h>
+#include <stdlib.h>
 
 #pragma CHECKED_SCOPE ON
 

diff --git a/MultiSource/Benchmarks/Olden/power/build.c b/MultiSource/Benchmarks/Olden/power/build.c
@@ -10,7 +10,7 @@
  * University of California at Berkeley
  */
 
-#include <stdlib_checked.h>
+#include <stdlib.h>
 #include "power.h"
 
 #pragma CHECKED_SCOPE ON

diff --git a/MultiSource/Benchmarks/Olden/power/compute.c b/MultiSource/Benchmarks/Olden/power/compute.c
@@ -11,7 +11,7 @@
  *
  */
 
-#include <stdlib_checked.h>
+#include <stdlib.h>
 #include "power.h"
 
 #pragma CHECKED_SCOPE ON

diff --git a/MultiSource/Benchmarks/Prolangs-C/archie-client/CMakeLists.txt b/MultiSource/Benchmarks/Prolangs-C/archie-client/CMakeLists.txt
@@ -1,6 +1,7 @@
 include(CheckFunctionExists)
 check_function_exists(re_comp HAVE_RE_COMP)
 
+list(APPEND CFLAGS -DNO_IMPLICIT_INCLUDE_CHECKED_HDRS)
 if(HAVE_RE_COMP)
   if(TARGET_OS STREQUAL "SunOS")
     list(APPEND LDFLAGS -lsocket -lnsl)

diff --git a/MultiSource/Benchmarks/Prolangs-C/archie-client/Makefile b/MultiSource/Benchmarks/Prolangs-C/archie-client/Makefile
@@ -7,6 +7,8 @@ ifdef HAVE_RE_COMP
 PROG = archie
 endif
 
+CFLAGS  += -DNO_IMPLICIT_INCLUDE_CHECKED_HDRS
+
 include $(LEVEL)/MultiSource/Makefile.multisrc
 
 ifeq ($(TARGET_OS),SunOS)

diff --git a/MultiSource/Benchmarks/Prolangs-C/cdecl/CMakeLists.txt b/MultiSource/Benchmarks/Prolangs-C/cdecl/CMakeLists.txt
@@ -1,4 +1,4 @@
-list(APPEND CFLAGS -std=gnu89)
+list(APPEND CFLAGS -std=gnu89 -DNO_IMPLICIT_INCLUDE_CHECKED_HDRS)
 set(RUN_OPTIONS < testset)
 llvm_multisource(cdecl)
 llvm_test_data(cdecl testset)
diff --git a/MultiSource/Benchmarks/Prolangs-C/cdecl/Makefile b/MultiSource/Benchmarks/Prolangs-C/cdecl/Makefile
@@ -1,6 +1,7 @@
 LEVEL = ../../../..
 
 CFLAGS += -std=gnu89
+CFLAGS += -DNO_IMPLICIT_INCLUDE_CHECKED_HDRS
 
 PROG = cdecl
 STDIN_FILENAME = $(SourceDir)/testset

diff --git a/MultiSource/Benchmarks/Ptrdist/anagram/anagram.c b/MultiSource/Benchmarks/Ptrdist/anagram/anagram.c
@@ -128,9 +128,9 @@
  * prototypes, for those of you who have K&R compilers.
  */
 
-#include <stdio_checked.h>
-#include <stdlib_checked.h>
-#include <string_checked.h>
+#include <stdio.h>
+#include <stdlib.h>
+#include <string.h>
 #include <ctype.h>
 #include <sys/types.h>
 #include <sys/stat.h>

diff --git a/MultiSource/Benchmarks/Ptrdist/ft/Fheap.c b/MultiSource/Benchmarks/Ptrdist/ft/Fheap.c
@@ -37,8 +37,8 @@
  */
 
 #include <assert.h>
-#include <stdio_checked.h>
-#include <stdlib_checked.h>
+#include <stdio.h>
+#include <stdlib.h>
 #include "Fheap.h"
 #include "Fstruct.h"
 

diff --git a/MultiSource/Benchmarks/Ptrdist/ft/Fsanity.c b/MultiSource/Benchmarks/Ptrdist/ft/Fsanity.c
@@ -28,7 +28,7 @@
  *
  */
 
-#include <stdio_checked.h>
+#include <stdio.h>
 #include "Fheap.h"
 #include "Fstruct.h"
 

diff --git a/MultiSource/Benchmarks/Ptrdist/ft/ft.c b/MultiSource/Benchmarks/Ptrdist/ft/ft.c
@@ -35,8 +35,8 @@
  */
 
 #include <limits.h>
-#include <stdio_checked.h>
-#include <stdlib_checked.h>
+#include <stdio.h>
+#include <stdlib.h>
 #include <assert.h>
 
 #include <sys/time.h>

diff --git a/MultiSource/Benchmarks/Ptrdist/ft/graph.c b/MultiSource/Benchmarks/Ptrdist/ft/graph.c
@@ -29,8 +29,8 @@
  */
 
 #include <assert.h>
-#include <stdio_checked.h>
-#include <stdlib_checked.h>
+#include <stdio.h>
+#include <stdlib.h>
 #include "graph.h"
 
 #pragma CHECKED_SCOPE ON

diff --git a/MultiSource/Benchmarks/Ptrdist/ft/item.c b/MultiSource/Benchmarks/Ptrdist/ft/item.c
@@ -28,8 +28,8 @@
  *
  */
 
-#include <stdio_checked.h>
-#include <stdlib_checked.h>
+#include <stdio.h>
+#include <stdlib.h>
 #include <assert.h>
 
 #include "item.h"

diff --git a/MultiSource/Benchmarks/Ptrdist/ks/KS-1.c b/MultiSource/Benchmarks/Ptrdist/ks/KS-1.c
@@ -8,9 +8,9 @@
  *	date:		Thursday, February 25, 1993
  */
 
-#include <stdio_checked.h>
-#include <stdlib_checked.h>
-#include <string_checked.h>
+#include <stdio.h>
+#include <stdlib.h>
+#include <string.h>
 #include <assert.h>
 
 #include "KS.h"

diff --git a/MultiSource/Benchmarks/Ptrdist/ks/KS-2.c b/MultiSource/Benchmarks/Ptrdist/ks/KS-2.c
@@ -8,9 +8,9 @@
  *	date:		Thursday, February 25, 1993
  */
 
-#include <stdio_checked.h>
-#include <stdlib_checked.h>
-#include <string_checked.h>
+#include <stdio.h>
+#include <stdlib.h>
+#include <string.h>
 #include <assert.h>
 
 #include "KS.h"

diff --git a/MultiSource/Benchmarks/Ptrdist/yacr2/assign.c b/MultiSource/Benchmarks/Ptrdist/yacr2/assign.c
@@ -14,8 +14,8 @@
  *
  */
 
-#include <stdio_checked.h>
-#include <stdlib_checked.h>
+#include <stdio.h>
+#include <stdlib.h>
 #include <assert.h>
 #include "types.h"
 #include "assign.h"

diff --git a/MultiSource/Benchmarks/Ptrdist/yacr2/channel.c b/MultiSource/Benchmarks/Ptrdist/yacr2/channel.c
@@ -14,8 +14,8 @@
  *
  */
 
-#include <stdio_checked.h>
-#include <stdlib_checked.h>
+#include <stdio.h>
+#include <stdlib.h>
 #include "types.h"
 #include "channel.h"
 

diff --git a/MultiSource/Benchmarks/Ptrdist/yacr2/hcg.c b/MultiSource/Benchmarks/Ptrdist/yacr2/hcg.c
@@ -14,8 +14,8 @@
  *
  */
 
-#include <stdio_checked.h>
-#include <stdlib_checked.h>
+#include <stdio.h>
+#include <stdlib.h>
 #include <assert.h>
 #include "types.h"
 #include "hcg.h"

diff --git a/MultiSource/Benchmarks/Ptrdist/yacr2/main.c b/MultiSource/Benchmarks/Ptrdist/yacr2/main.c
@@ -15,8 +15,8 @@
  *
  */
 
-#include <stdio_checked.h>
-#include <stdlib_checked.h>
+#include <stdio.h>
+#include <stdlib.h>
 #include <assert.h>
 #include "option.h"
 #include "channel.h"

diff --git a/MultiSource/Benchmarks/Ptrdist/yacr2/maze.c b/MultiSource/Benchmarks/Ptrdist/yacr2/maze.c
@@ -1,7 +1,7 @@
 
-#include <stdio_checked.h>
-#include <stdlib_checked.h>
-#include <string_checked.h>
+#include <stdio.h>
+#include <stdlib.h>
+#include <string.h>
 #include <assert.h>
 
 #include "channel.h"

diff --git a/MultiSource/Benchmarks/Ptrdist/yacr2/option.c b/MultiSource/Benchmarks/Ptrdist/yacr2/option.c
@@ -5,7 +5,7 @@
  *
  */
 
-#include <string_checked.h>
+#include <string.h>
 
 #define OPTION_CODE
 
@@ -16,8 +16,8 @@
  *
  */
 
-#include <stdio_checked.h>
-#include <stdlib_checked.h>
+#include <stdio.h>
+#include <stdlib.h>
 #include "channel.h"
 
 #pragma CHECKED_SCOPE ON