From ab82bae7da0ce494c35874adbb14dff76e091071 Mon Sep 17 00:00:00 2001 From: Eric Eide Date: Fri, 19 May 2017 09:35:56 -0600 Subject: [PATCH] Use generated "config.h". Have `configure` generate a "config.h" file to hold the outcomes of various tests and definitions. Include that file in C++ files. Previously, we passed the outcomes of the various configure-time tests and definitions to the compiler through the command line. --- Makefile.in | 54 ++++--- bootstrap | 1 + config.h.in | 61 ++++++++ configure | 233 ++++++++++++++++++++++++----- configure.ac | 2 +- doc/Makefile.in | 1 + runtime/Makefile.in | 3 +- scripts/Makefile.in | 1 + src/AbsExtension.cpp | 6 +- src/AbsProgramGenerator.cpp | 6 +- src/AbsRndNumGenerator.cpp | 6 +- src/ArrayVariable.cpp | 6 +- src/Block.cpp | 7 +- src/Bookkeeper.cpp | 7 +- src/CFGEdge.cpp | 6 +- src/CGContext.cpp | 6 +- src/CGOptions.cpp | 6 +- src/CVQualifiers.cpp | 6 +- src/CompatibleChecker.cpp | 6 +- src/Constant.cpp | 6 +- src/CoverageTestExtension.cpp | 6 +- src/CrestExtension.cpp | 6 +- src/DFSOutputMgr.cpp | 6 +- src/DFSProgramGenerator.cpp | 6 +- src/DFSRndNumGenerator.cpp | 6 +- src/DefaultOutputMgr.cpp | 6 +- src/DefaultProgramGenerator.cpp | 6 +- src/DefaultRndNumGenerator.cpp | 6 +- src/DeltaMonitor.cpp | 7 +- src/DepthSpec.cpp | 6 +- src/Effect.cpp | 6 +- src/Error.cpp | 7 +- src/Expression.cpp | 6 +- src/ExpressionAssign.cpp | 6 +- src/ExpressionComma.cpp | 6 +- src/ExpressionFuncall.cpp | 6 +- src/ExpressionVariable.cpp | 6 +- src/ExtensionMgr.cpp | 6 +- src/ExtensionValue.cpp | 6 +- src/Fact.cpp | 6 +- src/FactMgr.cpp | 7 +- src/FactPointTo.cpp | 6 +- src/FactUnion.cpp | 6 +- src/Filter.cpp | 6 +- src/Finalization.cpp | 6 +- src/Function.cpp | 7 +- src/FunctionInvocation.cpp | 6 +- src/FunctionInvocationBinary.cpp | 6 +- src/FunctionInvocationUnary.cpp | 6 +- src/FunctionInvocationUser.cpp | 7 +- src/KleeExtension.cpp | 6 +- src/Lhs.cpp | 6 +- src/LinearSequence.cpp | 6 +- src/Makefile.in | 3 +- src/MspFilters.cpp | 6 +- src/OutputMgr.cpp | 6 +- src/PartialExpander.cpp | 6 +- src/Probabilities.cpp | 6 +- src/RandomNumber.cpp | 6 +- src/RandomProgramGenerator.cpp | 7 +- src/Reducer.cpp | 6 +- src/ReducerOutputMgr.cpp | 6 +- src/SafeOpFlags.cpp | 6 +- src/Sequence.cpp | 6 +- src/SequenceFactory.cpp | 6 +- src/SimpleDeltaRndNumGenerator.cpp | 7 +- src/SimpleDeltaSequence.cpp | 6 +- src/SplatExtension.cpp | 6 +- src/Statement.cpp | 7 +- src/StatementArrayOp.cpp | 6 +- src/StatementAssign.cpp | 6 +- src/StatementBreak.cpp | 6 +- src/StatementContinue.cpp | 6 +- src/StatementExpr.cpp | 6 +- src/StatementFor.cpp | 6 +- src/StatementGoto.cpp | 6 +- src/StatementIf.cpp | 6 +- src/StatementReturn.cpp | 6 +- src/StringUtils.cpp | 6 +- src/Type.cpp | 6 +- src/Variable.cpp | 6 +- src/VariableSelector.cpp | 6 +- src/VectorFilter.cpp | 6 +- src/platform.cpp | 7 +- src/random.cpp | 6 +- src/util.cpp | 6 +- 86 files changed, 694 insertions(+), 138 deletions(-) create mode 100644 config.h.in diff --git a/Makefile.in b/Makefile.in index ff589a44b..c0eb5698b 100644 --- a/Makefile.in +++ b/Makefile.in @@ -104,6 +104,7 @@ DIST_COMMON = $(srcdir)/Makefile.am $(top_srcdir)/configure \ am__CONFIG_DISTCLEAN_FILES = config.status config.cache config.log \ configure.lineno config.status.lineno mkinstalldirs = $(install_sh) -d +CONFIG_HEADER = config.h CONFIG_CLEAN_FILES = CONFIG_CLEAN_VPATH_FILES = AM_V_P = $(am__v_P_@AM_V@) @@ -141,7 +142,8 @@ am__recursive_targets = \ $(am__extra_recursive_targets) AM_RECURSIVE_TARGETS = $(am__recursive_targets:-recursive=) TAGS CTAGS \ cscope distdir dist dist-all distcheck -am__tagged_files = $(HEADERS) $(SOURCES) $(TAGS_FILES) $(LISP) +am__tagged_files = $(HEADERS) $(SOURCES) $(TAGS_FILES) \ + $(LISP)config.h.in # Read a list of newline-separated strings from the standard input, # and print each of them once, without duplicates. Input order is # *not* preserved. @@ -162,7 +164,8 @@ ETAGS = etags CTAGS = ctags CSCOPE = cscope DIST_SUBDIRS = $(SUBDIRS) -am__DIST_COMMON = $(srcdir)/Makefile.in $(top_srcdir)/autoconf/compile \ +am__DIST_COMMON = $(srcdir)/Makefile.in $(srcdir)/config.h.in \ + $(top_srcdir)/autoconf/compile \ $(top_srcdir)/autoconf/config.guess \ $(top_srcdir)/autoconf/config.sub \ $(top_srcdir)/autoconf/install-sh \ @@ -348,7 +351,8 @@ SUBDIRS = \ EXTRA_DIST = \ git-hash.sh -all: all-recursive +all: config.h + $(MAKE) $(AM_MAKEFLAGS) all-recursive .SUFFIXES: am--refresh: Makefile @@ -385,6 +389,21 @@ $(ACLOCAL_M4): @MAINTAINER_MODE_TRUE@ $(am__aclocal_m4_deps) $(am__cd) $(srcdir) && $(ACLOCAL) $(ACLOCAL_AMFLAGS) $(am__aclocal_m4_deps): +config.h: stamp-h1 + @test -f $@ || rm -f stamp-h1 + @test -f $@ || $(MAKE) $(AM_MAKEFLAGS) stamp-h1 + +stamp-h1: $(srcdir)/config.h.in $(top_builddir)/config.status + @rm -f stamp-h1 + cd $(top_builddir) && $(SHELL) ./config.status config.h +$(srcdir)/config.h.in: @MAINTAINER_MODE_TRUE@ $(am__configure_deps) + ($(am__cd) $(top_srcdir) && $(AUTOHEADER)) + rm -f stamp-h1 + touch $@ + +distclean-hdr: + -rm -f config.h stamp-h1 + mostlyclean-libtool: -rm -f *.lo @@ -690,7 +709,7 @@ distcleancheck: distclean exit 1; } >&2 check-am: all-am check: check-recursive -all-am: Makefile +all-am: Makefile config.h installdirs: installdirs-recursive installdirs-am: install: install-recursive @@ -730,8 +749,8 @@ clean-am: clean-generic clean-libtool mostlyclean-am distclean: distclean-recursive -rm -f $(am__CONFIG_DISTCLEAN_FILES) -rm -f Makefile -distclean-am: clean-am distclean-generic distclean-libtool \ - distclean-tags +distclean-am: clean-am distclean-generic distclean-hdr \ + distclean-libtool distclean-tags dvi: dvi-recursive @@ -793,23 +812,24 @@ ps-am: uninstall-am: -.MAKE: $(am__recursive_targets) install-am install-strip +.MAKE: $(am__recursive_targets) all install-am install-strip .PHONY: $(am__recursive_targets) CTAGS GTAGS TAGS all all-am \ am--refresh check check-am clean clean-cscope clean-generic \ clean-libtool cscope cscopelist-am ctags ctags-am dist \ dist-all dist-bzip2 dist-gzip dist-lzip dist-shar dist-tarZ \ dist-xz dist-zip distcheck distclean distclean-generic \ - distclean-libtool distclean-tags distcleancheck distdir \ - distuninstallcheck dvi dvi-am html html-am info info-am \ - install install-am install-data install-data-am install-dvi \ - install-dvi-am install-exec install-exec-am install-html \ - install-html-am install-info install-info-am install-man \ - install-pdf install-pdf-am install-ps install-ps-am \ - install-strip installcheck installcheck-am installdirs \ - installdirs-am maintainer-clean maintainer-clean-generic \ - mostlyclean mostlyclean-generic mostlyclean-libtool pdf pdf-am \ - ps ps-am tags tags-am uninstall uninstall-am + distclean-hdr distclean-libtool distclean-tags distcleancheck \ + distdir distuninstallcheck dvi dvi-am html html-am info \ + info-am install install-am install-data install-data-am \ + install-dvi install-dvi-am install-exec install-exec-am \ + install-html install-html-am install-info install-info-am \ + install-man install-pdf install-pdf-am install-ps \ + install-ps-am install-strip installcheck installcheck-am \ + installdirs installdirs-am maintainer-clean \ + maintainer-clean-generic mostlyclean mostlyclean-generic \ + mostlyclean-libtool pdf pdf-am ps ps-am tags tags-am uninstall \ + uninstall-am .PRECIOUS: Makefile diff --git a/bootstrap b/bootstrap index bfdde7be2..6ebc0f490 100755 --- a/bootstrap +++ b/bootstrap @@ -1,5 +1,6 @@ #!/bin/sh aclocal -I m4 \ +&& autoheader \ && automake --gnu --add-missing \ && autoconf diff --git a/config.h.in b/config.h.in new file mode 100644 index 000000000..8de1159e9 --- /dev/null +++ b/config.h.in @@ -0,0 +1,61 @@ +/* config.h.in. Generated from configure.ac by autoheader. */ + +/* Define to 1 if you have the header file. */ +#undef HAVE_DLFCN_H + +/* Define to 1 if you have the header file. */ +#undef HAVE_INTTYPES_H + +/* Define to 1 if you have the header file. */ +#undef HAVE_MEMORY_H + +/* Define to 1 if you have the header file. */ +#undef HAVE_STDINT_H + +/* Define to 1 if you have the header file. */ +#undef HAVE_STDLIB_H + +/* Define to 1 if you have the header file. */ +#undef HAVE_STRINGS_H + +/* Define to 1 if you have the header file. */ +#undef HAVE_STRING_H + +/* Define to 1 if you have the header file. */ +#undef HAVE_SYS_STAT_H + +/* Define to 1 if you have the header file. */ +#undef HAVE_SYS_TYPES_H + +/* Define to 1 if you have the header file. */ +#undef HAVE_UNISTD_H + +/* Define to the sub-directory where libtool stores uninstalled libraries. */ +#undef LT_OBJDIR + +/* Name of package */ +#undef PACKAGE + +/* Define to the address where bug reports for this package should be sent. */ +#undef PACKAGE_BUGREPORT + +/* Define to the full name of this package. */ +#undef PACKAGE_NAME + +/* Define to the full name and version of this package. */ +#undef PACKAGE_STRING + +/* Define to the one symbol short name of this package. */ +#undef PACKAGE_TARNAME + +/* Define to the home page for this package. */ +#undef PACKAGE_URL + +/* Define to the version of this package. */ +#undef PACKAGE_VERSION + +/* Define to 1 if you have the ANSI C header files. */ +#undef STDC_HEADERS + +/* Version number of package */ +#undef VERSION diff --git a/configure b/configure index 9bd4102eb..f4068b26d 100755 --- a/configure +++ b/configure @@ -2300,6 +2300,8 @@ ac_configure="$SHELL $ac_aux_dir/configure" # Please don't use this var. +ac_config_headers="$ac_config_headers config.h" + # Make sure we can run config.sub. $SHELL "$ac_aux_dir/config.sub" sun4 >/dev/null 2>&1 || @@ -16001,43 +16003,7 @@ test "x$prefix" = xNONE && prefix=$ac_default_prefix # Let make expand exec_prefix. test "x$exec_prefix" = xNONE && exec_prefix='${prefix}' -# Transform confdefs.h into DEFS. -# Protect against shell expansion while executing Makefile rules. -# Protect against Makefile macro expansion. -# -# If the first sed substitution is executed (which looks for macros that -# take arguments), then branch to the quote section. Otherwise, -# look for a macro that doesn't take arguments. -ac_script=' -:mline -/\\$/{ - N - s,\\\n,, - b mline -} -t clear -:clear -s/^[ ]*#[ ]*define[ ][ ]*\([^ (][^ (]*([^)]*)\)[ ]*\(.*\)/-D\1=\2/g -t quote -s/^[ ]*#[ ]*define[ ][ ]*\([^ ][^ ]*\)[ ]*\(.*\)/-D\1=\2/g -t quote -b any -:quote -s/[ `~#$^&*(){}\\|;'\''"<>?]/\\&/g -s/\[/\\&/g -s/\]/\\&/g -s/\$/$$/g -H -:any -${ - g - s/^\n// - s/\n/ /g - p -} -' -DEFS=`sed -n "$ac_script" confdefs.h` - +DEFS=-DHAVE_CONFIG_H ac_libobjs= ac_ltlibobjs= @@ -16503,11 +16469,15 @@ case $ac_config_files in *" "*) set x $ac_config_files; shift; ac_config_files=$*;; esac +case $ac_config_headers in *" +"*) set x $ac_config_headers; shift; ac_config_headers=$*;; +esac cat >>$CONFIG_STATUS <<_ACEOF || ac_write_fail=1 # Files that config.status was made for. config_files="$ac_config_files" +config_headers="$ac_config_headers" config_commands="$ac_config_commands" _ACEOF @@ -16529,10 +16499,15 @@ Usage: $0 [OPTION]... [TAG]... --recheck update $as_me by reconfiguring in the same conditions --file=FILE[:TEMPLATE] instantiate the configuration file FILE + --header=FILE[:TEMPLATE] + instantiate the configuration header FILE Configuration files: $config_files +Configuration headers: +$config_headers + Configuration commands: $config_commands @@ -16600,7 +16575,18 @@ do esac as_fn_append CONFIG_FILES " '$ac_optarg'" ac_need_defaults=false;; - --he | --h | --help | --hel | -h ) + --header | --heade | --head | --hea ) + $ac_shift + case $ac_optarg in + *\'*) ac_optarg=`$as_echo "$ac_optarg" | sed "s/'/'\\\\\\\\''/g"` ;; + esac + as_fn_append CONFIG_HEADERS " '$ac_optarg'" + ac_need_defaults=false;; + --he | --h) + # Conflict between --help and --header + as_fn_error $? "ambiguous option: \`$1' +Try \`$0 --help' for more information.";; + --help | --hel | -h ) $as_echo "$ac_cs_usage"; exit ;; -q | -quiet | --quiet | --quie | --qui | --qu | --q \ | -silent | --silent | --silen | --sile | --sil | --si | --s) @@ -17042,6 +17028,7 @@ cat >>$CONFIG_STATUS <<\_ACEOF || ac_write_fail=1 for ac_config_target in $ac_config_targets do case $ac_config_target in + "config.h") CONFIG_HEADERS="$CONFIG_HEADERS config.h" ;; "depfiles") CONFIG_COMMANDS="$CONFIG_COMMANDS depfiles" ;; "libtool") CONFIG_COMMANDS="$CONFIG_COMMANDS libtool" ;; "Makefile") CONFIG_FILES="$CONFIG_FILES Makefile" ;; @@ -17061,6 +17048,7 @@ done # bizarre bug on SunOS 4.1.3. if $ac_need_defaults; then test "${CONFIG_FILES+set}" = set || CONFIG_FILES=$config_files + test "${CONFIG_HEADERS+set}" = set || CONFIG_HEADERS=$config_headers test "${CONFIG_COMMANDS+set}" = set || CONFIG_COMMANDS=$config_commands fi @@ -17249,8 +17237,116 @@ fi cat >>$CONFIG_STATUS <<\_ACEOF || ac_write_fail=1 fi # test -n "$CONFIG_FILES" +# Set up the scripts for CONFIG_HEADERS section. +# No need to generate them if there are no CONFIG_HEADERS. +# This happens for instance with `./config.status Makefile'. +if test -n "$CONFIG_HEADERS"; then +cat >"$ac_tmp/defines.awk" <<\_ACAWK || +BEGIN { +_ACEOF + +# Transform confdefs.h into an awk script `defines.awk', embedded as +# here-document in config.status, that substitutes the proper values into +# config.h.in to produce config.h. + +# Create a delimiter string that does not exist in confdefs.h, to ease +# handling of long lines. +ac_delim='%!_!# ' +for ac_last_try in false false :; do + ac_tt=`sed -n "/$ac_delim/p" confdefs.h` + if test -z "$ac_tt"; then + break + elif $ac_last_try; then + as_fn_error $? "could not make $CONFIG_HEADERS" "$LINENO" 5 + else + ac_delim="$ac_delim!$ac_delim _$ac_delim!! " + fi +done + +# For the awk script, D is an array of macro values keyed by name, +# likewise P contains macro parameters if any. Preserve backslash +# newline sequences. + +ac_word_re=[_$as_cr_Letters][_$as_cr_alnum]* +sed -n ' +s/.\{148\}/&'"$ac_delim"'/g +t rset +:rset +s/^[ ]*#[ ]*define[ ][ ]*/ / +t def +d +:def +s/\\$// +t bsnl +s/["\\]/\\&/g +s/^ \('"$ac_word_re"'\)\(([^()]*)\)[ ]*\(.*\)/P["\1"]="\2"\ +D["\1"]=" \3"/p +s/^ \('"$ac_word_re"'\)[ ]*\(.*\)/D["\1"]=" \2"/p +d +:bsnl +s/["\\]/\\&/g +s/^ \('"$ac_word_re"'\)\(([^()]*)\)[ ]*\(.*\)/P["\1"]="\2"\ +D["\1"]=" \3\\\\\\n"\\/p +t cont +s/^ \('"$ac_word_re"'\)[ ]*\(.*\)/D["\1"]=" \2\\\\\\n"\\/p +t cont +d +:cont +n +s/.\{148\}/&'"$ac_delim"'/g +t clear +:clear +s/\\$// +t bsnlc +s/["\\]/\\&/g; s/^/"/; s/$/"/p +d +:bsnlc +s/["\\]/\\&/g; s/^/"/; s/$/\\\\\\n"\\/p +b cont +' >$CONFIG_STATUS || ac_write_fail=1 -eval set X " :F $CONFIG_FILES :C $CONFIG_COMMANDS" +cat >>$CONFIG_STATUS <<_ACEOF || ac_write_fail=1 + for (key in D) D_is_set[key] = 1 + FS = "" +} +/^[\t ]*#[\t ]*(define|undef)[\t ]+$ac_word_re([\t (]|\$)/ { + line = \$ 0 + split(line, arg, " ") + if (arg[1] == "#") { + defundef = arg[2] + mac1 = arg[3] + } else { + defundef = substr(arg[1], 2) + mac1 = arg[2] + } + split(mac1, mac2, "(") #) + macro = mac2[1] + prefix = substr(line, 1, index(line, defundef) - 1) + if (D_is_set[macro]) { + # Preserve the white space surrounding the "#". + print prefix "define", macro P[macro] D[macro] + next + } else { + # Replace #undef with comments. This is necessary, for example, + # in the case of _POSIX_SOURCE, which is predefined and required + # on some systems where configure will not decide to define it. + if (defundef == "undef") { + print "/*", prefix defundef, macro, "*/" + next + } + } +} +{ print } +_ACAWK +_ACEOF +cat >>$CONFIG_STATUS <<\_ACEOF || ac_write_fail=1 + as_fn_error $? "could not setup config headers machinery" "$LINENO" 5 +fi # test -n "$CONFIG_HEADERS" + + +eval set X " :F $CONFIG_FILES :H $CONFIG_HEADERS :C $CONFIG_COMMANDS" shift for ac_tag do @@ -17430,7 +17526,64 @@ eval sed \"\$ac_sed_extra\" "$ac_file_inputs" | $AWK -f "$ac_tmp/subs.awk" \ esac \ || as_fn_error $? "could not create $ac_file" "$LINENO" 5 ;; - + :H) + # + # CONFIG_HEADER + # + if test x"$ac_file" != x-; then + { + $as_echo "/* $configure_input */" \ + && eval '$AWK -f "$ac_tmp/defines.awk"' "$ac_file_inputs" + } >"$ac_tmp/config.h" \ + || as_fn_error $? "could not create $ac_file" "$LINENO" 5 + if diff "$ac_file" "$ac_tmp/config.h" >/dev/null 2>&1; then + { $as_echo "$as_me:${as_lineno-$LINENO}: $ac_file is unchanged" >&5 +$as_echo "$as_me: $ac_file is unchanged" >&6;} + else + rm -f "$ac_file" + mv "$ac_tmp/config.h" "$ac_file" \ + || as_fn_error $? "could not create $ac_file" "$LINENO" 5 + fi + else + $as_echo "/* $configure_input */" \ + && eval '$AWK -f "$ac_tmp/defines.awk"' "$ac_file_inputs" \ + || as_fn_error $? "could not create -" "$LINENO" 5 + fi +# Compute "$ac_file"'s index in $config_headers. +_am_arg="$ac_file" +_am_stamp_count=1 +for _am_header in $config_headers :; do + case $_am_header in + $_am_arg | $_am_arg:* ) + break ;; + * ) + _am_stamp_count=`expr $_am_stamp_count + 1` ;; + esac +done +echo "timestamp for $_am_arg" >`$as_dirname -- "$_am_arg" || +$as_expr X"$_am_arg" : 'X\(.*[^/]\)//*[^/][^/]*/*$' \| \ + X"$_am_arg" : 'X\(//\)[^/]' \| \ + X"$_am_arg" : 'X\(//\)$' \| \ + X"$_am_arg" : 'X\(/\)' \| . 2>/dev/null || +$as_echo X"$_am_arg" | + sed '/^X\(.*[^/]\)\/\/*[^/][^/]*\/*$/{ + s//\1/ + q + } + /^X\(\/\/\)[^/].*/{ + s//\1/ + q + } + /^X\(\/\/\)$/{ + s//\1/ + q + } + /^X\(\/\).*/{ + s//\1/ + q + } + s/.*/./; q'`/stamp-h$_am_stamp_count + ;; :C) { $as_echo "$as_me:${as_lineno-$LINENO}: executing $ac_file commands" >&5 $as_echo "$as_me: executing $ac_file commands" >&6;} diff --git a/configure.ac b/configure.ac index ca520796a..a7472677c 100644 --- a/configure.ac +++ b/configure.ac @@ -35,7 +35,7 @@ AC_INIT(csmith, CSMITH_VERSION, CSMITH_BUGREPORT, csmith, CSMITH_URL) AC_CONFIG_SRCDIR(src/RandomProgramGenerator.cpp) AC_CONFIG_AUX_DIR(autoconf) AC_CONFIG_MACRO_DIR(m4) -dnl AM_CONFIG_HEADER(config.h) +AC_CONFIG_HEADERS(config.h) AC_CANONICAL_TARGET diff --git a/doc/Makefile.in b/doc/Makefile.in index 0030bb503..3346cfd19 100644 --- a/doc/Makefile.in +++ b/doc/Makefile.in @@ -103,6 +103,7 @@ am__configure_deps = $(am__aclocal_m4_deps) $(CONFIGURE_DEPENDENCIES) \ DIST_COMMON = $(srcdir)/Makefile.am $(dist_doc_DATA) \ $(am__DIST_COMMON) mkinstalldirs = $(install_sh) -d +CONFIG_HEADER = $(top_builddir)/config.h CONFIG_CLEAN_FILES = CONFIG_CLEAN_VPATH_FILES = AM_V_P = $(am__v_P_@AM_V@) diff --git a/runtime/Makefile.in b/runtime/Makefile.in index 7e12083fe..b9a8551c3 100644 --- a/runtime/Makefile.in +++ b/runtime/Makefile.in @@ -106,6 +106,7 @@ DIST_COMMON = $(srcdir)/Makefile.am \ $(nobase_libcsmith_a_include_HEADERS) $(noinst_HEADERS) \ $(am__DIST_COMMON) mkinstalldirs = $(install_sh) -d +CONFIG_HEADER = $(top_builddir)/config.h CONFIG_CLEAN_FILES = CONFIG_CLEAN_VPATH_FILES = am__vpath_adj_setup = srcdirstrip=`echo "$(srcdir)" | sed 's|.|.|g'`; @@ -169,7 +170,7 @@ AM_V_at = $(am__v_at_@AM_V@) am__v_at_ = $(am__v_at_@AM_DEFAULT_V@) am__v_at_0 = @ am__v_at_1 = -DEFAULT_INCLUDES = -I.@am__isrc@ +DEFAULT_INCLUDES = -I.@am__isrc@ -I$(top_builddir) depcomp = $(SHELL) $(top_srcdir)/autoconf/depcomp am__depfiles_maybe = depfiles am__mv = mv -f diff --git a/scripts/Makefile.in b/scripts/Makefile.in index 25542891c..19d3240bd 100644 --- a/scripts/Makefile.in +++ b/scripts/Makefile.in @@ -103,6 +103,7 @@ am__configure_deps = $(am__aclocal_m4_deps) $(CONFIGURE_DEPENDENCIES) \ DIST_COMMON = $(srcdir)/Makefile.am $(dist_bin_SCRIPTS) \ $(am__DIST_COMMON) mkinstalldirs = $(install_sh) -d +CONFIG_HEADER = $(top_builddir)/config.h CONFIG_CLEAN_FILES = CONFIG_CLEAN_VPATH_FILES = am__vpath_adj_setup = srcdirstrip=`echo "$(srcdir)" | sed 's|.|.|g'`; diff --git a/src/AbsExtension.cpp b/src/AbsExtension.cpp index 8ed0b983f..3084b8530 100644 --- a/src/AbsExtension.cpp +++ b/src/AbsExtension.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2008, 2009, 2010, 2011 The University of Utah +// Copyright (c) 2008, 2009, 2010, 2011, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. @@ -27,6 +27,10 @@ // ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE // POSSIBILITY OF SUCH DAMAGE. +#if HAVE_CONFIG_H +# include +#endif + #include "AbsExtension.h" #include #include diff --git a/src/AbsProgramGenerator.cpp b/src/AbsProgramGenerator.cpp index 456e9e601..93014ac49 100644 --- a/src/AbsProgramGenerator.cpp +++ b/src/AbsProgramGenerator.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. @@ -27,6 +27,10 @@ // ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE // POSSIBILITY OF SUCH DAMAGE. +#if HAVE_CONFIG_H +# include +#endif + #include "AbsProgramGenerator.h" #include #include diff --git a/src/AbsRndNumGenerator.cpp b/src/AbsRndNumGenerator.cpp index c954384af..643bde7ae 100644 --- a/src/AbsRndNumGenerator.cpp +++ b/src/AbsRndNumGenerator.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. @@ -27,6 +27,10 @@ // ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE // POSSIBILITY OF SUCH DAMAGE. +#if HAVE_CONFIG_H +# include +#endif + #include "AbsRndNumGenerator.h" #include diff --git a/src/ArrayVariable.cpp b/src/ArrayVariable.cpp index 84c44e786..fe35dc97e 100644 --- a/src/ArrayVariable.cpp +++ b/src/ArrayVariable.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2013, 2014 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2013, 2014, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. @@ -27,6 +27,10 @@ // ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE // POSSIBILITY OF SUCH DAMAGE. +#if HAVE_CONFIG_H +# include +#endif + #ifdef WIN32 #pragma warning(disable : 4786) /* Disable annoying warning messages */ #endif diff --git a/src/Block.cpp b/src/Block.cpp index b9cd7c3ca..cd0fc703b 100644 --- a/src/Block.cpp +++ b/src/Block.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2010, 2011, 2013 The University of Utah +// Copyright (c) 2007, 2008, 2010, 2011, 2013, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. @@ -35,6 +35,11 @@ // Bryan Turner (bryan.turner@pobox.com) // July, 2005 // + +#if HAVE_CONFIG_H +# include +#endif + #ifdef WIN32 #pragma warning(disable : 4786) /* Disable annoying warning messages */ #endif diff --git a/src/Bookkeeper.cpp b/src/Bookkeeper.cpp index 9832a59d6..ca3943a74 100644 --- a/src/Bookkeeper.cpp +++ b/src/Bookkeeper.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2010, 2011, 2013 The University of Utah +// Copyright (c) 2007, 2008, 2010, 2011, 2013, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. @@ -26,6 +26,11 @@ // CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) // ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE // POSSIBILITY OF SUCH DAMAGE. + +#if HAVE_CONFIG_H +# include +#endif + #ifdef WIN32 #pragma warning(disable : 4786) /* Disable annoying warning messages */ #endif diff --git a/src/CFGEdge.cpp b/src/CFGEdge.cpp index 9bb492196..e0833fb45 100644 --- a/src/CFGEdge.cpp +++ b/src/CFGEdge.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. @@ -27,6 +27,10 @@ // ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE // POSSIBILITY OF SUCH DAMAGE. +#if HAVE_CONFIG_H +# include +#endif + #ifdef WIN32 #pragma warning(disable : 4786) /* Disable annoying warning messages */ #endif diff --git a/src/CGContext.cpp b/src/CGContext.cpp index 7232c51bf..6990d7e4a 100644 --- a/src/CGContext.cpp +++ b/src/CGContext.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2013 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2013, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. @@ -27,6 +27,10 @@ // ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE // POSSIBILITY OF SUCH DAMAGE. +#if HAVE_CONFIG_H +# include +#endif + #include #include "CGContext.h" diff --git a/src/CGOptions.cpp b/src/CGOptions.cpp index 83c338fc5..1028b9302 100644 --- a/src/CGOptions.cpp +++ b/src/CGOptions.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2008, 2010, 2011, 2012, 2013, 2014 The University of Utah +// Copyright (c) 2008, 2010, 2011, 2012, 2013, 2014, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. @@ -29,6 +29,10 @@ /////////////////////////////////////////////////////////////////////////////// +#if HAVE_CONFIG_H +# include +#endif + #include "CGOptions.h" #include #include diff --git a/src/CVQualifiers.cpp b/src/CVQualifiers.cpp index 1e095b6ec..bb0d8c940 100644 --- a/src/CVQualifiers.cpp +++ b/src/CVQualifiers.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2013 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2013, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. @@ -27,6 +27,10 @@ // ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE // POSSIBILITY OF SUCH DAMAGE. +#if HAVE_CONFIG_H +# include +#endif + #include #include #include "CVQualifiers.h" diff --git a/src/CompatibleChecker.cpp b/src/CompatibleChecker.cpp index ab8d014a2..53f88c5d3 100644 --- a/src/CompatibleChecker.cpp +++ b/src/CompatibleChecker.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. @@ -27,6 +27,10 @@ // ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE // POSSIBILITY OF SUCH DAMAGE. +#if HAVE_CONFIG_H +# include +#endif + #include "CompatibleChecker.h" #include diff --git a/src/Constant.cpp b/src/Constant.cpp index 7fb98954d..fe97f1b00 100644 --- a/src/Constant.cpp +++ b/src/Constant.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2013, 2014 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2013, 2014, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. @@ -27,6 +27,10 @@ // ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE // POSSIBILITY OF SUCH DAMAGE. +#if HAVE_CONFIG_H +# include +#endif + #include "Constant.h" #include #include diff --git a/src/CoverageTestExtension.cpp b/src/CoverageTestExtension.cpp index 0580e7404..c335b526b 100644 --- a/src/CoverageTestExtension.cpp +++ b/src/CoverageTestExtension.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2008, 2009, 2010, 2011 The University of Utah +// Copyright (c) 2008, 2009, 2010, 2011, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. @@ -27,6 +27,10 @@ // ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE // POSSIBILITY OF SUCH DAMAGE. +#if HAVE_CONFIG_H +# include +#endif + #include "CoverageTestExtension.h" #include #include "Type.h" diff --git a/src/CrestExtension.cpp b/src/CrestExtension.cpp index bd79a393b..8ac547c1e 100644 --- a/src/CrestExtension.cpp +++ b/src/CrestExtension.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2008, 2009, 2010, 2011 The University of Utah +// Copyright (c) 2008, 2009, 2010, 2011, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. @@ -27,6 +27,10 @@ // ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE // POSSIBILITY OF SUCH DAMAGE. +#if HAVE_CONFIG_H +# include +#endif + #include "CrestExtension.h" #include #include "Type.h" diff --git a/src/DFSOutputMgr.cpp b/src/DFSOutputMgr.cpp index be97f2ac5..b4637fe3c 100644 --- a/src/DFSOutputMgr.cpp +++ b/src/DFSOutputMgr.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. @@ -27,6 +27,10 @@ // ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE // POSSIBILITY OF SUCH DAMAGE. +#if HAVE_CONFIG_H +# include +#endif + #include "DFSOutputMgr.h" #include #include diff --git a/src/DFSProgramGenerator.cpp b/src/DFSProgramGenerator.cpp index e8be8c38d..186762b2a 100644 --- a/src/DFSProgramGenerator.cpp +++ b/src/DFSProgramGenerator.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. @@ -27,6 +27,10 @@ // ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE // POSSIBILITY OF SUCH DAMAGE. +#if HAVE_CONFIG_H +# include +#endif + #include "DFSProgramGenerator.h" #include #include diff --git a/src/DFSRndNumGenerator.cpp b/src/DFSRndNumGenerator.cpp index 87d5731d3..5a52334bc 100644 --- a/src/DFSRndNumGenerator.cpp +++ b/src/DFSRndNumGenerator.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. @@ -27,6 +27,10 @@ // ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE // POSSIBILITY OF SUCH DAMAGE. +#if HAVE_CONFIG_H +# include +#endif + #include "DFSRndNumGenerator.h" #include diff --git a/src/DefaultOutputMgr.cpp b/src/DefaultOutputMgr.cpp index 7a6f8a3d0..a30df37e3 100644 --- a/src/DefaultOutputMgr.cpp +++ b/src/DefaultOutputMgr.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2013 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2013, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. @@ -27,6 +27,10 @@ // ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE // POSSIBILITY OF SUCH DAMAGE. +#if HAVE_CONFIG_H +# include +#endif + #include "DefaultOutputMgr.h" #include diff --git a/src/DefaultProgramGenerator.cpp b/src/DefaultProgramGenerator.cpp index bab53ac4f..f355e9c08 100644 --- a/src/DefaultProgramGenerator.cpp +++ b/src/DefaultProgramGenerator.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. @@ -27,6 +27,10 @@ // ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE // POSSIBILITY OF SUCH DAMAGE. +#if HAVE_CONFIG_H +# include +#endif + #include "DefaultProgramGenerator.h" #include #include diff --git a/src/DefaultRndNumGenerator.cpp b/src/DefaultRndNumGenerator.cpp index 07747839b..59950d1b7 100644 --- a/src/DefaultRndNumGenerator.cpp +++ b/src/DefaultRndNumGenerator.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2010, 2011 The University of Utah +// Copyright (c) 2007, 2008, 2010, 2011, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. @@ -27,6 +27,10 @@ // ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE // POSSIBILITY OF SUCH DAMAGE. +#if HAVE_CONFIG_H +# include +#endif + #include "DefaultRndNumGenerator.h" #include diff --git a/src/DeltaMonitor.cpp b/src/DeltaMonitor.cpp index 05acf55f3..0065b69b2 100644 --- a/src/DeltaMonitor.cpp +++ b/src/DeltaMonitor.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. @@ -26,6 +26,11 @@ // CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) // ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE // POSSIBILITY OF SUCH DAMAGE. + +#if HAVE_CONFIG_H +# include +#endif + #ifdef WIN32 #pragma warning(disable : 4786) /* Disable annoying warning messages */ #endif diff --git a/src/DepthSpec.cpp b/src/DepthSpec.cpp index 35f0cdce6..7d2361394 100644 --- a/src/DepthSpec.cpp +++ b/src/DepthSpec.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. @@ -27,6 +27,10 @@ // ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE // POSSIBILITY OF SUCH DAMAGE. +#if HAVE_CONFIG_H +# include +#endif + #include "DepthSpec.h" #include diff --git a/src/Effect.cpp b/src/Effect.cpp index eb284e42c..815e49b15 100644 --- a/src/Effect.cpp +++ b/src/Effect.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2010, 2011, 2013 The University of Utah +// Copyright (c) 2007, 2008, 2010, 2011, 2013, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. @@ -27,6 +27,10 @@ // ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE // POSSIBILITY OF SUCH DAMAGE. +#if HAVE_CONFIG_H +# include +#endif + #include #include "Effect.h" diff --git a/src/Error.cpp b/src/Error.cpp index e99a727f5..691d5e970 100644 --- a/src/Error.cpp +++ b/src/Error.cpp @@ -1,7 +1,6 @@ - // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. @@ -28,6 +27,10 @@ // ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE // POSSIBILITY OF SUCH DAMAGE. +#if HAVE_CONFIG_H +# include +#endif + #include "Error.h" int Error::r_error_ = SUCCESS; diff --git a/src/Expression.cpp b/src/Expression.cpp index 10eb70b67..0bf2b66c2 100644 --- a/src/Expression.cpp +++ b/src/Expression.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2010, 2011, 2013 The University of Utah +// Copyright (c) 2007, 2008, 2010, 2011, 2013, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. @@ -36,6 +36,10 @@ // July, 2005 // +#if HAVE_CONFIG_H +# include +#endif + #include "Expression.h" #include diff --git a/src/ExpressionAssign.cpp b/src/ExpressionAssign.cpp index 0f2cfbb9d..e361ddedf 100644 --- a/src/ExpressionAssign.cpp +++ b/src/ExpressionAssign.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2010, 2011, 2013 The University of Utah +// Copyright (c) 2007, 2008, 2010, 2011, 2013, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. @@ -27,6 +27,10 @@ // ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE // POSSIBILITY OF SUCH DAMAGE. +#if HAVE_CONFIG_H +# include +#endif + #include "ExpressionAssign.h" #include #include "Common.h" diff --git a/src/ExpressionComma.cpp b/src/ExpressionComma.cpp index 07610e165..a8f28d9eb 100644 --- a/src/ExpressionComma.cpp +++ b/src/ExpressionComma.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2010, 2011, 2013 The University of Utah +// Copyright (c) 2007, 2008, 2010, 2011, 2013, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. @@ -27,6 +27,10 @@ // ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE // POSSIBILITY OF SUCH DAMAGE. +#if HAVE_CONFIG_H +# include +#endif + #include "ExpressionComma.h" #include #include "Common.h" diff --git a/src/ExpressionFuncall.cpp b/src/ExpressionFuncall.cpp index 06e8b73a4..2021c7142 100644 --- a/src/ExpressionFuncall.cpp +++ b/src/ExpressionFuncall.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2010, 2011, 2013 The University of Utah +// Copyright (c) 2007, 2008, 2010, 2011, 2013, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. @@ -27,6 +27,10 @@ // ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE // POSSIBILITY OF SUCH DAMAGE. +#if HAVE_CONFIG_H +# include +#endif + #include "ExpressionFuncall.h" #include diff --git a/src/ExpressionVariable.cpp b/src/ExpressionVariable.cpp index 251fef1d5..61ea94d30 100644 --- a/src/ExpressionVariable.cpp +++ b/src/ExpressionVariable.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2010, 2011, 2013, 2014 The University of Utah +// Copyright (c) 2007, 2008, 2010, 2011, 2013, 2014, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. @@ -27,6 +27,10 @@ // ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE // POSSIBILITY OF SUCH DAMAGE. +#if HAVE_CONFIG_H +# include +#endif + #include "ExpressionVariable.h" #include diff --git a/src/ExtensionMgr.cpp b/src/ExtensionMgr.cpp index 61a492b88..fa36b7f83 100644 --- a/src/ExtensionMgr.cpp +++ b/src/ExtensionMgr.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2008, 2009, 2010, 2011 The University of Utah +// Copyright (c) 2008, 2009, 2010, 2011, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. @@ -27,6 +27,10 @@ // ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE // POSSIBILITY OF SUCH DAMAGE. +#if HAVE_CONFIG_H +# include +#endif + #include "ExtensionMgr.h" #include #include diff --git a/src/ExtensionValue.cpp b/src/ExtensionValue.cpp index 86df7a779..285317576 100644 --- a/src/ExtensionValue.cpp +++ b/src/ExtensionValue.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2008, 2009, 2010, 2011 The University of Utah +// Copyright (c) 2008, 2009, 2010, 2011, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. @@ -27,6 +27,10 @@ // ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE // POSSIBILITY OF SUCH DAMAGE. +#if HAVE_CONFIG_H +# include +#endif + #include "ExtensionValue.h" #include #include "Type.h" diff --git a/src/Fact.cpp b/src/Fact.cpp index fd30bc1e3..417b17f5a 100644 --- a/src/Fact.cpp +++ b/src/Fact.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. @@ -27,6 +27,10 @@ // ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE // POSSIBILITY OF SUCH DAMAGE. +#if HAVE_CONFIG_H +# include +#endif + #include #include "Fact.h" #include "Variable.h" diff --git a/src/FactMgr.cpp b/src/FactMgr.cpp index 117f29e19..d5a4ed7f6 100644 --- a/src/FactMgr.cpp +++ b/src/FactMgr.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. @@ -26,6 +26,11 @@ // CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) // ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE // POSSIBILITY OF SUCH DAMAGE. + +#if HAVE_CONFIG_H +# include +#endif + #ifdef WIN32 #pragma warning(disable : 4786) /* Disable annoying warning messages */ #endif diff --git a/src/FactPointTo.cpp b/src/FactPointTo.cpp index 9de0de35c..01b183c88 100644 --- a/src/FactPointTo.cpp +++ b/src/FactPointTo.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2013 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2013, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. @@ -27,6 +27,10 @@ // ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE // POSSIBILITY OF SUCH DAMAGE. +#if HAVE_CONFIG_H +# include +#endif + #include "FactPointTo.h" #include #include "CGOptions.h" diff --git a/src/FactUnion.cpp b/src/FactUnion.cpp index 2b92fc52c..6ffc3683a 100644 --- a/src/FactUnion.cpp +++ b/src/FactUnion.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. @@ -27,6 +27,10 @@ // ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE // POSSIBILITY OF SUCH DAMAGE. +#if HAVE_CONFIG_H +# include +#endif + #include "FactUnion.h" #include #include "CGOptions.h" diff --git a/src/Filter.cpp b/src/Filter.cpp index 6b7179586..986fe6e1d 100644 --- a/src/Filter.cpp +++ b/src/Filter.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. @@ -27,6 +27,10 @@ // ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE // POSSIBILITY OF SUCH DAMAGE. +#if HAVE_CONFIG_H +# include +#endif + #include "Filter.h" #include diff --git a/src/Finalization.cpp b/src/Finalization.cpp index 0337449a1..add281e50 100644 --- a/src/Finalization.cpp +++ b/src/Finalization.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. @@ -27,6 +27,10 @@ // ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE // POSSIBILITY OF SUCH DAMAGE. +#if HAVE_CONFIG_H +# include +#endif + #include "Finalization.h" #include "Function.h" diff --git a/src/Function.cpp b/src/Function.cpp index d7bfb479b..23232975c 100644 --- a/src/Function.cpp +++ b/src/Function.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2010, 2011, 2013, 2014 The University of Utah +// Copyright (c) 2007, 2008, 2010, 2011, 2013, 2014, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. @@ -35,6 +35,11 @@ // Bryan Turner (bryan.turner@pobox.com) // July, 2005 // + +#if HAVE_CONFIG_H +# include +#endif + #ifdef WIN32 #pragma warning(disable : 4786) /* Disable annoying warning messages */ #endif diff --git a/src/FunctionInvocation.cpp b/src/FunctionInvocation.cpp index 229185a98..3c469ed9e 100644 --- a/src/FunctionInvocation.cpp +++ b/src/FunctionInvocation.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2013, 2014 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2013, 2014, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. @@ -36,6 +36,10 @@ // July, 2005 // +#if HAVE_CONFIG_H +# include +#endif + #include "FunctionInvocation.h" #include diff --git a/src/FunctionInvocationBinary.cpp b/src/FunctionInvocationBinary.cpp index 632034aab..3b3f100ef 100644 --- a/src/FunctionInvocationBinary.cpp +++ b/src/FunctionInvocationBinary.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2014 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2014, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. @@ -27,6 +27,10 @@ // ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE // POSSIBILITY OF SUCH DAMAGE. +#if HAVE_CONFIG_H +# include +#endif + #include "FunctionInvocationBinary.h" #include diff --git a/src/FunctionInvocationUnary.cpp b/src/FunctionInvocationUnary.cpp index 1e63e3cb4..c5cd67a63 100644 --- a/src/FunctionInvocationUnary.cpp +++ b/src/FunctionInvocationUnary.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2009, 2010, 2011, 2014 The University of Utah +// Copyright (c) 2009, 2010, 2011, 2014, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. @@ -27,6 +27,10 @@ // ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE // POSSIBILITY OF SUCH DAMAGE. +#if HAVE_CONFIG_H +# include +#endif + #include "FunctionInvocationUnary.h" #include diff --git a/src/FunctionInvocationUser.cpp b/src/FunctionInvocationUser.cpp index 5249ba3e8..6c2df615c 100644 --- a/src/FunctionInvocationUser.cpp +++ b/src/FunctionInvocationUser.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2013 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2013, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. @@ -35,6 +35,11 @@ // Bryan Turner (bryan.turner@pobox.com) // July, 2005 // + +#if HAVE_CONFIG_H +# include +#endif + #ifdef WIN32 #pragma warning(disable : 4786) /* Disable annoying warning messages */ #endif diff --git a/src/KleeExtension.cpp b/src/KleeExtension.cpp index 6af799d53..3d5239522 100644 --- a/src/KleeExtension.cpp +++ b/src/KleeExtension.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2008, 2009, 2010, 2011 The University of Utah +// Copyright (c) 2008, 2009, 2010, 2011, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. @@ -27,6 +27,10 @@ // ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE // POSSIBILITY OF SUCH DAMAGE. +#if HAVE_CONFIG_H +# include +#endif + #include "KleeExtension.h" #include #include "Type.h" diff --git a/src/Lhs.cpp b/src/Lhs.cpp index 68db585e1..dde395807 100644 --- a/src/Lhs.cpp +++ b/src/Lhs.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2013, 2014 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2013, 2014, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. @@ -27,6 +27,10 @@ // ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE // POSSIBILITY OF SUCH DAMAGE. +#if HAVE_CONFIG_H +# include +#endif + #include "Lhs.h" #include #include diff --git a/src/LinearSequence.cpp b/src/LinearSequence.cpp index 8d3606190..2c4e538b7 100644 --- a/src/LinearSequence.cpp +++ b/src/LinearSequence.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. @@ -27,6 +27,10 @@ // ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE // POSSIBILITY OF SUCH DAMAGE. +#if HAVE_CONFIG_H +# include +#endif + #include "LinearSequence.h" #include diff --git a/src/Makefile.in b/src/Makefile.in index a4b1e94ad..b7f16b4d7 100644 --- a/src/Makefile.in +++ b/src/Makefile.in @@ -103,6 +103,7 @@ am__configure_deps = $(am__aclocal_m4_deps) $(CONFIGURE_DEPENDENCIES) \ $(ACLOCAL_M4) DIST_COMMON = $(srcdir)/Makefile.am $(am__DIST_COMMON) mkinstalldirs = $(install_sh) -d +CONFIG_HEADER = $(top_builddir)/config.h CONFIG_CLEAN_FILES = CONFIG_CLEAN_VPATH_FILES = am__installdirs = "$(DESTDIR)$(bindir)" @@ -179,7 +180,7 @@ AM_V_at = $(am__v_at_@AM_V@) am__v_at_ = $(am__v_at_@AM_DEFAULT_V@) am__v_at_0 = @ am__v_at_1 = -DEFAULT_INCLUDES = -I.@am__isrc@ +DEFAULT_INCLUDES = -I.@am__isrc@ -I$(top_builddir) depcomp = $(SHELL) $(top_srcdir)/autoconf/depcomp am__depfiles_maybe = depfiles am__mv = mv -f diff --git a/src/MspFilters.cpp b/src/MspFilters.cpp index 372b49e8a..65c007c6d 100644 --- a/src/MspFilters.cpp +++ b/src/MspFilters.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. @@ -27,6 +27,10 @@ // ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE // POSSIBILITY OF SUCH DAMAGE. +#if HAVE_CONFIG_H +# include +#endif + #include #include "MspFilters.h" #include "SafeOpFlags.h" diff --git a/src/OutputMgr.cpp b/src/OutputMgr.cpp index 52dc2143e..d98fee32f 100644 --- a/src/OutputMgr.cpp +++ b/src/OutputMgr.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2013, 2014 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2013, 2014, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. @@ -27,6 +27,10 @@ // ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE // POSSIBILITY OF SUCH DAMAGE. +#if HAVE_CONFIG_H +# include +#endif + #include "OutputMgr.h" #include diff --git a/src/PartialExpander.cpp b/src/PartialExpander.cpp index 0647c47df..0fa8446f5 100644 --- a/src/PartialExpander.cpp +++ b/src/PartialExpander.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2008, 2009, 2010, 2011 The University of Utah +// Copyright (c) 2008, 2009, 2010, 2011, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. @@ -27,6 +27,10 @@ // ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE // POSSIBILITY OF SUCH DAMAGE. +#if HAVE_CONFIG_H +# include +#endif + #include "PartialExpander.h" #include #include diff --git a/src/Probabilities.cpp b/src/Probabilities.cpp index 69b968430..98c066df4 100644 --- a/src/Probabilities.cpp +++ b/src/Probabilities.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2012, 2013, 2014 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2012, 2013, 2014, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. @@ -27,6 +27,10 @@ // ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE // POSSIBILITY OF SUCH DAMAGE. +#if HAVE_CONFIG_H +# include +#endif + #include "Probabilities.h" #include #include diff --git a/src/RandomNumber.cpp b/src/RandomNumber.cpp index e450c964c..bbf0b3df8 100644 --- a/src/RandomNumber.cpp +++ b/src/RandomNumber.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. @@ -27,6 +27,10 @@ // ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE // POSSIBILITY OF SUCH DAMAGE. +#if HAVE_CONFIG_H +# include +#endif + #include "RandomNumber.h" #include diff --git a/src/RandomProgramGenerator.cpp b/src/RandomProgramGenerator.cpp index 8bdfe7c8c..18a48a10f 100644 --- a/src/RandomProgramGenerator.cpp +++ b/src/RandomProgramGenerator.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2012, 2013, 2014 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2012, 2013, 2014, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. @@ -74,6 +74,11 @@ Random C/C++ Program Generator - Work from leaves to root - If node uses pointer or array, it is potential heap store allocated. */ + +#if HAVE_CONFIG_H +# include +#endif + #ifdef WIN32 #pragma warning(disable : 4786) /* Disable annoying warning messages */ #endif diff --git a/src/Reducer.cpp b/src/Reducer.cpp index bd30e544a..3e0012abd 100644 --- a/src/Reducer.cpp +++ b/src/Reducer.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2015 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2015, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. @@ -27,6 +27,10 @@ // ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE // POSSIBILITY OF SUCH DAMAGE. +#if HAVE_CONFIG_H +# include +#endif + #ifdef WIN32 #pragma warning(disable : 4786) /* Disable annoying warning messages */ #endif diff --git a/src/ReducerOutputMgr.cpp b/src/ReducerOutputMgr.cpp index 766898007..0a22594c0 100644 --- a/src/ReducerOutputMgr.cpp +++ b/src/ReducerOutputMgr.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2013 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2013, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. @@ -27,6 +27,10 @@ // ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE // POSSIBILITY OF SUCH DAMAGE. +#if HAVE_CONFIG_H +# include +#endif + #include "ReducerOutputMgr.h" #include diff --git a/src/SafeOpFlags.cpp b/src/SafeOpFlags.cpp index a35033bf0..ff3b5cb08 100644 --- a/src/SafeOpFlags.cpp +++ b/src/SafeOpFlags.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2013, 2014 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2013, 2014, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. @@ -27,6 +27,10 @@ // ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE // POSSIBILITY OF SUCH DAMAGE. +#if HAVE_CONFIG_H +# include +#endif + #include #include #include diff --git a/src/Sequence.cpp b/src/Sequence.cpp index 6c52fc8bc..d91efd4dc 100644 --- a/src/Sequence.cpp +++ b/src/Sequence.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. @@ -27,6 +27,10 @@ // ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE // POSSIBILITY OF SUCH DAMAGE. +#if HAVE_CONFIG_H +# include +#endif + #include "Sequence.h" Sequence::Sequence() diff --git a/src/SequenceFactory.cpp b/src/SequenceFactory.cpp index 8b7528b4a..4ffd3336a 100644 --- a/src/SequenceFactory.cpp +++ b/src/SequenceFactory.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. @@ -27,6 +27,10 @@ // ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE // POSSIBILITY OF SUCH DAMAGE. +#if HAVE_CONFIG_H +# include +#endif + #include "SequenceFactory.h" #include diff --git a/src/SimpleDeltaRndNumGenerator.cpp b/src/SimpleDeltaRndNumGenerator.cpp index 6599dbf90..7aaa536d3 100644 --- a/src/SimpleDeltaRndNumGenerator.cpp +++ b/src/SimpleDeltaRndNumGenerator.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. @@ -26,6 +26,11 @@ // CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) // ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE // POSSIBILITY OF SUCH DAMAGE. + +#if HAVE_CONFIG_H +# include +#endif + #ifdef WIN32 #pragma warning(disable : 4786) /* Disable annoying warning messages */ #endif diff --git a/src/SimpleDeltaSequence.cpp b/src/SimpleDeltaSequence.cpp index e39a4feb1..2700afcc1 100644 --- a/src/SimpleDeltaSequence.cpp +++ b/src/SimpleDeltaSequence.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. @@ -27,6 +27,10 @@ // ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE // POSSIBILITY OF SUCH DAMAGE. +#if HAVE_CONFIG_H +# include +#endif + #include "SimpleDeltaSequence.h" #include diff --git a/src/SplatExtension.cpp b/src/SplatExtension.cpp index edeaac8b0..d31468ded 100644 --- a/src/SplatExtension.cpp +++ b/src/SplatExtension.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2008, 2009, 2010, 2011 The University of Utah +// Copyright (c) 2008, 2009, 2010, 2011, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. @@ -27,6 +27,10 @@ // ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE // POSSIBILITY OF SUCH DAMAGE. +#if HAVE_CONFIG_H +# include +#endif + #include "SplatExtension.h" #include #include "Type.h" diff --git a/src/Statement.cpp b/src/Statement.cpp index 29a6148c3..fdad52351 100644 --- a/src/Statement.cpp +++ b/src/Statement.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2010, 2011, 2013 The University of Utah +// Copyright (c) 2007, 2008, 2010, 2011, 2013, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. @@ -35,6 +35,11 @@ // Bryan Turner (bryan.turner@pobox.com) // July, 2005 // + +#if HAVE_CONFIG_H +# include +#endif + #ifdef WIN32 #pragma warning(disable : 4786) /* Disable annoying warning messages */ #endif diff --git a/src/StatementArrayOp.cpp b/src/StatementArrayOp.cpp index 78df2c23c..f080a9451 100644 --- a/src/StatementArrayOp.cpp +++ b/src/StatementArrayOp.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2013, 2014 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2013, 2014, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. @@ -27,6 +27,10 @@ // ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE // POSSIBILITY OF SUCH DAMAGE. +#if HAVE_CONFIG_H +# include +#endif + #include "StatementArrayOp.h" #include #include "Common.h" diff --git a/src/StatementAssign.cpp b/src/StatementAssign.cpp index f82f1ac59..318e37495 100644 --- a/src/StatementAssign.cpp +++ b/src/StatementAssign.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2010, 2011, 2013, 2014 The University of Utah +// Copyright (c) 2007, 2008, 2010, 2011, 2013, 2014, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. @@ -27,6 +27,10 @@ // ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE // POSSIBILITY OF SUCH DAMAGE. +#if HAVE_CONFIG_H +# include +#endif + #include "StatementAssign.h" #include #include diff --git a/src/StatementBreak.cpp b/src/StatementBreak.cpp index 673a2bac8..55f1681af 100644 --- a/src/StatementBreak.cpp +++ b/src/StatementBreak.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. @@ -27,6 +27,10 @@ // ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE // POSSIBILITY OF SUCH DAMAGE. +#if HAVE_CONFIG_H +# include +#endif + #ifdef WIN32 #pragma warning(disable : 4786) /* Disable annoying warning messages */ #endif diff --git a/src/StatementContinue.cpp b/src/StatementContinue.cpp index 33a79518c..5387fe05d 100644 --- a/src/StatementContinue.cpp +++ b/src/StatementContinue.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. @@ -27,6 +27,10 @@ // ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE // POSSIBILITY OF SUCH DAMAGE. +#if HAVE_CONFIG_H +# include +#endif + #ifdef WIN32 #pragma warning(disable : 4786) /* Disable annoying warning messages */ #endif diff --git a/src/StatementExpr.cpp b/src/StatementExpr.cpp index 755849028..7519536c2 100644 --- a/src/StatementExpr.cpp +++ b/src/StatementExpr.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2010, 2011 The University of Utah +// Copyright (c) 2007, 2008, 2010, 2011, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. @@ -27,6 +27,10 @@ // ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE // POSSIBILITY OF SUCH DAMAGE. +#if HAVE_CONFIG_H +# include +#endif + #include "StatementExpr.h" #include #include "CGContext.h" diff --git a/src/StatementFor.cpp b/src/StatementFor.cpp index 4bf79516d..bd8f94185 100644 --- a/src/StatementFor.cpp +++ b/src/StatementFor.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2010, 2011, 2013, 2014 The University of Utah +// Copyright (c) 2007, 2008, 2010, 2011, 2013, 2014, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. @@ -27,6 +27,10 @@ // ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE // POSSIBILITY OF SUCH DAMAGE. +#if HAVE_CONFIG_H +# include +#endif + #include "StatementFor.h" #include diff --git a/src/StatementGoto.cpp b/src/StatementGoto.cpp index 58db7a39a..89bed21f8 100644 --- a/src/StatementGoto.cpp +++ b/src/StatementGoto.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. @@ -27,6 +27,10 @@ // ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE // POSSIBILITY OF SUCH DAMAGE. +#if HAVE_CONFIG_H +# include +#endif + #ifdef WIN32 #pragma warning(disable : 4786) /* Disable annoying warning messages */ #endif diff --git a/src/StatementIf.cpp b/src/StatementIf.cpp index 2c52ca0ea..f976dd6f2 100644 --- a/src/StatementIf.cpp +++ b/src/StatementIf.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2010, 2011 The University of Utah +// Copyright (c) 2007, 2008, 2010, 2011, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. @@ -27,6 +27,10 @@ // ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE // POSSIBILITY OF SUCH DAMAGE. +#if HAVE_CONFIG_H +# include +#endif + #ifdef WIN32 #pragma warning(disable : 4786) /* Disable annoying warning messages */ #endif diff --git a/src/StatementReturn.cpp b/src/StatementReturn.cpp index 9f02ef797..d8c1e367e 100644 --- a/src/StatementReturn.cpp +++ b/src/StatementReturn.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2010, 2011, 2013 The University of Utah +// Copyright (c) 2007, 2008, 2010, 2011, 2013, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. @@ -27,6 +27,10 @@ // ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE // POSSIBILITY OF SUCH DAMAGE. +#if HAVE_CONFIG_H +# include +#endif + #include #include "CGContext.h" diff --git a/src/StringUtils.cpp b/src/StringUtils.cpp index 203982d8b..c31e61855 100644 --- a/src/StringUtils.cpp +++ b/src/StringUtils.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. @@ -27,6 +27,10 @@ // ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE // POSSIBILITY OF SUCH DAMAGE. +#if HAVE_CONFIG_H +# include +#endif + #include "StringUtils.h" #include "Common.h" #include diff --git a/src/Type.cpp b/src/Type.cpp index 2cfbdbdbc..c7754de08 100644 --- a/src/Type.cpp +++ b/src/Type.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2010, 2011, 2013, 2014 The University of Utah +// Copyright (c) 2007, 2008, 2010, 2011, 2013, 2014, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. @@ -36,6 +36,10 @@ // July, 2005 // +#if HAVE_CONFIG_H +# include +#endif + #include "Type.h" #include #include diff --git a/src/Variable.cpp b/src/Variable.cpp index c80742453..e222be3e1 100644 --- a/src/Variable.cpp +++ b/src/Variable.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2013, 2014 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2013, 2014, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. @@ -36,6 +36,10 @@ // July, 2005 // +#if HAVE_CONFIG_H +# include +#endif + #ifdef WIN32 #pragma warning(disable : 4786) /* Disable annoying warning messages */ #endif diff --git a/src/VariableSelector.cpp b/src/VariableSelector.cpp index 5f98bc2b6..32e62cee8 100644 --- a/src/VariableSelector.cpp +++ b/src/VariableSelector.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2012, 2013, 2014 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2012, 2013, 2014, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. @@ -27,6 +27,10 @@ // ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE // POSSIBILITY OF SUCH DAMAGE. +#if HAVE_CONFIG_H +# include +#endif + #ifdef WIN32 #pragma warning(disable : 4786) /* Disable annoying warning messages */ #endif diff --git a/src/VectorFilter.cpp b/src/VectorFilter.cpp index 83b1e6774..a8bee0870 100644 --- a/src/VectorFilter.cpp +++ b/src/VectorFilter.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. @@ -27,6 +27,10 @@ // ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE // POSSIBILITY OF SUCH DAMAGE. +#if HAVE_CONFIG_H +# include +#endif + #include "VectorFilter.h" #include diff --git a/src/platform.cpp b/src/platform.cpp index cdc8e1f79..6bf230436 100644 --- a/src/platform.cpp +++ b/src/platform.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2009, 2010, 2011 The University of Utah +// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. @@ -39,6 +39,11 @@ // --------------------------------------- // Platform-Specific code to get a unique seed value (usually from the tick counter, etc) // + +#if HAVE_CONFIG_H +# include +#endif + #include #include diff --git a/src/random.cpp b/src/random.cpp index 7741c6a61..59eb8be8a 100644 --- a/src/random.cpp +++ b/src/random.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2010, 2011 The University of Utah +// Copyright (c) 2007, 2008, 2010, 2011, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. @@ -30,6 +30,10 @@ // random.cpp --- utilities for random choice // Now it's just a wrapper to RandomNumber interface. +#if HAVE_CONFIG_H +# include +#endif + #include #include diff --git a/src/util.cpp b/src/util.cpp index de8f73571..f4b128334 100644 --- a/src/util.cpp +++ b/src/util.cpp @@ -1,6 +1,6 @@ // -*- mode: C++ -*- // -// Copyright (c) 2007, 2008, 2010, 2011 The University of Utah +// Copyright (c) 2007, 2008, 2010, 2011, 2017 The University of Utah // All rights reserved. // // This file is part of `csmith', a random generator of C programs. @@ -29,6 +29,10 @@ // util.cpp --- various utility functions +#if HAVE_CONFIG_H +# include +#endif + #include "util.h" #include