Fixed problem with russian characters.

diff --git a/Makefile.am b/Makefile.am
index c77eedafc081e33bb6dd7157fe90852b1982c452..04deb17a76e5761fdac79bcbe9e89910b3470938 100644 (file)
--- a/Makefile.am
+++ b/Makefile.am
@@ -44,7 +44,6 @@ binaryDerivedFiles = Makefile.binary.in configure.binary
 configure.binary:configure.binary.ac
        -autoconf -oconfigure.binary configure.binary.ac
 
 configure.binary:configure.binary.ac
        -autoconf -oconfigure.binary configure.binary.ac
 

-

 Makefile.binary.in:Makefile.binary.am
        -automake Makefile.binary
        $(SED) -e s/Makefile\.binary/Makefile/ Makefile.binary.in > tMakefile.binary.in
 Makefile.binary.in:Makefile.binary.am
        -automake Makefile.binary
        $(SED) -e s/Makefile\.binary/Makefile/ Makefile.binary.in > tMakefile.binary.in


@@ -53,9 +52,6 @@ Makefile.binary.in:Makefile.binary.am
 #drl add this hack 3/1/2003
 #make the generated makefile depend on Makefile not Makefile.binary
 
 #drl add this hack 3/1/2003
 #make the generated makefile depend on Makefile not Makefile.binary
 

-
-
-

 $(binaryDir)/Makefile.in: $(binaryDir)/Makefile.am
        -automake $(binaryDir)/Makefile
 
 $(binaryDir)/Makefile.in: $(binaryDir)/Makefile.am
        -automake $(binaryDir)/Makefile
 

diff --git a/Makefile.in b/Makefile.in
index 9476c7805683dc1d0295c7e483816265b40ac9bd..1e0a2ab20b0925522c3ec4f39106c2121602b289 100644 (file)
--- a/Makefile.in
+++ b/Makefile.in
@@ -121,10 +121,10 @@ RECURSIVE_TARGETS = info-recursive dvi-recursive install-info-recursive \
        uninstall-info-recursive all-recursive install-data-recursive \
        install-exec-recursive installdirs-recursive install-recursive \
        uninstall-recursive check-recursive installcheck-recursive
        uninstall-info-recursive all-recursive install-data-recursive \
        install-exec-recursive installdirs-recursive install-recursive \
        uninstall-recursive check-recursive installcheck-recursive

-DIST_COMMON = README Makefile.am Makefile.in acinclude.m4 aclocal.m4 \
-       config.hin config/config.guess config/config.sub config/depcomp \
-       config/install-sh config/missing config/mkinstalldirs configure \
-       configure.ac
+DIST_COMMON = README Makefile.am Makefile.in TODO acinclude.m4 \
+       aclocal.m4 config.hin config/config.guess config/config.sub \
+       config/depcomp config/install-sh config/missing \
+       config/mkinstalldirs configure configure.ac

 DIST_SUBDIRS = $(SUBDIRS)
 all: config.h
        $(MAKE) $(AM_MAKEFLAGS) all-recursive
 DIST_SUBDIRS = $(SUBDIRS)
 all: config.h
        $(MAKE) $(AM_MAKEFLAGS) all-recursive

diff --git a/config.hin b/config.hin
index 1060d698a126c9ac575f9855c5953f211a925652..852e9c4735b96c4d1b5b0c1997ec4f0801c364d8 100644 (file)
--- a/config.hin
+++ b/config.hin
@@ -1,6 +1,6 @@
 /* config.hin.  Generated from configure.ac by autoheader.  */
 
 /* config.hin.  Generated from configure.ac by autoheader.  */
 

-/*constmacros@*/
+/*@-constmacros@*/

 
 /* build */
 #undef BUILD
 
 /* build */
 #undef BUILD

diff --git a/configure b/configure
index 2cff80323dac881da2f21f9d4edab9e64e4d1706..abc138d77a5570aa1eb67770754771a07ee58c62 100755 (executable)
--- a/configure
+++ b/configure
@@ -1,6 +1,6 @@
 #! /bin/sh
 # Guess values for system-dependent variables and create Makefiles.
 #! /bin/sh
 # Guess values for system-dependent variables and create Makefiles.

-# Generated by GNU Autoconf 2.57 for Splint 3.1.1.
+# Generated by GNU Autoconf 2.53 for Splint 3.1.1.1.

 #
 # Report bugs to <splint-bug@splint.org>.
 #
 #
 # Report bugs to <splint-bug@splint.org>.
 #


@@ -8,6 +8,14 @@
 # Free Software Foundation, Inc.
 # This configure script is free software; the Free Software Foundation
 # gives unlimited permission to copy, distribute and modify it.
 # Free Software Foundation, Inc.
 # This configure script is free software; the Free Software Foundation
 # gives unlimited permission to copy, distribute and modify it.

+
+if expr a : '\(a\)' >/dev/null 2>&1; then
+  as_expr=expr
+else
+  as_expr=false
+fi
+
+

 ## --------------------- ##
 ## M4sh Initialization.  ##
 ## --------------------- ##
 ## --------------------- ##
 ## M4sh Initialization.  ##
 ## --------------------- ##


@@ -16,13 +24,11 @@
 if test -n "${ZSH_VERSION+set}" && (emulate sh) >/dev/null 2>&1; then
   emulate sh
   NULLCMD=:
 if test -n "${ZSH_VERSION+set}" && (emulate sh) >/dev/null 2>&1; then
   emulate sh
   NULLCMD=:

-  # Zsh 3.x and 4.x performs word splitting on ${1+"$@"}, which
-  # is contrary to our usage.  Disable this feature.
-  alias -g '${1+"$@"}'='"$@"'

 elif test -n "${BASH_VERSION+set}" && (set -o posix) >/dev/null 2>&1; then
   set -o posix
 fi
 
 elif test -n "${BASH_VERSION+set}" && (set -o posix) >/dev/null 2>&1; then
   set -o posix
 fi
 

+# NLS nuisances.

 # Support unset when possible.
 if (FOO=FOO; unset FOO) >/dev/null 2>&1; then
   as_unset=unset
 # Support unset when possible.
 if (FOO=FOO; unset FOO) >/dev/null 2>&1; then
   as_unset=unset


@@ -30,42 +36,34 @@ else
   as_unset=false
 fi
 
   as_unset=false
 fi
 

-
-# Work around bugs in pre-3.0 UWIN ksh.
-$as_unset ENV MAIL MAILPATH
-PS1='$ '
-PS2='> '
-PS4='+ '
-
-# NLS nuisances.
-for as_var in \
-  LANG LANGUAGE LC_ADDRESS LC_ALL LC_COLLATE LC_CTYPE LC_IDENTIFICATION \
-  LC_MEASUREMENT LC_MESSAGES LC_MONETARY LC_NAME LC_NUMERIC LC_PAPER \
-  LC_TELEPHONE LC_TIME
-do
-  if (set +x; test -n "`(eval $as_var=C; export $as_var) 2>&1`"); then
-    eval $as_var=C; export $as_var
-  else
-    $as_unset $as_var
-  fi
-done
-
-# Required to use basename.
-if expr a : '\(a\)' >/dev/null 2>&1; then
-  as_expr=expr
-else
-  as_expr=false
-fi
-
-if (basename /) >/dev/null 2>&1 && test "X`basename / 2>&1`" = "X/"; then
-  as_basename=basename
-else
-  as_basename=false
-fi
+(set +x; test -n "`(LANG=C; export LANG) 2>&1`") &&
+    { $as_unset LANG || test "${LANG+set}" != set; } ||
+      { LANG=C; export LANG; }
+(set +x; test -n "`(LC_ALL=C; export LC_ALL) 2>&1`") &&
+    { $as_unset LC_ALL || test "${LC_ALL+set}" != set; } ||
+      { LC_ALL=C; export LC_ALL; }
+(set +x; test -n "`(LC_TIME=C; export LC_TIME) 2>&1`") &&
+    { $as_unset LC_TIME || test "${LC_TIME+set}" != set; } ||
+      { LC_TIME=C; export LC_TIME; }
+(set +x; test -n "`(LC_CTYPE=C; export LC_CTYPE) 2>&1`") &&
+    { $as_unset LC_CTYPE || test "${LC_CTYPE+set}" != set; } ||
+      { LC_CTYPE=C; export LC_CTYPE; }
+(set +x; test -n "`(LANGUAGE=C; export LANGUAGE) 2>&1`") &&
+    { $as_unset LANGUAGE || test "${LANGUAGE+set}" != set; } ||
+      { LANGUAGE=C; export LANGUAGE; }
+(set +x; test -n "`(LC_COLLATE=C; export LC_COLLATE) 2>&1`") &&
+    { $as_unset LC_COLLATE || test "${LC_COLLATE+set}" != set; } ||
+      { LC_COLLATE=C; export LC_COLLATE; }
+(set +x; test -n "`(LC_NUMERIC=C; export LC_NUMERIC) 2>&1`") &&
+    { $as_unset LC_NUMERIC || test "${LC_NUMERIC+set}" != set; } ||
+      { LC_NUMERIC=C; export LC_NUMERIC; }
+(set +x; test -n "`(LC_MESSAGES=C; export LC_MESSAGES) 2>&1`") &&
+    { $as_unset LC_MESSAGES || test "${LC_MESSAGES+set}" != set; } ||
+      { LC_MESSAGES=C; export LC_MESSAGES; }

 
 
 # Name of the executable.
 
 
 # Name of the executable.

-as_me=`$as_basename "$0" ||
+as_me=`(basename "$0") 2>/dev/null ||

 $as_expr X/"$0" : '.*/\([^/][^/]*\)/*$' \| \
         X"$0" : 'X\(//\)$' \| \
         X"$0" : 'X\(/\)$' \| \
 $as_expr X/"$0" : '.*/\([^/][^/]*\)/*$' \| \
         X"$0" : 'X\(//\)$' \| \
         X"$0" : 'X\(/\)$' \| \


@@ -76,7 +74,6 @@ echo X/"$0" |
          /^X\/\(\/\).*/{ s//\1/; q; }
          s/.*/./; q'`
 
          /^X\/\(\/\).*/{ s//\1/; q; }
          s/.*/./; q'`
 

-

 # PATH needs CR, and LINENO needs CR and PATH.
 # Avoid depending upon Character Ranges.
 as_cr_letters='abcdefghijklmnopqrstuvwxyz'
 # PATH needs CR, and LINENO needs CR and PATH.
 # Avoid depending upon Character Ranges.
 as_cr_letters='abcdefghijklmnopqrstuvwxyz'


@@ -87,15 +84,15 @@ as_cr_alnum=$as_cr_Letters$as_cr_digits
 
 # The user is always right.
 if test "${PATH_SEPARATOR+set}" != set; then
 
 # The user is always right.
 if test "${PATH_SEPARATOR+set}" != set; then

-  echo "#! /bin/sh" >conf$$.sh
-  echo  "exit 0"   >>conf$$.sh
-  chmod +x conf$$.sh
-  if (PATH="/nonexistent;."; conf$$.sh) >/dev/null 2>&1; then
+  echo "#! /bin/sh" >conftest.sh
+  echo  "exit 0"   >>conftest.sh
+  chmod +x conftest.sh
+  if (PATH=".;."; conftest.sh) >/dev/null 2>&1; then

     PATH_SEPARATOR=';'
   else
     PATH_SEPARATOR=:
   fi
     PATH_SEPARATOR=';'
   else
     PATH_SEPARATOR=:
   fi

-  rm -f conf$$.sh
+  rm -f conftest.sh

 fi
 
 
 fi
 
 


@@ -143,8 +140,6 @@ do
   as_lineno_3=`(expr $as_lineno_1 + 1) 2>/dev/null`
   test "x$as_lineno_1" != "x$as_lineno_2" &&
   test "x$as_lineno_3"  = "x$as_lineno_2" ') 2>/dev/null; then
   as_lineno_3=`(expr $as_lineno_1 + 1) 2>/dev/null`
   test "x$as_lineno_1" != "x$as_lineno_2" &&
   test "x$as_lineno_3"  = "x$as_lineno_2" ') 2>/dev/null; then

-            $as_unset BASH_ENV || test "${BASH_ENV+set}" != set || { BASH_ENV=; export BASH_ENV; }
-            $as_unset ENV || test "${ENV+set}" != set || { ENV=; export ENV; }

             CONFIG_SHELL=$as_dir/$as_base
             export CONFIG_SHELL
             exec "$CONFIG_SHELL" "$0" ${1+"$@"}
             CONFIG_SHELL=$as_dir/$as_base
             export CONFIG_SHELL
             exec "$CONFIG_SHELL" "$0" ${1+"$@"}


@@ -217,12 +212,6 @@ else
 fi
 rm -f conf$$ conf$$.exe conf$$.file
 
 fi
 rm -f conf$$ conf$$.exe conf$$.file
 

-if mkdir -p . 2>/dev/null; then
-  as_mkdir_p=:
-else
-  as_mkdir_p=false
-fi
-

 as_executable_p="test -f"
 
 # Sed expression to map a string onto a valid CPP name.
 as_executable_p="test -f"
 
 # Sed expression to map a string onto a valid CPP name.


@@ -239,7 +228,7 @@ as_nl='
 IFS="  $as_nl"
 
 # CDPATH.
 IFS="  $as_nl"
 
 # CDPATH.

-$as_unset CDPATH
+$as_unset CDPATH || test "${CDPATH+set}" != set || { CDPATH=$PATH_SEPARATOR; export CDPATH; }

 
 
 # Name of the host.
 
 
 # Name of the host.


@@ -253,7 +242,6 @@ exec 6>&1
 # Initializations.
 #
 ac_default_prefix=/usr/local
 # Initializations.
 #
 ac_default_prefix=/usr/local

-ac_config_libobj_dir=.

 cross_compiling=no
 subdirs=
 MFLAGS=
 cross_compiling=no
 subdirs=
 MFLAGS=


@@ -268,13 +256,11 @@ SHELL=${CONFIG_SHELL-/bin/sh}
 # Identity of this package.
 PACKAGE_NAME='Splint'
 PACKAGE_TARNAME='splint'
 # Identity of this package.
 PACKAGE_NAME='Splint'
 PACKAGE_TARNAME='splint'

-PACKAGE_VERSION='3.1.1'
-PACKAGE_STRING='Splint 3.1.1'
+PACKAGE_VERSION='3.1.1.1'
+PACKAGE_STRING='Splint 3.1.1.1'

 PACKAGE_BUGREPORT='splint-bug@splint.org'
 
 ac_unique_file="src/lclinit.c"
 PACKAGE_BUGREPORT='splint-bug@splint.org'
 
 ac_unique_file="src/lclinit.c"

-ac_subst_vars='SHELL PATH_SEPARATOR PACKAGE_NAME PACKAGE_TARNAME PACKAGE_VERSION PACKAGE_STRING PACKAGE_BUGREPORT exec_prefix prefix program_transform_name bindir sbindir libexecdir datadir sysconfdir sharedstatedir localstatedir libdir includedir oldincludedir infodir mandir build_alias host_alias target_alias DEFS ECHO_C ECHO_N ECHO_T LIBS build build_cpu build_vendor build_os host host_cpu host_vendor host_os target target_cpu target_vendor target_os INSTALL_PROGRAM INSTALL_SCRIPT INSTALL_DATA PACKAGE VERSION ACLOCAL AUTOCONF AUTOMAKE AUTOHEADER MAKEINFO AMTAR install_sh STRIP ac_ct_STRIP INSTALL_STRIP_PROGRAM AWK SET_MAKE CC CFLAGS LDFLAGS CPPFLAGS ac_ct_CC EXEEXT OBJEXT DEPDIR am__include am__quote AMDEP_TRUE AMDEP_FALSE AMDEPBACKSLASH CCDEPMODE CPP LEX LEXLIB LEX_OUTPUT_ROOT LN_S BISON GREP DIFF CAT RM MV CP SED LCLOBJ LIBOBJS LTLIBOBJS'
-ac_subst_files=''

 
 # Initialize some variables set by options.
 ac_init_help=
 
 # Initialize some variables set by options.
 ac_init_help=


@@ -698,9 +684,6 @@ if test ! -r $srcdir/$ac_unique_file; then
    { (exit 1); exit 1; }; }
   fi
 fi
    { (exit 1); exit 1; }; }
   fi
 fi

-(cd $srcdir && test -r ./$ac_unique_file) 2>/dev/null ||
-  { echo "$as_me: error: sources are in $srcdir, but \`cd $srcdir' does not work" >&2
-   { (exit 1); exit 1; }; }

 srcdir=`echo "$srcdir" | sed 's%\([^\\/]\)[\\/]*$%\1%'`
 ac_env_build_alias_set=${build_alias+set}
 ac_env_build_alias_value=$build_alias
 srcdir=`echo "$srcdir" | sed 's%\([^\\/]\)[\\/]*$%\1%'`
 ac_env_build_alias_set=${build_alias+set}
 ac_env_build_alias_value=$build_alias


@@ -742,7 +725,7 @@ if test "$ac_init_help" = "long"; then
   # Omit some internal or obsolete options to make the list less imposing.
   # This message is too long to be a string in the A/UX 3.1 sh.
   cat <<_ACEOF
   # Omit some internal or obsolete options to make the list less imposing.
   # This message is too long to be a string in the A/UX 3.1 sh.
   cat <<_ACEOF

-\`configure' configures Splint 3.1.1 to adapt to many kinds of systems.
+\`configure' configures Splint 3.1.1.1 to adapt to many kinds of systems.

 
 Usage: $0 [OPTION]... [VAR=VALUE]...
 
 
 Usage: $0 [OPTION]... [VAR=VALUE]...
 


@@ -809,7 +792,7 @@ fi
 
 if test -n "$ac_init_help"; then
   case $ac_init_help in
 
 if test -n "$ac_init_help"; then
   case $ac_init_help in

-     short | recursive ) echo "Configuration of Splint 3.1.1:";;
+     short | recursive ) echo "Configuration of Splint 3.1.1.1:";;

    esac
   cat <<\_ACEOF
 
    esac
   cat <<\_ACEOF
 


@@ -873,7 +856,7 @@ esac
 # Don't blindly perform a `cd "$ac_dir"/$ac_foo && pwd` since $ac_foo can be
 # absolute.
 ac_abs_builddir=`cd "$ac_dir" && cd $ac_builddir && pwd`
 # Don't blindly perform a `cd "$ac_dir"/$ac_foo && pwd` since $ac_foo can be
 # absolute.
 ac_abs_builddir=`cd "$ac_dir" && cd $ac_builddir && pwd`

-ac_abs_top_builddir=`cd "$ac_dir" && cd ${ac_top_builddir}. && pwd`
+ac_abs_top_builddir=`cd "$ac_dir" && cd $ac_top_builddir && pwd`

 ac_abs_srcdir=`cd "$ac_dir" && cd $ac_srcdir && pwd`
 ac_abs_top_srcdir=`cd "$ac_dir" && cd $ac_top_srcdir && pwd`
 
 ac_abs_srcdir=`cd "$ac_dir" && cd $ac_srcdir && pwd`
 ac_abs_top_srcdir=`cd "$ac_dir" && cd $ac_top_srcdir && pwd`
 


@@ -899,8 +882,8 @@ fi
 test -n "$ac_init_help" && exit 0
 if $ac_init_version; then
   cat <<\_ACEOF
 test -n "$ac_init_help" && exit 0
 if $ac_init_version; then
   cat <<\_ACEOF

-Splint configure 3.1.1
-generated by GNU Autoconf 2.57
+Splint configure 3.1.1.1
+generated by GNU Autoconf 2.53

 
 Copyright 1992, 1993, 1994, 1995, 1996, 1998, 1999, 2000, 2001, 2002
 Free Software Foundation, Inc.
 
 Copyright 1992, 1993, 1994, 1995, 1996, 1998, 1999, 2000, 2001, 2002
 Free Software Foundation, Inc.


@@ -914,8 +897,8 @@ cat >&5 <<_ACEOF
 This file contains any messages produced by compilers while
 running configure, to aid debugging if configure makes a mistake.
 
 This file contains any messages produced by compilers while
 running configure, to aid debugging if configure makes a mistake.
 

-It was created by Splint $as_me 3.1.1, which was
-generated by GNU Autoconf 2.57.  Invocation command line was
+It was created by Splint $as_me 3.1.1.1, which was
+generated by GNU Autoconf 2.53.  Invocation command line was

 
   $ $0 $@
 
 
   $ $0 $@
 


@@ -967,54 +950,27 @@ _ACEOF
 
 # Keep a trace of the command line.
 # Strip out --no-create and --no-recursion so they do not pile up.
 
 # Keep a trace of the command line.
 # Strip out --no-create and --no-recursion so they do not pile up.

-# Strip out --silent because we don't want to record it for future runs.

 # Also quote any args containing shell meta-characters.
 # Also quote any args containing shell meta-characters.

-# Make two passes to allow for proper duplicate-argument suppression.

 ac_configure_args=
 ac_configure_args=

-ac_configure_args0=
-ac_configure_args1=

 ac_sep=
 ac_sep=

-ac_must_keep_next=false
-for ac_pass in 1 2
+for ac_arg

 do
 do

-  for ac_arg
-  do
-    case $ac_arg in
-    -no-create | --no-c* | -n | -no-recursion | --no-r*) continue ;;
-    -q | -quiet | --quiet | --quie | --qui | --qu | --q \
-    | -silent | --silent | --silen | --sile | --sil)
-      continue ;;
-    *" "*|*"   "*|*[\[\]\~\#\$\^\&\*\(\)\{\}\\\|\;\<\>\?\"\']*)
-      ac_arg=`echo "$ac_arg" | sed "s/'/'\\\\\\\\''/g"` ;;
-    esac
-    case $ac_pass in
-    1) ac_configure_args0="$ac_configure_args0 '$ac_arg'" ;;
-    2)
-      ac_configure_args1="$ac_configure_args1 '$ac_arg'"
-      if test $ac_must_keep_next = true; then
-        ac_must_keep_next=false # Got value, back to normal.
-      else
-        case $ac_arg in
-          *=* | --config-cache | -C | -disable-* | --disable-* \
-          | -enable-* | --enable-* | -gas | --g* | -nfp | --nf* \
-          | -q | -quiet | --q* | -silent | --sil* | -v | -verb* \
-          | -with-* | --with-* | -without-* | --without-* | --x)
-            case "$ac_configure_args0 " in
-              "$ac_configure_args1"*" '$ac_arg' "* ) continue ;;
-            esac
-            ;;
-          -* ) ac_must_keep_next=true ;;
-        esac
-      fi
-      ac_configure_args="$ac_configure_args$ac_sep'$ac_arg'"
-      # Get rid of the leading space.
-      ac_sep=" "
-      ;;
-    esac
-  done
+  case $ac_arg in
+  -no-create | --no-create | --no-creat | --no-crea | --no-cre \
+  | --no-cr | --no-c | -n ) continue ;;
+  -no-recursion | --no-recursion | --no-recursio | --no-recursi \
+  | --no-recurs | --no-recur | --no-recu | --no-rec | --no-re | --no-r)
+    continue ;;
+  *" "*|*"     "*|*[\[\]\~\#\$\^\&\*\(\)\{\}\\\|\;\<\>\?\"\']*)
+    ac_arg=`echo "$ac_arg" | sed "s/'/'\\\\\\\\''/g"` ;;
+  esac
+  case " $ac_configure_args " in
+    *" '$ac_arg' "*) ;; # Avoid dups.  Use of quotes ensures accuracy.
+    *) ac_configure_args="$ac_configure_args$ac_sep'$ac_arg'"
+       ac_sep=" " ;;
+  esac
+  # Get rid of the leading space.

 done
 done

-$as_unset ac_configure_args0 || test "${ac_configure_args0+set}" != set || { ac_configure_args0=; export ac_configure_args0; }
-$as_unset ac_configure_args1 || test "${ac_configure_args1+set}" != set || { ac_configure_args1=; export ac_configure_args1; }

 
 # When interrupted or exit'd, cleanup temporary files, and complete
 # config.log.  We remove comments because anyway the quotes in there
 
 # When interrupted or exit'd, cleanup temporary files, and complete
 # config.log.  We remove comments because anyway the quotes in there


@@ -1025,7 +981,6 @@ trap 'exit_status=$?
   # Save into config.log some information that might help in debugging.
   {
     echo
   # Save into config.log some information that might help in debugging.
   {
     echo

-

     cat <<\_ASBOX
 ## ---------------- ##
 ## Cache variables. ##
     cat <<\_ASBOX
 ## ---------------- ##
 ## Cache variables. ##


@@ -1048,35 +1003,6 @@ _ASBOX
     esac;
 }
     echo
     esac;
 }
     echo

-
-    cat <<\_ASBOX
-## ----------------- ##
-## Output variables. ##
-## ----------------- ##
-_ASBOX
-    echo
-    for ac_var in $ac_subst_vars
-    do
-      eval ac_val=$`echo $ac_var`
-      echo "$ac_var='"'"'$ac_val'"'"'"
-    done | sort
-    echo
-
-    if test -n "$ac_subst_files"; then
-      cat <<\_ASBOX
-## ------------- ##
-## Output files. ##
-## ------------- ##
-_ASBOX
-      echo
-      for ac_var in $ac_subst_files
-      do
-       eval ac_val=$`echo $ac_var`
-        echo "$ac_var='"'"'$ac_val'"'"'"
-      done | sort
-      echo
-    fi
-

     if test -s confdefs.h; then
       cat <<\_ASBOX
 ## ----------- ##
     if test -s confdefs.h; then
       cat <<\_ASBOX
 ## ----------- ##


@@ -1084,7 +1010,7 @@ _ASBOX
 ## ----------- ##
 _ASBOX
       echo
 ## ----------- ##
 _ASBOX
       echo

-      sed "/^$/d" confdefs.h | sort
+      sed "/^$/d" confdefs.h

       echo
     fi
     test "$ac_signal" != 0 &&
       echo
     fi
     test "$ac_signal" != 0 &&


@@ -1248,7 +1174,6 @@ ac_compiler_gnu=$ac_cv_c_compiler_gnu
 
 
 
 
 
 

-

 
 
 ac_aux_dir=
 
 
 ac_aux_dir=


@@ -1552,15 +1477,15 @@ fi
   test -n "$AWK" && break
 done
 
   test -n "$AWK" && break
 done
 

-echo "$as_me:$LINENO: checking whether ${MAKE-make} sets \$(MAKE)" >&5
-echo $ECHO_N "checking whether ${MAKE-make} sets \$(MAKE)... $ECHO_C" >&6
+echo "$as_me:$LINENO: checking whether ${MAKE-make} sets \${MAKE}" >&5
+echo $ECHO_N "checking whether ${MAKE-make} sets \${MAKE}... $ECHO_C" >&6

 set dummy ${MAKE-make}; ac_make=`echo "$2" | sed 'y,./+-,__p_,'`
 if eval "test \"\${ac_cv_prog_make_${ac_make}_set+set}\" = set"; then
   echo $ECHO_N "(cached) $ECHO_C" >&6
 else
   cat >conftest.make <<\_ACEOF
 all:
 set dummy ${MAKE-make}; ac_make=`echo "$2" | sed 'y,./+-,__p_,'`
 if eval "test \"\${ac_cv_prog_make_${ac_make}_set+set}\" = set"; then
   echo $ECHO_N "(cached) $ECHO_C" >&6
 else
   cat >conftest.make <<\_ACEOF
 all:

-       @echo 'ac_maketemp="$(MAKE)"'
+       @echo 'ac_maketemp="${MAKE}"'

 _ACEOF
 # GNU make sometimes prints "make[1]: Entering...", which would confuse us.
 eval `${MAKE-make} -f conftest.make 2>/dev/null | grep temp=`
 _ACEOF
 # GNU make sometimes prints "make[1]: Entering...", which would confuse us.
 eval `${MAKE-make} -f conftest.make 2>/dev/null | grep temp=`


@@ -1591,7 +1516,7 @@ fi
 
 # Define the identity of the package.
  PACKAGE=splint
 
 # Define the identity of the package.
  PACKAGE=splint

- VERSION=3.1.1
+ VERSION=3.1.1.1

 
 
 # Some tools Automake needs.
 
 
 # Some tools Automake needs.


@@ -1710,7 +1635,7 @@ INSTALL_STRIP_PROGRAM="\${SHELL} \$(install_sh) -c -s"
 
 # Add the stamp file to the list of files AC keeps track of,
 # along with our hook.
 
 # Add the stamp file to the list of files AC keeps track of,
 # along with our hook.

-          ac_config_headers="$ac_config_headers config.h:config.hin"
+ac_config_headers="$ac_config_headers config.h:config.hin"

 
 
 
 
 
 


@@ -1926,7 +1851,9 @@ if test $ac_prog_rejected = yes; then
     # However, it has the same basename, so the bogon will be chosen
     # first if we set CC to just the basename; use the full file name.
     shift
     # However, it has the same basename, so the bogon will be chosen
     # first if we set CC to just the basename; use the full file name.
     shift

-    ac_cv_prog_CC="$as_dir/$ac_word${1+' '}$@"
+    set dummy "$as_dir/$ac_word" ${1+"$@"}
+    shift
+    ac_cv_prog_CC="$@"

   fi
 fi
 fi
   fi
 fi
 fi


@@ -2031,10 +1958,8 @@ fi
 fi
 
 
 fi
 
 

-test -z "$CC" && { { echo "$as_me:$LINENO: error: no acceptable C compiler found in \$PATH
-See \`config.log' for more details." >&5
-echo "$as_me: error: no acceptable C compiler found in \$PATH
-See \`config.log' for more details." >&2;}
+test -z "$CC" && { { echo "$as_me:$LINENO: error: no acceptable C compiler found in \$PATH" >&5
+echo "$as_me: error: no acceptable C compiler found in \$PATH" >&2;}

    { (exit 1); exit 1; }; }
 
 # Provide some information about the compiler.
    { (exit 1); exit 1; }; }
 
 # Provide some information about the compiler.


@@ -2059,12 +1984,14 @@ ac_compiler=`set X $ac_compile; echo $2`
 
 cat >conftest.$ac_ext <<_ACEOF
 #line $LINENO "configure"
 
 cat >conftest.$ac_ext <<_ACEOF
 #line $LINENO "configure"

-/* confdefs.h.  */
-_ACEOF
-cat confdefs.h >>conftest.$ac_ext
-cat >>conftest.$ac_ext <<_ACEOF
-/* end confdefs.h.  */
+#include "confdefs.h"

 
 

+#ifdef F77_DUMMY_MAIN
+#  ifdef __cplusplus
+     extern "C"
+#  endif
+   int F77_DUMMY_MAIN() { return 1; }
+#endif

 int
 main ()
 {
 int
 main ()
 {


@@ -2074,7 +2001,7 @@ main ()
 }
 _ACEOF
 ac_clean_files_save=$ac_clean_files
 }
 _ACEOF
 ac_clean_files_save=$ac_clean_files

-ac_clean_files="$ac_clean_files a.out a.exe b.out"
+ac_clean_files="$ac_clean_files a.out a.exe"

 # Try to create an executable without -o first, disregard a.out.
 # It will help us diagnose broken compilers, and finding out an intuition
 # of exeext.
 # Try to create an executable without -o first, disregard a.out.
 # It will help us diagnose broken compilers, and finding out an intuition
 # of exeext.


@@ -2093,39 +2020,26 @@ if { (eval echo "$as_me:$LINENO: \"$ac_link_default\"") >&5
 # Be careful to initialize this variable, since it used to be cached.
 # Otherwise an old cache value of `no' led to `EXEEXT = no' in a Makefile.
 ac_cv_exeext=
 # Be careful to initialize this variable, since it used to be cached.
 # Otherwise an old cache value of `no' led to `EXEEXT = no' in a Makefile.
 ac_cv_exeext=

-# b.out is created by i960 compilers.
-for ac_file in a_out.exe a.exe conftest.exe a.out conftest a.* conftest.* b.out
-do
-  test -f "$ac_file" || continue
+for ac_file in `ls a_out.exe a.exe conftest.exe 2>/dev/null;
+                ls a.out conftest 2>/dev/null;
+                ls a.* conftest.* 2>/dev/null`; do

   case $ac_file in
   case $ac_file in

-    *.$ac_ext | *.xcoff | *.tds | *.d | *.pdb | *.xSYM | *.bb | *.bbg | *.o | *.obj )
-        ;;
-    conftest.$ac_ext )
-        # This is the source file.
-        ;;
-    [ab].out )
-        # We found the default executable, but exeext='' is most
-        # certainly right.
-        break;;
-    *.* )
-        ac_cv_exeext=`expr "$ac_file" : '[^.]*\(\..*\)'`
-        # FIXME: I believe we export ac_cv_exeext for Libtool,
-        # but it would be cool to find out if it's true.  Does anybody
-        # maintain Libtool? --akim.
-        export ac_cv_exeext
-        break;;
-    * )
-        break;;
+    *.$ac_ext | *.o | *.obj | *.xcoff | *.tds | *.d | *.pdb | *.xSYM ) ;;
+    a.out ) # We found the default executable, but exeext='' is most
+            # certainly right.
+            break;;
+    *.* ) ac_cv_exeext=`expr "$ac_file" : '[^.]*\(\..*\)'`
+          # FIXME: I believe we export ac_cv_exeext for Libtool --akim.
+          export ac_cv_exeext
+          break;;
+    * ) break;;

   esac
 done
 else
   echo "$as_me: failed program was:" >&5
   esac
 done
 else
   echo "$as_me: failed program was:" >&5

-sed 's/^/| /' conftest.$ac_ext >&5
-
-{ { echo "$as_me:$LINENO: error: C compiler cannot create executables
-See \`config.log' for more details." >&5
-echo "$as_me: error: C compiler cannot create executables
-See \`config.log' for more details." >&2;}
+cat conftest.$ac_ext >&5
+{ { echo "$as_me:$LINENO: error: C compiler cannot create executables" >&5
+echo "$as_me: error: C compiler cannot create executables" >&2;}

    { (exit 77); exit 77; }; }
 fi
 
    { (exit 77); exit 77; }; }
 fi
 


@@ -2152,11 +2066,9 @@ if test "$cross_compiling" != yes; then
        cross_compiling=yes
     else
        { { echo "$as_me:$LINENO: error: cannot run C compiled programs.
        cross_compiling=yes
     else
        { { echo "$as_me:$LINENO: error: cannot run C compiled programs.

-If you meant to cross compile, use \`--host'.
-See \`config.log' for more details." >&5
+If you meant to cross compile, use \`--host'." >&5

 echo "$as_me: error: cannot run C compiled programs.
 echo "$as_me: error: cannot run C compiled programs.

-If you meant to cross compile, use \`--host'.
-See \`config.log' for more details." >&2;}
+If you meant to cross compile, use \`--host'." >&2;}

    { (exit 1); exit 1; }; }
     fi
   fi
    { (exit 1); exit 1; }; }
     fi
   fi


@@ -2164,7 +2076,7 @@ fi
 echo "$as_me:$LINENO: result: yes" >&5
 echo "${ECHO_T}yes" >&6
 
 echo "$as_me:$LINENO: result: yes" >&5
 echo "${ECHO_T}yes" >&6
 

-rm -f a.out a.exe conftest$ac_cv_exeext b.out
+rm -f a.out a.exe conftest$ac_cv_exeext

 ac_clean_files=$ac_clean_files_save
 # Check the compiler produces executables we can run.  If not, either
 # the compiler is broken, or we cross compile.
 ac_clean_files=$ac_clean_files_save
 # Check the compiler produces executables we can run.  If not, either
 # the compiler is broken, or we cross compile.


@@ -2184,10 +2096,9 @@ if { (eval echo "$as_me:$LINENO: \"$ac_link\"") >&5
 # catch `conftest.exe'.  For instance with Cygwin, `ls conftest' will
 # work properly (i.e., refer to `conftest.exe'), while it won't with
 # `rm'.
 # catch `conftest.exe'.  For instance with Cygwin, `ls conftest' will
 # work properly (i.e., refer to `conftest.exe'), while it won't with
 # `rm'.

-for ac_file in conftest.exe conftest conftest.*; do
-  test -f "$ac_file" || continue
+for ac_file in `(ls conftest.exe; ls conftest; ls conftest.*) 2>/dev/null`; do

   case $ac_file in
   case $ac_file in

-    *.$ac_ext | *.xcoff | *.tds | *.d | *.pdb | *.xSYM | *.bb | *.bbg | *.o | *.obj ) ;;
+    *.$ac_ext | *.o | *.obj | *.xcoff | *.tds | *.d | *.pdb ) ;;

     *.* ) ac_cv_exeext=`expr "$ac_file" : '[^.]*\(\..*\)'`
           export ac_cv_exeext
           break;;
     *.* ) ac_cv_exeext=`expr "$ac_file" : '[^.]*\(\..*\)'`
           export ac_cv_exeext
           break;;


@@ -2195,10 +2106,8 @@ for ac_file in conftest.exe conftest conftest.*; do
   esac
 done
 else
   esac
 done
 else

-  { { echo "$as_me:$LINENO: error: cannot compute suffix of executables: cannot compile and link
-See \`config.log' for more details." >&5
-echo "$as_me: error: cannot compute suffix of executables: cannot compile and link
-See \`config.log' for more details." >&2;}
+  { { echo "$as_me:$LINENO: error: cannot compute suffix of executables: cannot compile and link" >&5
+echo "$as_me: error: cannot compute suffix of executables: cannot compile and link" >&2;}

    { (exit 1); exit 1; }; }
 fi
 
    { (exit 1); exit 1; }; }
 fi
 


@@ -2216,12 +2125,14 @@ if test "${ac_cv_objext+set}" = set; then
 else
   cat >conftest.$ac_ext <<_ACEOF
 #line $LINENO "configure"
 else
   cat >conftest.$ac_ext <<_ACEOF
 #line $LINENO "configure"

-/* confdefs.h.  */
-_ACEOF
-cat confdefs.h >>conftest.$ac_ext
-cat >>conftest.$ac_ext <<_ACEOF
-/* end confdefs.h.  */
+#include "confdefs.h"

 
 

+#ifdef F77_DUMMY_MAIN
+#  ifdef __cplusplus
+     extern "C"
+#  endif
+   int F77_DUMMY_MAIN() { return 1; }
+#endif

 int
 main ()
 {
 int
 main ()
 {


@@ -2238,19 +2149,16 @@ if { (eval echo "$as_me:$LINENO: \"$ac_compile\"") >&5
   (exit $ac_status); }; then
   for ac_file in `(ls conftest.o conftest.obj; ls conftest.*) 2>/dev/null`; do
   case $ac_file in
   (exit $ac_status); }; then
   for ac_file in `(ls conftest.o conftest.obj; ls conftest.*) 2>/dev/null`; do
   case $ac_file in

-    *.$ac_ext | *.xcoff | *.tds | *.d | *.pdb | *.xSYM | *.bb | *.bbg ) ;;
+    *.$ac_ext | *.xcoff | *.tds | *.d | *.pdb ) ;;

     *) ac_cv_objext=`expr "$ac_file" : '.*\.\(.*\)'`
        break;;
   esac
 done
 else
   echo "$as_me: failed program was:" >&5
     *) ac_cv_objext=`expr "$ac_file" : '.*\.\(.*\)'`
        break;;
   esac
 done
 else
   echo "$as_me: failed program was:" >&5

-sed 's/^/| /' conftest.$ac_ext >&5
-
-{ { echo "$as_me:$LINENO: error: cannot compute suffix of object files: cannot compile
-See \`config.log' for more details." >&5
-echo "$as_me: error: cannot compute suffix of object files: cannot compile
-See \`config.log' for more details." >&2;}
+cat conftest.$ac_ext >&5
+{ { echo "$as_me:$LINENO: error: cannot compute suffix of object files: cannot compile" >&5
+echo "$as_me: error: cannot compute suffix of object files: cannot compile" >&2;}

    { (exit 1); exit 1; }; }
 fi
 
    { (exit 1); exit 1; }; }
 fi
 


@@ -2267,12 +2175,14 @@ if test "${ac_cv_c_compiler_gnu+set}" = set; then
 else
   cat >conftest.$ac_ext <<_ACEOF
 #line $LINENO "configure"
 else
   cat >conftest.$ac_ext <<_ACEOF
 #line $LINENO "configure"

-/* confdefs.h.  */
-_ACEOF
-cat confdefs.h >>conftest.$ac_ext
-cat >>conftest.$ac_ext <<_ACEOF
-/* end confdefs.h.  */
+#include "confdefs.h"

 
 

+#ifdef F77_DUMMY_MAIN
+#  ifdef __cplusplus
+     extern "C"
+#  endif
+   int F77_DUMMY_MAIN() { return 1; }
+#endif

 int
 main ()
 {
 int
 main ()
 {


@@ -2299,8 +2209,7 @@ if { (eval echo "$as_me:$LINENO: \"$ac_compile\"") >&5
   ac_compiler_gnu=yes
 else
   echo "$as_me: failed program was:" >&5
   ac_compiler_gnu=yes
 else
   echo "$as_me: failed program was:" >&5

-sed 's/^/| /' conftest.$ac_ext >&5
-
+cat conftest.$ac_ext >&5

 ac_compiler_gnu=no
 fi
 rm -f conftest.$ac_objext conftest.$ac_ext
 ac_compiler_gnu=no
 fi
 rm -f conftest.$ac_objext conftest.$ac_ext


@@ -2320,12 +2229,14 @@ if test "${ac_cv_prog_cc_g+set}" = set; then
 else
   cat >conftest.$ac_ext <<_ACEOF
 #line $LINENO "configure"
 else
   cat >conftest.$ac_ext <<_ACEOF
 #line $LINENO "configure"

-/* confdefs.h.  */
-_ACEOF
-cat confdefs.h >>conftest.$ac_ext
-cat >>conftest.$ac_ext <<_ACEOF
-/* end confdefs.h.  */
+#include "confdefs.h"

 
 

+#ifdef F77_DUMMY_MAIN
+#  ifdef __cplusplus
+     extern "C"
+#  endif
+   int F77_DUMMY_MAIN() { return 1; }
+#endif

 int
 main ()
 {
 int
 main ()
 {


@@ -2349,8 +2260,7 @@ if { (eval echo "$as_me:$LINENO: \"$ac_compile\"") >&5
   ac_cv_prog_cc_g=yes
 else
   echo "$as_me: failed program was:" >&5
   ac_cv_prog_cc_g=yes
 else
   echo "$as_me: failed program was:" >&5

-sed 's/^/| /' conftest.$ac_ext >&5
-
+cat conftest.$ac_ext >&5

 ac_cv_prog_cc_g=no
 fi
 rm -f conftest.$ac_objext conftest.$ac_ext
 ac_cv_prog_cc_g=no
 fi
 rm -f conftest.$ac_objext conftest.$ac_ext


@@ -2372,102 +2282,6 @@ else
     CFLAGS=
   fi
 fi
     CFLAGS=
   fi
 fi

-echo "$as_me:$LINENO: checking for $CC option to accept ANSI C" >&5
-echo $ECHO_N "checking for $CC option to accept ANSI C... $ECHO_C" >&6
-if test "${ac_cv_prog_cc_stdc+set}" = set; then
-  echo $ECHO_N "(cached) $ECHO_C" >&6
-else
-  ac_cv_prog_cc_stdc=no
-ac_save_CC=$CC
-cat >conftest.$ac_ext <<_ACEOF
-#line $LINENO "configure"
-/* confdefs.h.  */
-_ACEOF
-cat confdefs.h >>conftest.$ac_ext
-cat >>conftest.$ac_ext <<_ACEOF
-/* end confdefs.h.  */
-#include <stdarg.h>
-#include <stdio.h>
-#include <sys/types.h>
-#include <sys/stat.h>
-/* Most of the following tests are stolen from RCS 5.7's src/conf.sh.  */
-struct buf { int x; };
-FILE * (*rcsopen) (struct buf *, struct stat *, int);
-static char *e (p, i)
-     char **p;
-     int i;
-{
-  return p[i];
-}
-static char *f (char * (*g) (char **, int), char **p, ...)
-{
-  char *s;
-  va_list v;
-  va_start (v,p);
-  s = g (p, va_arg (v,int));
-  va_end (v);
-  return s;
-}
-int test (int i, double x);
-struct s1 {int (*f) (int a);};
-struct s2 {int (*f) (double a);};
-int pairnames (int, char **, FILE *(*)(struct buf *, struct stat *, int), int, int);
-int argc;
-char **argv;
-int
-main ()
-{
-return f (e, argv, 0) != argv[0]  ||  f (e, argv, 1) != argv[1];
-  ;
-  return 0;
-}
-_ACEOF
-# Don't try gcc -ansi; that turns off useful extensions and
-# breaks some systems' header files.
-# AIX                  -qlanglvl=ansi
-# Ultrix and OSF/1     -std1
-# HP-UX 10.20 and later        -Ae
-# HP-UX older versions -Aa -D_HPUX_SOURCE
-# SVR4                 -Xc -D__EXTENSIONS__
-for ac_arg in "" -qlanglvl=ansi -std1 -Ae "-Aa -D_HPUX_SOURCE" "-Xc -D__EXTENSIONS__"
-do
-  CC="$ac_save_CC $ac_arg"
-  rm -f conftest.$ac_objext
-if { (eval echo "$as_me:$LINENO: \"$ac_compile\"") >&5
-  (eval $ac_compile) 2>&5
-  ac_status=$?
-  echo "$as_me:$LINENO: \$? = $ac_status" >&5
-  (exit $ac_status); } &&
-         { ac_try='test -s conftest.$ac_objext'
-  { (eval echo "$as_me:$LINENO: \"$ac_try\"") >&5
-  (eval $ac_try) 2>&5
-  ac_status=$?
-  echo "$as_me:$LINENO: \$? = $ac_status" >&5
-  (exit $ac_status); }; }; then
-  ac_cv_prog_cc_stdc=$ac_arg
-break
-else
-  echo "$as_me: failed program was:" >&5
-sed 's/^/| /' conftest.$ac_ext >&5
-
-fi
-rm -f conftest.$ac_objext
-done
-rm -f conftest.$ac_ext conftest.$ac_objext
-CC=$ac_save_CC
-
-fi
-
-case "x$ac_cv_prog_cc_stdc" in
-  x|xno)
-    echo "$as_me:$LINENO: result: none needed" >&5
-echo "${ECHO_T}none needed" >&6 ;;
-  *)
-    echo "$as_me:$LINENO: result: $ac_cv_prog_cc_stdc" >&5
-echo "${ECHO_T}$ac_cv_prog_cc_stdc" >&6
-    CC="$CC $ac_cv_prog_cc_stdc" ;;
-esac
-

 # Some people use a C++ compiler to compile C.  Since we use `exit',
 # in C++ we need to declare it.  In case someone uses the same compiler
 # for both compiling C and C++ we need to have the C++ compiler decide
 # Some people use a C++ compiler to compile C.  Since we use `exit',
 # in C++ we need to declare it.  In case someone uses the same compiler
 # for both compiling C and C++ we need to have the C++ compiler decide


@@ -2500,13 +2314,15 @@ if { (eval echo "$as_me:$LINENO: \"$ac_compile\"") >&5
 do
   cat >conftest.$ac_ext <<_ACEOF
 #line $LINENO "configure"
 do
   cat >conftest.$ac_ext <<_ACEOF
 #line $LINENO "configure"

-/* confdefs.h.  */
-_ACEOF
-cat confdefs.h >>conftest.$ac_ext
-cat >>conftest.$ac_ext <<_ACEOF
-/* end confdefs.h.  */
+#include "confdefs.h"

 #include <stdlib.h>
 $ac_declaration
 #include <stdlib.h>
 $ac_declaration

+#ifdef F77_DUMMY_MAIN
+#  ifdef __cplusplus
+     extern "C"
+#  endif
+   int F77_DUMMY_MAIN() { return 1; }
+#endif

 int
 main ()
 {
 int
 main ()
 {


@@ -2530,19 +2346,20 @@ if { (eval echo "$as_me:$LINENO: \"$ac_compile\"") >&5
   :
 else
   echo "$as_me: failed program was:" >&5
   :
 else
   echo "$as_me: failed program was:" >&5

-sed 's/^/| /' conftest.$ac_ext >&5
-
+cat conftest.$ac_ext >&5

 continue
 fi
 rm -f conftest.$ac_objext conftest.$ac_ext
   cat >conftest.$ac_ext <<_ACEOF
 #line $LINENO "configure"
 continue
 fi
 rm -f conftest.$ac_objext conftest.$ac_ext
   cat >conftest.$ac_ext <<_ACEOF
 #line $LINENO "configure"

-/* confdefs.h.  */
-_ACEOF
-cat confdefs.h >>conftest.$ac_ext
-cat >>conftest.$ac_ext <<_ACEOF
-/* end confdefs.h.  */
+#include "confdefs.h"

 $ac_declaration
 $ac_declaration

+#ifdef F77_DUMMY_MAIN
+#  ifdef __cplusplus
+     extern "C"
+#  endif
+   int F77_DUMMY_MAIN() { return 1; }
+#endif

 int
 main ()
 {
 int
 main ()
 {


@@ -2566,8 +2383,7 @@ if { (eval echo "$as_me:$LINENO: \"$ac_compile\"") >&5
   break
 else
   echo "$as_me: failed program was:" >&5
   break
 else
   echo "$as_me: failed program was:" >&5

-sed 's/^/| /' conftest.$ac_ext >&5
-
+cat conftest.$ac_ext >&5

 fi
 rm -f conftest.$ac_objext conftest.$ac_ext
 done
 fi
 rm -f conftest.$ac_objext conftest.$ac_ext
 done


@@ -2580,8 +2396,7 @@ fi
 
 else
   echo "$as_me: failed program was:" >&5
 
 else
   echo "$as_me: failed program was:" >&5

-sed 's/^/| /' conftest.$ac_ext >&5
-
+cat conftest.$ac_ext >&5

 fi
 rm -f conftest.$ac_objext conftest.$ac_ext
 ac_ext=c
 fi
 rm -f conftest.$ac_objext conftest.$ac_ext
 ac_ext=c


@@ -2600,7 +2415,7 @@ fi
 rmdir .deps 2>/dev/null
 
 
 rmdir .deps 2>/dev/null
 
 

-          ac_config_commands="$ac_config_commands depfiles"
+ac_config_commands="$ac_config_commands depfiles"

 
 
 am_make=${MAKE-make}
 
 
 am_make=${MAKE-make}


@@ -2755,28 +2570,18 @@ for ac_c_preproc_warn_flag in '' yes
 do
   # Use a header file that comes with gcc, so configuring glibc
   # with a fresh cross-compiler works.
 do
   # Use a header file that comes with gcc, so configuring glibc
   # with a fresh cross-compiler works.

-  # Prefer <limits.h> to <assert.h> if __STDC__ is defined, since
-  # <limits.h> exists even on freestanding compilers.

   # On the NeXT, cc -E runs the code through the compiler's parser,
   # not just through cpp. "Syntax error" is here to catch this case.
   cat >conftest.$ac_ext <<_ACEOF
 #line $LINENO "configure"
   # On the NeXT, cc -E runs the code through the compiler's parser,
   # not just through cpp. "Syntax error" is here to catch this case.
   cat >conftest.$ac_ext <<_ACEOF
 #line $LINENO "configure"

-/* confdefs.h.  */
-_ACEOF
-cat confdefs.h >>conftest.$ac_ext
-cat >>conftest.$ac_ext <<_ACEOF
-/* end confdefs.h.  */
-#ifdef __STDC__
-# include <limits.h>
-#else
-# include <assert.h>
-#endif
+#include "confdefs.h"
+#include <assert.h>

                      Syntax error
 _ACEOF
 if { (eval echo "$as_me:$LINENO: \"$ac_cpp conftest.$ac_ext\"") >&5
   (eval $ac_cpp conftest.$ac_ext) 2>conftest.er1
   ac_status=$?
                      Syntax error
 _ACEOF
 if { (eval echo "$as_me:$LINENO: \"$ac_cpp conftest.$ac_ext\"") >&5
   (eval $ac_cpp conftest.$ac_ext) 2>conftest.er1
   ac_status=$?

-  grep -v '^ *+' conftest.er1 >conftest.err
+  egrep -v '^ *\+' conftest.er1 >conftest.err

   rm -f conftest.er1
   cat conftest.err >&5
   echo "$as_me:$LINENO: \$? = $ac_status" >&5
   rm -f conftest.er1
   cat conftest.err >&5
   echo "$as_me:$LINENO: \$? = $ac_status" >&5


@@ -2793,8 +2598,7 @@ if test -z "$ac_cpp_err"; then
   :
 else
   echo "$as_me: failed program was:" >&5
   :
 else
   echo "$as_me: failed program was:" >&5

-sed 's/^/| /' conftest.$ac_ext >&5
-
+  cat conftest.$ac_ext >&5

   # Broken: fails on valid input.
 continue
 fi
   # Broken: fails on valid input.
 continue
 fi


@@ -2804,17 +2608,13 @@ rm -f conftest.err conftest.$ac_ext
   # can be detected and how.
   cat >conftest.$ac_ext <<_ACEOF
 #line $LINENO "configure"
   # can be detected and how.
   cat >conftest.$ac_ext <<_ACEOF
 #line $LINENO "configure"

-/* confdefs.h.  */
-_ACEOF
-cat confdefs.h >>conftest.$ac_ext
-cat >>conftest.$ac_ext <<_ACEOF
-/* end confdefs.h.  */
+#include "confdefs.h"

 #include <ac_nonexistent.h>
 _ACEOF
 if { (eval echo "$as_me:$LINENO: \"$ac_cpp conftest.$ac_ext\"") >&5
   (eval $ac_cpp conftest.$ac_ext) 2>conftest.er1
   ac_status=$?
 #include <ac_nonexistent.h>
 _ACEOF
 if { (eval echo "$as_me:$LINENO: \"$ac_cpp conftest.$ac_ext\"") >&5
   (eval $ac_cpp conftest.$ac_ext) 2>conftest.er1
   ac_status=$?

-  grep -v '^ *+' conftest.er1 >conftest.err
+  egrep -v '^ *\+' conftest.er1 >conftest.err

   rm -f conftest.er1
   cat conftest.err >&5
   echo "$as_me:$LINENO: \$? = $ac_status" >&5
   rm -f conftest.er1
   cat conftest.err >&5
   echo "$as_me:$LINENO: \$? = $ac_status" >&5


@@ -2832,8 +2632,7 @@ if test -z "$ac_cpp_err"; then
 continue
 else
   echo "$as_me: failed program was:" >&5
 continue
 else
   echo "$as_me: failed program was:" >&5

-sed 's/^/| /' conftest.$ac_ext >&5
-
+  cat conftest.$ac_ext >&5

   # Passes both tests.
 ac_preproc_ok=:
 break
   # Passes both tests.
 ac_preproc_ok=:
 break


@@ -2862,28 +2661,18 @@ for ac_c_preproc_warn_flag in '' yes
 do
   # Use a header file that comes with gcc, so configuring glibc
   # with a fresh cross-compiler works.
 do
   # Use a header file that comes with gcc, so configuring glibc
   # with a fresh cross-compiler works.

-  # Prefer <limits.h> to <assert.h> if __STDC__ is defined, since
-  # <limits.h> exists even on freestanding compilers.

   # On the NeXT, cc -E runs the code through the compiler's parser,
   # not just through cpp. "Syntax error" is here to catch this case.
   cat >conftest.$ac_ext <<_ACEOF
 #line $LINENO "configure"
   # On the NeXT, cc -E runs the code through the compiler's parser,
   # not just through cpp. "Syntax error" is here to catch this case.
   cat >conftest.$ac_ext <<_ACEOF
 #line $LINENO "configure"

-/* confdefs.h.  */
-_ACEOF
-cat confdefs.h >>conftest.$ac_ext
-cat >>conftest.$ac_ext <<_ACEOF
-/* end confdefs.h.  */
-#ifdef __STDC__
-# include <limits.h>
-#else
-# include <assert.h>
-#endif
+#include "confdefs.h"
+#include <assert.h>

                      Syntax error
 _ACEOF
 if { (eval echo "$as_me:$LINENO: \"$ac_cpp conftest.$ac_ext\"") >&5
   (eval $ac_cpp conftest.$ac_ext) 2>conftest.er1
   ac_status=$?
                      Syntax error
 _ACEOF
 if { (eval echo "$as_me:$LINENO: \"$ac_cpp conftest.$ac_ext\"") >&5
   (eval $ac_cpp conftest.$ac_ext) 2>conftest.er1
   ac_status=$?

-  grep -v '^ *+' conftest.er1 >conftest.err
+  egrep -v '^ *\+' conftest.er1 >conftest.err

   rm -f conftest.er1
   cat conftest.err >&5
   echo "$as_me:$LINENO: \$? = $ac_status" >&5
   rm -f conftest.er1
   cat conftest.err >&5
   echo "$as_me:$LINENO: \$? = $ac_status" >&5


@@ -2900,8 +2689,7 @@ if test -z "$ac_cpp_err"; then
   :
 else
   echo "$as_me: failed program was:" >&5
   :
 else
   echo "$as_me: failed program was:" >&5

-sed 's/^/| /' conftest.$ac_ext >&5
-
+  cat conftest.$ac_ext >&5

   # Broken: fails on valid input.
 continue
 fi
   # Broken: fails on valid input.
 continue
 fi


@@ -2911,17 +2699,13 @@ rm -f conftest.err conftest.$ac_ext
   # can be detected and how.
   cat >conftest.$ac_ext <<_ACEOF
 #line $LINENO "configure"
   # can be detected and how.
   cat >conftest.$ac_ext <<_ACEOF
 #line $LINENO "configure"

-/* confdefs.h.  */
-_ACEOF
-cat confdefs.h >>conftest.$ac_ext
-cat >>conftest.$ac_ext <<_ACEOF
-/* end confdefs.h.  */
+#include "confdefs.h"

 #include <ac_nonexistent.h>
 _ACEOF
 if { (eval echo "$as_me:$LINENO: \"$ac_cpp conftest.$ac_ext\"") >&5
   (eval $ac_cpp conftest.$ac_ext) 2>conftest.er1
   ac_status=$?
 #include <ac_nonexistent.h>
 _ACEOF
 if { (eval echo "$as_me:$LINENO: \"$ac_cpp conftest.$ac_ext\"") >&5
   (eval $ac_cpp conftest.$ac_ext) 2>conftest.er1
   ac_status=$?

-  grep -v '^ *+' conftest.er1 >conftest.err
+  egrep -v '^ *\+' conftest.er1 >conftest.err

   rm -f conftest.er1
   cat conftest.err >&5
   echo "$as_me:$LINENO: \$? = $ac_status" >&5
   rm -f conftest.er1
   cat conftest.err >&5
   echo "$as_me:$LINENO: \$? = $ac_status" >&5


@@ -2939,8 +2723,7 @@ if test -z "$ac_cpp_err"; then
 continue
 else
   echo "$as_me: failed program was:" >&5
 continue
 else
   echo "$as_me: failed program was:" >&5

-sed 's/^/| /' conftest.$ac_ext >&5
-
+  cat conftest.$ac_ext >&5

   # Passes both tests.
 ac_preproc_ok=:
 break
   # Passes both tests.
 ac_preproc_ok=:
 break


@@ -2953,10 +2736,8 @@ rm -f conftest.err conftest.$ac_ext
 if $ac_preproc_ok; then
   :
 else
 if $ac_preproc_ok; then
   :
 else

-  { { echo "$as_me:$LINENO: error: C preprocessor \"$CPP\" fails sanity check
-See \`config.log' for more details." >&5
-echo "$as_me: error: C preprocessor \"$CPP\" fails sanity check
-See \`config.log' for more details." >&2;}
+  { { echo "$as_me:$LINENO: error: C preprocessor \"$CPP\" fails sanity check" >&5
+echo "$as_me: error: C preprocessor \"$CPP\" fails sanity check" >&2;}

    { (exit 1); exit 1; }; }
 fi
 
    { (exit 1); exit 1; }; }
 fi
 


@@ -3019,11 +2800,7 @@ else
 LIBS="-lfl  $LIBS"
 cat >conftest.$ac_ext <<_ACEOF
 #line $LINENO "configure"
 LIBS="-lfl  $LIBS"
 cat >conftest.$ac_ext <<_ACEOF
 #line $LINENO "configure"

-/* confdefs.h.  */
-_ACEOF
-cat confdefs.h >>conftest.$ac_ext
-cat >>conftest.$ac_ext <<_ACEOF
-/* end confdefs.h.  */
+#include "confdefs.h"

 
 /* Override any gcc2 internal prototype to avoid an error.  */
 #ifdef __cplusplus
 
 /* Override any gcc2 internal prototype to avoid an error.  */
 #ifdef __cplusplus


@@ -3032,6 +2809,12 @@ extern "C"
 /* We use char because int might match the return type of a gcc2
    builtin and then its argument prototype would still apply.  */
 char yywrap ();
 /* We use char because int might match the return type of a gcc2
    builtin and then its argument prototype would still apply.  */
 char yywrap ();

+#ifdef F77_DUMMY_MAIN
+#  ifdef __cplusplus
+     extern "C"
+#  endif
+   int F77_DUMMY_MAIN() { return 1; }
+#endif

 int
 main ()
 {
 int
 main ()
 {


@@ -3055,8 +2838,7 @@ if { (eval echo "$as_me:$LINENO: \"$ac_link\"") >&5
   ac_cv_lib_fl_yywrap=yes
 else
   echo "$as_me: failed program was:" >&5
   ac_cv_lib_fl_yywrap=yes
 else
   echo "$as_me: failed program was:" >&5

-sed 's/^/| /' conftest.$ac_ext >&5
-
+cat conftest.$ac_ext >&5

 ac_cv_lib_fl_yywrap=no
 fi
 rm -f conftest.$ac_objext conftest$ac_exeext conftest.$ac_ext
 ac_cv_lib_fl_yywrap=no
 fi
 rm -f conftest.$ac_objext conftest$ac_exeext conftest.$ac_ext


@@ -3076,11 +2858,7 @@ else
 LIBS="-ll  $LIBS"
 cat >conftest.$ac_ext <<_ACEOF
 #line $LINENO "configure"
 LIBS="-ll  $LIBS"
 cat >conftest.$ac_ext <<_ACEOF
 #line $LINENO "configure"

-/* confdefs.h.  */
-_ACEOF
-cat confdefs.h >>conftest.$ac_ext
-cat >>conftest.$ac_ext <<_ACEOF
-/* end confdefs.h.  */
+#include "confdefs.h"

 
 /* Override any gcc2 internal prototype to avoid an error.  */
 #ifdef __cplusplus
 
 /* Override any gcc2 internal prototype to avoid an error.  */
 #ifdef __cplusplus


@@ -3089,6 +2867,12 @@ extern "C"
 /* We use char because int might match the return type of a gcc2
    builtin and then its argument prototype would still apply.  */
 char yywrap ();
 /* We use char because int might match the return type of a gcc2
    builtin and then its argument prototype would still apply.  */
 char yywrap ();

+#ifdef F77_DUMMY_MAIN
+#  ifdef __cplusplus
+     extern "C"
+#  endif
+   int F77_DUMMY_MAIN() { return 1; }
+#endif

 int
 main ()
 {
 int
 main ()
 {


@@ -3112,8 +2896,7 @@ if { (eval echo "$as_me:$LINENO: \"$ac_link\"") >&5
   ac_cv_lib_l_yywrap=yes
 else
   echo "$as_me: failed program was:" >&5
   ac_cv_lib_l_yywrap=yes
 else
   echo "$as_me: failed program was:" >&5

-sed 's/^/| /' conftest.$ac_ext >&5
-
+cat conftest.$ac_ext >&5

 ac_cv_lib_l_yywrap=no
 fi
 rm -f conftest.$ac_objext conftest$ac_exeext conftest.$ac_ext
 ac_cv_lib_l_yywrap=no
 fi
 rm -f conftest.$ac_objext conftest$ac_exeext conftest.$ac_ext


@@ -3191,8 +2974,7 @@ if { (eval echo "$as_me:$LINENO: \"$ac_link\"") >&5
   ac_cv_prog_lex_yytext_pointer=yes
 else
   echo "$as_me: failed program was:" >&5
   ac_cv_prog_lex_yytext_pointer=yes
 else
   echo "$as_me: failed program was:" >&5

-sed 's/^/| /' conftest.$ac_ext >&5
-
+cat conftest.$ac_ext >&5

 fi
 rm -f conftest.$ac_objext conftest$ac_exeext conftest.$ac_ext
 LIBS=$ac_save_LIBS
 fi
 rm -f conftest.$ac_objext conftest$ac_exeext conftest.$ac_ext
 LIBS=$ac_save_LIBS


@@ -3290,15 +3072,15 @@ test -z "$INSTALL_SCRIPT" && INSTALL_SCRIPT='${INSTALL}'
 
 test -z "$INSTALL_DATA" && INSTALL_DATA='${INSTALL} -m 644'
 
 
 test -z "$INSTALL_DATA" && INSTALL_DATA='${INSTALL} -m 644'
 

-echo "$as_me:$LINENO: checking whether ${MAKE-make} sets \$(MAKE)" >&5
-echo $ECHO_N "checking whether ${MAKE-make} sets \$(MAKE)... $ECHO_C" >&6
+echo "$as_me:$LINENO: checking whether ${MAKE-make} sets \${MAKE}" >&5
+echo $ECHO_N "checking whether ${MAKE-make} sets \${MAKE}... $ECHO_C" >&6

 set dummy ${MAKE-make}; ac_make=`echo "$2" | sed 'y,./+-,__p_,'`
 if eval "test \"\${ac_cv_prog_make_${ac_make}_set+set}\" = set"; then
   echo $ECHO_N "(cached) $ECHO_C" >&6
 else
   cat >conftest.make <<\_ACEOF
 all:
 set dummy ${MAKE-make}; ac_make=`echo "$2" | sed 'y,./+-,__p_,'`
 if eval "test \"\${ac_cv_prog_make_${ac_make}_set+set}\" = set"; then
   echo $ECHO_N "(cached) $ECHO_C" >&6
 else
   cat >conftest.make <<\_ACEOF
 all:

-       @echo 'ac_maketemp="$(MAKE)"'
+       @echo 'ac_maketemp="${MAKE}"'

 _ACEOF
 # GNU make sometimes prints "make[1]: Entering...", which would confuse us.
 eval `${MAKE-make} -f conftest.make 2>/dev/null | grep temp=`
 _ACEOF
 # GNU make sometimes prints "make[1]: Entering...", which would confuse us.
 eval `${MAKE-make} -f conftest.make 2>/dev/null | grep temp=`


@@ -3628,15 +3410,17 @@ echo $ECHO_N "checking whether we need _ALL_SOURCE to expose mode_t... $ECHO_C"
 all=no
 cat >conftest.$ac_ext <<_ACEOF
 #line $LINENO "configure"
 all=no
 cat >conftest.$ac_ext <<_ACEOF
 #line $LINENO "configure"

-/* confdefs.h.  */
-_ACEOF
-cat confdefs.h >>conftest.$ac_ext
-cat >>conftest.$ac_ext <<_ACEOF
-/* end confdefs.h.  */
+#include "confdefs.h"

 
 #include <stdio.h>
 mode_t x;
 
 
 #include <stdio.h>
 mode_t x;
 

+#ifdef F77_DUMMY_MAIN
+#  ifdef __cplusplus
+     extern "C"
+#  endif
+   int F77_DUMMY_MAIN() { return 1; }
+#endif

 int
 main ()
 {
 int
 main ()
 {


@@ -3660,24 +3444,25 @@ if { (eval echo "$as_me:$LINENO: \"$ac_compile\"") >&5
   :
 else
   echo "$as_me: failed program was:" >&5
   :
 else
   echo "$as_me: failed program was:" >&5

-sed 's/^/| /' conftest.$ac_ext >&5
-
+cat conftest.$ac_ext >&5

 all=maybe
 fi
 rm -f conftest.$ac_objext conftest.$ac_ext
 if test $all = maybe ; then
 cat >conftest.$ac_ext <<_ACEOF
 #line $LINENO "configure"
 all=maybe
 fi
 rm -f conftest.$ac_objext conftest.$ac_ext
 if test $all = maybe ; then
 cat >conftest.$ac_ext <<_ACEOF
 #line $LINENO "configure"

-/* confdefs.h.  */
-_ACEOF
-cat confdefs.h >>conftest.$ac_ext
-cat >>conftest.$ac_ext <<_ACEOF
-/* end confdefs.h.  */
+#include "confdefs.h"

 
 #define _ALL_SOURCE
 #include <stdio.h>
 mode_t x;
 
 
 #define _ALL_SOURCE
 #include <stdio.h>
 mode_t x;
 

+#ifdef F77_DUMMY_MAIN
+#  ifdef __cplusplus
+     extern "C"
+#  endif
+   int F77_DUMMY_MAIN() { return 1; }
+#endif

 int
 main ()
 {
 int
 main ()
 {


@@ -3704,8 +3489,7 @@ _ACEOF
  all=yes
 else
   echo "$as_me: failed program was:" >&5
  all=yes
 else
   echo "$as_me: failed program was:" >&5

-sed 's/^/| /' conftest.$ac_ext >&5
-
+cat conftest.$ac_ext >&5

 fi
 rm -f conftest.$ac_objext conftest.$ac_ext
 fi
 fi
 rm -f conftest.$ac_objext conftest.$ac_ext
 fi


@@ -3798,7 +3582,7 @@ _ACEOF
 
 
 # These used to be in herald.h
 
 
 # These used to be in herald.h

-LCL_PARSE_VERSION="Splint 3.1.1"
+LCL_PARSE_VERSION="Splint 3.1.1.1"

 
 cat >>confdefs.h <<_ACEOF
 #define SPLINT_VERSION "$LCL_PARSE_VERSION --- `date +"%d %b %Y"`"
 
 cat >>confdefs.h <<_ACEOF
 #define SPLINT_VERSION "$LCL_PARSE_VERSION --- `date +"%d %b %Y"`"


@@ -3914,7 +3698,7 @@ _ACEOF
 
 
 
 
 
 

-                                                                      ac_config_files="$ac_config_files Makefile imports/Makefile lib/Makefile src/Makefile test/Makefile doc/Makefile bin/Makefile"
+ac_config_files="$ac_config_files Makefile imports/Makefile lib/Makefile src/Makefile test/Makefile doc/Makefile bin/Makefile"

 
 cat >confcache <<\_ACEOF
 # This file is a shell script that caches the results of configure
 
 cat >confcache <<\_ACEOF
 # This file is a shell script that caches the results of configure


@@ -3926,7 +3710,7 @@ cat >confcache <<\_ACEOF
 # config.status only pays attention to the cache file if you give it
 # the --recheck option to rerun configure.
 #
 # config.status only pays attention to the cache file if you give it
 # the --recheck option to rerun configure.
 #

-# `ac_cv_env_foo' variables (set or unset) will be overridden when
+# `ac_cv_env_foo' variables (set or unset) will be overriden when

 # loading this file, other *unset* `ac_cv_foo' will be assigned the
 # following values.
 
 # loading this file, other *unset* `ac_cv_foo' will be assigned the
 # following values.
 


@@ -3961,7 +3745,7 @@ _ACEOF
      t end
      /^ac_cv_env/!s/^\([^=]*\)=\(.*\)$/\1=${\1=\2}/
      : end' >>confcache
      t end
      /^ac_cv_env/!s/^\([^=]*\)=\(.*\)$/\1=${\1=\2}/
      : end' >>confcache

-if diff $cache_file confcache >/dev/null 2>&1; then :; else
+if cmp -s $cache_file confcache; then :; else

   if test -w $cache_file; then
     test "x$cache_file" != "x/dev/null" && echo "updating cache $cache_file"
     cat confcache >$cache_file
   if test -w $cache_file; then
     test "x$cache_file" != "x/dev/null" && echo "updating cache $cache_file"
     cat confcache >$cache_file


@@ -3992,21 +3776,6 @@ fi
 
 DEFS=-DHAVE_CONFIG_H
 
 
 DEFS=-DHAVE_CONFIG_H
 

-ac_libobjs=
-ac_ltlibobjs=
-for ac_i in : $LIBOBJS; do test "x$ac_i" = x: && continue
-  # 1. Remove the extension, and $U if already installed.
-  ac_i=`echo "$ac_i" |
-         sed 's/\$U\././;s/\.o$//;s/\.obj$//'`
-  # 2. Add them.
-  ac_libobjs="$ac_libobjs $ac_i\$U.$ac_objext"
-  ac_ltlibobjs="$ac_ltlibobjs $ac_i"'$U.lo'
-done
-LIBOBJS=$ac_libobjs
-
-LTLIBOBJS=$ac_ltlibobjs
-
-

 if test -z "${AMDEP_TRUE}" && test -z "${AMDEP_FALSE}"; then
   { { echo "$as_me:$LINENO: error: conditional \"AMDEP\" was never defined.
 Usually this means the macro was only invoked conditionally." >&5
 if test -z "${AMDEP_TRUE}" && test -z "${AMDEP_FALSE}"; then
   { { echo "$as_me:$LINENO: error: conditional \"AMDEP\" was never defined.
 Usually this means the macro was only invoked conditionally." >&5


@@ -4028,12 +3797,11 @@ cat >$CONFIG_STATUS <<_ACEOF
 # configure, is in config.log if it exists.
 
 debug=false
 # configure, is in config.log if it exists.
 
 debug=false

-ac_cs_recheck=false
-ac_cs_silent=false

 SHELL=\${CONFIG_SHELL-$SHELL}
 _ACEOF
 
 cat >>$CONFIG_STATUS <<\_ACEOF
 SHELL=\${CONFIG_SHELL-$SHELL}
 _ACEOF
 
 cat >>$CONFIG_STATUS <<\_ACEOF

+

 ## --------------------- ##
 ## M4sh Initialization.  ##
 ## --------------------- ##
 ## --------------------- ##
 ## M4sh Initialization.  ##
 ## --------------------- ##


@@ -4042,13 +3810,11 @@ cat >>$CONFIG_STATUS <<\_ACEOF
 if test -n "${ZSH_VERSION+set}" && (emulate sh) >/dev/null 2>&1; then
   emulate sh
   NULLCMD=:
 if test -n "${ZSH_VERSION+set}" && (emulate sh) >/dev/null 2>&1; then
   emulate sh
   NULLCMD=:

-  # Zsh 3.x and 4.x performs word splitting on ${1+"$@"}, which
-  # is contrary to our usage.  Disable this feature.
-  alias -g '${1+"$@"}'='"$@"'

 elif test -n "${BASH_VERSION+set}" && (set -o posix) >/dev/null 2>&1; then
   set -o posix
 fi
 
 elif test -n "${BASH_VERSION+set}" && (set -o posix) >/dev/null 2>&1; then
   set -o posix
 fi
 

+# NLS nuisances.

 # Support unset when possible.
 if (FOO=FOO; unset FOO) >/dev/null 2>&1; then
   as_unset=unset
 # Support unset when possible.
 if (FOO=FOO; unset FOO) >/dev/null 2>&1; then
   as_unset=unset


@@ -4056,42 +3822,34 @@ else
   as_unset=false
 fi
 
   as_unset=false
 fi
 

-
-# Work around bugs in pre-3.0 UWIN ksh.
-$as_unset ENV MAIL MAILPATH
-PS1='$ '
-PS2='> '
-PS4='+ '
-
-# NLS nuisances.
-for as_var in \
-  LANG LANGUAGE LC_ADDRESS LC_ALL LC_COLLATE LC_CTYPE LC_IDENTIFICATION \
-  LC_MEASUREMENT LC_MESSAGES LC_MONETARY LC_NAME LC_NUMERIC LC_PAPER \
-  LC_TELEPHONE LC_TIME
-do
-  if (set +x; test -n "`(eval $as_var=C; export $as_var) 2>&1`"); then
-    eval $as_var=C; export $as_var
-  else
-    $as_unset $as_var
-  fi
-done
-
-# Required to use basename.
-if expr a : '\(a\)' >/dev/null 2>&1; then
-  as_expr=expr
-else
-  as_expr=false
-fi
-
-if (basename /) >/dev/null 2>&1 && test "X`basename / 2>&1`" = "X/"; then
-  as_basename=basename
-else
-  as_basename=false
-fi
+(set +x; test -n "`(LANG=C; export LANG) 2>&1`") &&
+    { $as_unset LANG || test "${LANG+set}" != set; } ||
+      { LANG=C; export LANG; }
+(set +x; test -n "`(LC_ALL=C; export LC_ALL) 2>&1`") &&
+    { $as_unset LC_ALL || test "${LC_ALL+set}" != set; } ||
+      { LC_ALL=C; export LC_ALL; }
+(set +x; test -n "`(LC_TIME=C; export LC_TIME) 2>&1`") &&
+    { $as_unset LC_TIME || test "${LC_TIME+set}" != set; } ||
+      { LC_TIME=C; export LC_TIME; }
+(set +x; test -n "`(LC_CTYPE=C; export LC_CTYPE) 2>&1`") &&
+    { $as_unset LC_CTYPE || test "${LC_CTYPE+set}" != set; } ||
+      { LC_CTYPE=C; export LC_CTYPE; }
+(set +x; test -n "`(LANGUAGE=C; export LANGUAGE) 2>&1`") &&
+    { $as_unset LANGUAGE || test "${LANGUAGE+set}" != set; } ||
+      { LANGUAGE=C; export LANGUAGE; }
+(set +x; test -n "`(LC_COLLATE=C; export LC_COLLATE) 2>&1`") &&
+    { $as_unset LC_COLLATE || test "${LC_COLLATE+set}" != set; } ||
+      { LC_COLLATE=C; export LC_COLLATE; }
+(set +x; test -n "`(LC_NUMERIC=C; export LC_NUMERIC) 2>&1`") &&
+    { $as_unset LC_NUMERIC || test "${LC_NUMERIC+set}" != set; } ||
+      { LC_NUMERIC=C; export LC_NUMERIC; }
+(set +x; test -n "`(LC_MESSAGES=C; export LC_MESSAGES) 2>&1`") &&
+    { $as_unset LC_MESSAGES || test "${LC_MESSAGES+set}" != set; } ||
+      { LC_MESSAGES=C; export LC_MESSAGES; }

 
 
 # Name of the executable.
 
 
 # Name of the executable.

-as_me=`$as_basename "$0" ||
+as_me=`(basename "$0") 2>/dev/null ||

 $as_expr X/"$0" : '.*/\([^/][^/]*\)/*$' \| \
         X"$0" : 'X\(//\)$' \| \
         X"$0" : 'X\(/\)$' \| \
 $as_expr X/"$0" : '.*/\([^/][^/]*\)/*$' \| \
         X"$0" : 'X\(//\)$' \| \
         X"$0" : 'X\(/\)$' \| \


@@ -4102,7 +3860,6 @@ echo X/"$0" |
          /^X\/\(\/\).*/{ s//\1/; q; }
          s/.*/./; q'`
 
          /^X\/\(\/\).*/{ s//\1/; q; }
          s/.*/./; q'`
 

-

 # PATH needs CR, and LINENO needs CR and PATH.
 # Avoid depending upon Character Ranges.
 as_cr_letters='abcdefghijklmnopqrstuvwxyz'
 # PATH needs CR, and LINENO needs CR and PATH.
 # Avoid depending upon Character Ranges.
 as_cr_letters='abcdefghijklmnopqrstuvwxyz'


@@ -4113,15 +3870,15 @@ as_cr_alnum=$as_cr_Letters$as_cr_digits
 
 # The user is always right.
 if test "${PATH_SEPARATOR+set}" != set; then
 
 # The user is always right.
 if test "${PATH_SEPARATOR+set}" != set; then

-  echo "#! /bin/sh" >conf$$.sh
-  echo  "exit 0"   >>conf$$.sh
-  chmod +x conf$$.sh
-  if (PATH="/nonexistent;."; conf$$.sh) >/dev/null 2>&1; then
+  echo "#! /bin/sh" >conftest.sh
+  echo  "exit 0"   >>conftest.sh
+  chmod +x conftest.sh
+  if (PATH=".;."; conftest.sh) >/dev/null 2>&1; then

     PATH_SEPARATOR=';'
   else
     PATH_SEPARATOR=:
   fi
     PATH_SEPARATOR=';'
   else
     PATH_SEPARATOR=:
   fi

-  rm -f conf$$.sh
+  rm -f conftest.sh

 fi
 
 
 fi
 
 


@@ -4170,8 +3927,6 @@ do
   as_lineno_3=`(expr $as_lineno_1 + 1) 2>/dev/null`
   test "x$as_lineno_1" != "x$as_lineno_2" &&
   test "x$as_lineno_3"  = "x$as_lineno_2" ') 2>/dev/null; then
   as_lineno_3=`(expr $as_lineno_1 + 1) 2>/dev/null`
   test "x$as_lineno_1" != "x$as_lineno_2" &&
   test "x$as_lineno_3"  = "x$as_lineno_2" ') 2>/dev/null; then

-            $as_unset BASH_ENV || test "${BASH_ENV+set}" != set || { BASH_ENV=; export BASH_ENV; }
-            $as_unset ENV || test "${ENV+set}" != set || { ENV=; export ENV; }

             CONFIG_SHELL=$as_dir/$as_base
             export CONFIG_SHELL
             exec "$CONFIG_SHELL" "$0" ${1+"$@"}
             CONFIG_SHELL=$as_dir/$as_base
             export CONFIG_SHELL
             exec "$CONFIG_SHELL" "$0" ${1+"$@"}


@@ -4245,12 +4000,6 @@ else
 fi
 rm -f conf$$ conf$$.exe conf$$.file
 
 fi
 rm -f conf$$ conf$$.exe conf$$.file
 

-if mkdir -p . 2>/dev/null; then
-  as_mkdir_p=:
-else
-  as_mkdir_p=false
-fi
-

 as_executable_p="test -f"
 
 # Sed expression to map a string onto a valid CPP name.
 as_executable_p="test -f"
 
 # Sed expression to map a string onto a valid CPP name.


@@ -4267,7 +4016,7 @@ as_nl='
 IFS="  $as_nl"
 
 # CDPATH.
 IFS="  $as_nl"
 
 # CDPATH.

-$as_unset CDPATH
+$as_unset CDPATH || test "${CDPATH+set}" != set || { CDPATH=$PATH_SEPARATOR; export CDPATH; }

 
 exec 6>&1
 
 
 exec 6>&1
 


@@ -4283,8 +4032,8 @@ _ASBOX
 } >&5
 cat >&5 <<_CSEOF
 
 } >&5
 cat >&5 <<_CSEOF
 

-This file was extended by Splint $as_me 3.1.1, which was
-generated by GNU Autoconf 2.57.  Invocation command line was
+This file was extended by Splint $as_me 3.1.1.1, which was
+generated by GNU Autoconf 2.53.  Invocation command line was

 
   CONFIG_FILES    = $CONFIG_FILES
   CONFIG_HEADERS  = $CONFIG_HEADERS
 
   CONFIG_FILES    = $CONFIG_FILES
   CONFIG_HEADERS  = $CONFIG_HEADERS


@@ -4324,7 +4073,6 @@ Usage: $0 [OPTIONS] [FILE]...
 
   -h, --help       print this help, then exit
   -V, --version    print version number, then exit
 
   -h, --help       print this help, then exit
   -V, --version    print version number, then exit

-  -q, --quiet      do not print progress messages

   -d, --debug      don't remove temporary files
       --recheck    update $as_me by reconfiguring in the same conditions
   --file=FILE[:TEMPLATE]
   -d, --debug      don't remove temporary files
       --recheck    update $as_me by reconfiguring in the same conditions
   --file=FILE[:TEMPLATE]


@@ -4346,8 +4094,8 @@ _ACEOF
 
 cat >>$CONFIG_STATUS <<_ACEOF
 ac_cs_version="\\
 
 cat >>$CONFIG_STATUS <<_ACEOF
 ac_cs_version="\\

-Splint config.status 3.1.1
-configured by $0, generated by GNU Autoconf 2.57,
+Splint config.status 3.1.1.1
+configured by $0, generated by GNU Autoconf 2.53,

   with options \\"`echo "$ac_configure_args" | sed 's/[\\""\`\$]/\\\\&/g'`\\"
 
 Copyright 1992, 1993, 1994, 1995, 1996, 1998, 1999, 2000, 2001
   with options \\"`echo "$ac_configure_args" | sed 's/[\\""\`\$]/\\\\&/g'`\\"
 
 Copyright 1992, 1993, 1994, 1995, 1996, 1998, 1999, 2000, 2001


@@ -4368,25 +4116,25 @@ do
   --*=*)
     ac_option=`expr "x$1" : 'x\([^=]*\)='`
     ac_optarg=`expr "x$1" : 'x[^=]*=\(.*\)'`
   --*=*)
     ac_option=`expr "x$1" : 'x\([^=]*\)='`
     ac_optarg=`expr "x$1" : 'x[^=]*=\(.*\)'`

-    ac_shift=:
-    ;;
-  -*)
-    ac_option=$1
-    ac_optarg=$2
-    ac_shift=shift
+    shift
+    set dummy "$ac_option" "$ac_optarg" ${1+"$@"}
+    shift

     ;;
     ;;

+  -*);;

   *) # This is not an option, so the user has probably given explicit
      # arguments.
   *) # This is not an option, so the user has probably given explicit
      # arguments.

-     ac_option=$1

      ac_need_defaults=false;;
   esac
 
      ac_need_defaults=false;;
   esac
 

-  case $ac_option in
+  case $1 in

   # Handling of the options.
 _ACEOF
   # Handling of the options.
 _ACEOF

-cat >>$CONFIG_STATUS <<\_ACEOF
+cat >>$CONFIG_STATUS <<_ACEOF

   -recheck | --recheck | --rechec | --reche | --rech | --rec | --re | --r)
   -recheck | --recheck | --rechec | --reche | --rech | --rec | --re | --r)

-    ac_cs_recheck=: ;;
+    echo "running $SHELL $0 " $ac_configure_args " --no-create --no-recursion"
+    exec $SHELL $0 $ac_configure_args --no-create --no-recursion ;;
+_ACEOF
+cat >>$CONFIG_STATUS <<\_ACEOF

   --version | --vers* | -V )
     echo "$ac_cs_version"; exit 0 ;;
   --he | --h)
   --version | --vers* | -V )
     echo "$ac_cs_version"; exit 0 ;;
   --he | --h)


@@ -4401,16 +4149,13 @@ Try \`$0 --help' for more information." >&2;}
   --debug | --d* | -d )
     debug=: ;;
   --file | --fil | --fi | --f )
   --debug | --d* | -d )
     debug=: ;;
   --file | --fil | --fi | --f )

-    $ac_shift
-    CONFIG_FILES="$CONFIG_FILES $ac_optarg"
+    shift
+    CONFIG_FILES="$CONFIG_FILES $1"

     ac_need_defaults=false;;
   --header | --heade | --head | --hea )
     ac_need_defaults=false;;
   --header | --heade | --head | --hea )

-    $ac_shift
-    CONFIG_HEADERS="$CONFIG_HEADERS $ac_optarg"
+    shift
+    CONFIG_HEADERS="$CONFIG_HEADERS $1"

     ac_need_defaults=false;;
     ac_need_defaults=false;;

-  -q | -quiet | --quiet | --quie | --qui | --qu | --q \
-  | -silent | --silent | --silen | --sile | --sil | --si | --s)
-    ac_cs_silent=: ;;

 
   # This is an error.
   -*) { { echo "$as_me:$LINENO: error: unrecognized option: $1
 
   # This is an error.
   -*) { { echo "$as_me:$LINENO: error: unrecognized option: $1


@@ -4425,20 +4170,6 @@ Try \`$0 --help' for more information." >&2;}
   shift
 done
 
   shift
 done
 

-ac_configure_extra_args=
-
-if $ac_cs_silent; then
-  exec 6>/dev/null
-  ac_configure_extra_args="$ac_configure_extra_args --silent"
-fi
-
-_ACEOF
-cat >>$CONFIG_STATUS <<_ACEOF
-if \$ac_cs_recheck; then
-  echo "running $SHELL $0 " $ac_configure_args \$ac_configure_extra_args " --no-create --no-recursion" >&6
-  exec $SHELL $0 $ac_configure_args \$ac_configure_extra_args --no-create --no-recursion
-fi
-

 _ACEOF
 
 cat >>$CONFIG_STATUS <<_ACEOF
 _ACEOF
 
 cat >>$CONFIG_STATUS <<_ACEOF


@@ -4482,9 +4213,6 @@ if $ac_need_defaults; then
   test "${CONFIG_COMMANDS+set}" = set || CONFIG_COMMANDS=$config_commands
 fi
 
   test "${CONFIG_COMMANDS+set}" = set || CONFIG_COMMANDS=$config_commands
 fi
 

-# Have a temporary directory for convenience.  Make it in the build tree
-# simply because there is no reason to put it here, and in addition,
-# creating and moving files from /tmp can sometimes cause problems.

 # Create a temporary directory, and hook for its removal unless debugging.
 $debug ||
 {
 # Create a temporary directory, and hook for its removal unless debugging.
 $debug ||
 {


@@ -4493,17 +4221,17 @@ $debug ||
 }
 
 # Create a (secure) tmp directory for tmp files.
 }
 
 # Create a (secure) tmp directory for tmp files.

-
+: ${TMPDIR=/tmp}

 {
 {

-  tmp=`(umask 077 && mktemp -d -q "./confstatXXXXXX") 2>/dev/null` &&
+  tmp=`(umask 077 && mktemp -d -q "$TMPDIR/csXXXXXX") 2>/dev/null` &&

   test -n "$tmp" && test -d "$tmp"
 }  ||
 {
   test -n "$tmp" && test -d "$tmp"
 }  ||
 {

-  tmp=./confstat$$-$RANDOM
+  tmp=$TMPDIR/cs$$-$RANDOM

   (umask 077 && mkdir $tmp)
 } ||
 {
   (umask 077 && mkdir $tmp)
 } ||
 {

-   echo "$me: cannot create a temporary directory in ." >&2
+   echo "$me: cannot create a temporary directory in $TMPDIR" >&2

    { (exit 1); exit 1; }
 }
 
    { (exit 1); exit 1; }
 }
 


@@ -4608,8 +4336,6 @@ s,@MV@,$MV,;t t
 s,@CP@,$CP,;t t
 s,@SED@,$SED,;t t
 s,@LCLOBJ@,$LCLOBJ,;t t
 s,@CP@,$CP,;t t
 s,@SED@,$SED,;t t
 s,@LCLOBJ@,$LCLOBJ,;t t

-s,@LIBOBJS@,$LIBOBJS,;t t
-s,@LTLIBOBJS@,$LTLIBOBJS,;t t

 CEOF
 
 _ACEOF
 CEOF
 
 _ACEOF


@@ -4680,30 +4406,25 @@ echo X"$ac_file" |
          /^X\(\/\/\)$/{ s//\1/; q; }
          /^X\(\/\).*/{ s//\1/; q; }
          s/.*/./; q'`
          /^X\(\/\/\)$/{ s//\1/; q; }
          /^X\(\/\).*/{ s//\1/; q; }
          s/.*/./; q'`

-  { if $as_mkdir_p; then
-    mkdir -p "$ac_dir"
-  else
-    as_dir="$ac_dir"
-    as_dirs=
-    while test ! -d "$as_dir"; do
-      as_dirs="$as_dir $as_dirs"
-      as_dir=`(dirname "$as_dir") 2>/dev/null ||
-$as_expr X"$as_dir" : 'X\(.*[^/]\)//*[^/][^/]*/*$' \| \
-         X"$as_dir" : 'X\(//\)[^/]' \| \
-         X"$as_dir" : 'X\(//\)$' \| \
-         X"$as_dir" : 'X\(/\)' \| \
-         .     : '\(.\)' 2>/dev/null ||
-echo X"$as_dir" |
-    sed '/^X\(.*[^/]\)\/\/*[^/][^/]*\/*$/{ s//\1/; q; }
-         /^X\(\/\/\)[^/].*/{ s//\1/; q; }
-         /^X\(\/\/\)$/{ s//\1/; q; }
-         /^X\(\/\).*/{ s//\1/; q; }
-         s/.*/./; q'`
-    done
-    test ! -n "$as_dirs" || mkdir $as_dirs
-  fi || { { echo "$as_me:$LINENO: error: cannot create directory \"$ac_dir\"" >&5
-echo "$as_me: error: cannot create directory \"$ac_dir\"" >&2;}
-   { (exit 1); exit 1; }; }; }
+  { case "$ac_dir" in
+  [\\/]* | ?:[\\/]* ) as_incr_dir=;;
+  *)                      as_incr_dir=.;;
+esac
+as_dummy="$ac_dir"
+for as_mkdir_dir in `IFS='/\\'; set X $as_dummy; shift; echo "$@"`; do
+  case $as_mkdir_dir in
+    # Skip DOS drivespec
+    ?:) as_incr_dir=$as_mkdir_dir ;;
+    *)
+      as_incr_dir=$as_incr_dir/$as_mkdir_dir
+      test -d "$as_incr_dir" ||
+        mkdir "$as_incr_dir" ||
+       { { echo "$as_me:$LINENO: error: cannot create \"$ac_dir\"" >&5
+echo "$as_me: error: cannot create \"$ac_dir\"" >&2;}
+   { (exit 1); exit 1; }; }
+    ;;
+  esac
+done; }

 
   ac_builddir=.
 
 
   ac_builddir=.
 


@@ -4733,7 +4454,7 @@ esac
 # Don't blindly perform a `cd "$ac_dir"/$ac_foo && pwd` since $ac_foo can be
 # absolute.
 ac_abs_builddir=`cd "$ac_dir" && cd $ac_builddir && pwd`
 # Don't blindly perform a `cd "$ac_dir"/$ac_foo && pwd` since $ac_foo can be
 # absolute.
 ac_abs_builddir=`cd "$ac_dir" && cd $ac_builddir && pwd`

-ac_abs_top_builddir=`cd "$ac_dir" && cd ${ac_top_builddir}. && pwd`
+ac_abs_top_builddir=`cd "$ac_dir" && cd $ac_top_builddir && pwd`

 ac_abs_srcdir=`cd "$ac_dir" && cd $ac_srcdir && pwd`
 ac_abs_top_srcdir=`cd "$ac_dir" && cd $ac_top_srcdir && pwd`
 
 ac_abs_srcdir=`cd "$ac_dir" && cd $ac_srcdir && pwd`
 ac_abs_top_srcdir=`cd "$ac_dir" && cd $ac_top_srcdir && pwd`
 


@@ -4923,7 +4644,7 @@ _ACEOF
 # Break up conftest.defines because some shells have a limit on the size
 # of here documents, and old seds have small limits too (100 cmds).
 echo '  # Handle all the #define templates only if necessary.' >>$CONFIG_STATUS
 # Break up conftest.defines because some shells have a limit on the size
 # of here documents, and old seds have small limits too (100 cmds).
 echo '  # Handle all the #define templates only if necessary.' >>$CONFIG_STATUS

-echo '  if grep "^[    ]*#[    ]*define" $tmp/in >/dev/null; then' >>$CONFIG_STATUS
+echo '  if egrep "^[   ]*#[    ]*define" $tmp/in >/dev/null; then' >>$CONFIG_STATUS

 echo '  # If there are no defines, we may have an empty if/fi' >>$CONFIG_STATUS
 echo '  :' >>$CONFIG_STATUS
 rm -f conftest.tail
 echo '  # If there are no defines, we may have an empty if/fi' >>$CONFIG_STATUS
 echo '  :' >>$CONFIG_STATUS
 rm -f conftest.tail


@@ -4947,7 +4668,7 @@ do
   mv conftest.tail conftest.defines
 done
 rm -f conftest.defines
   mv conftest.tail conftest.defines
 done
 rm -f conftest.defines

-echo '  fi # grep' >>$CONFIG_STATUS
+echo '  fi # egrep' >>$CONFIG_STATUS

 echo >>$CONFIG_STATUS
 
 # Break up conftest.undefs because some shells have a limit on the size
 echo >>$CONFIG_STATUS
 
 # Break up conftest.undefs because some shells have a limit on the size


@@ -4987,7 +4708,7 @@ cat >>$CONFIG_STATUS <<\_ACEOF
   cat $tmp/in >>$tmp/config.h
   rm -f $tmp/in
   if test x"$ac_file" != x-; then
   cat $tmp/in >>$tmp/config.h
   rm -f $tmp/in
   if test x"$ac_file" != x-; then

-    if diff $ac_file $tmp/config.h >/dev/null 2>&1; then
+    if cmp -s $ac_file $tmp/config.h 2>/dev/null; then

       { echo "$as_me:$LINENO: $ac_file is unchanged" >&5
 echo "$as_me: $ac_file is unchanged" >&6;}
     else
       { echo "$as_me:$LINENO: $ac_file is unchanged" >&5
 echo "$as_me: $ac_file is unchanged" >&6;}
     else


@@ -5003,30 +4724,25 @@ echo X"$ac_file" |
          /^X\(\/\/\)$/{ s//\1/; q; }
          /^X\(\/\).*/{ s//\1/; q; }
          s/.*/./; q'`
          /^X\(\/\/\)$/{ s//\1/; q; }
          /^X\(\/\).*/{ s//\1/; q; }
          s/.*/./; q'`

-      { if $as_mkdir_p; then
-    mkdir -p "$ac_dir"
-  else
-    as_dir="$ac_dir"
-    as_dirs=
-    while test ! -d "$as_dir"; do
-      as_dirs="$as_dir $as_dirs"
-      as_dir=`(dirname "$as_dir") 2>/dev/null ||
-$as_expr X"$as_dir" : 'X\(.*[^/]\)//*[^/][^/]*/*$' \| \
-         X"$as_dir" : 'X\(//\)[^/]' \| \
-         X"$as_dir" : 'X\(//\)$' \| \
-         X"$as_dir" : 'X\(/\)' \| \
-         .     : '\(.\)' 2>/dev/null ||
-echo X"$as_dir" |
-    sed '/^X\(.*[^/]\)\/\/*[^/][^/]*\/*$/{ s//\1/; q; }
-         /^X\(\/\/\)[^/].*/{ s//\1/; q; }
-         /^X\(\/\/\)$/{ s//\1/; q; }
-         /^X\(\/\).*/{ s//\1/; q; }
-         s/.*/./; q'`
-    done
-    test ! -n "$as_dirs" || mkdir $as_dirs
-  fi || { { echo "$as_me:$LINENO: error: cannot create directory \"$ac_dir\"" >&5
-echo "$as_me: error: cannot create directory \"$ac_dir\"" >&2;}
-   { (exit 1); exit 1; }; }; }
+      { case "$ac_dir" in
+  [\\/]* | ?:[\\/]* ) as_incr_dir=;;
+  *)                      as_incr_dir=.;;
+esac
+as_dummy="$ac_dir"
+for as_mkdir_dir in `IFS='/\\'; set X $as_dummy; shift; echo "$@"`; do
+  case $as_mkdir_dir in
+    # Skip DOS drivespec
+    ?:) as_incr_dir=$as_mkdir_dir ;;
+    *)
+      as_incr_dir=$as_incr_dir/$as_mkdir_dir
+      test -d "$as_incr_dir" ||
+        mkdir "$as_incr_dir" ||
+       { { echo "$as_me:$LINENO: error: cannot create \"$ac_dir\"" >&5
+echo "$as_me: error: cannot create \"$ac_dir\"" >&2;}
+   { (exit 1); exit 1; }; }
+    ;;
+  esac
+done; }

 
       rm -f $ac_file
       mv $tmp/config.h $ac_file
 
       rm -f $ac_file
       mv $tmp/config.h $ac_file


@@ -5091,7 +4807,7 @@ esac
 # Don't blindly perform a `cd "$ac_dir"/$ac_foo && pwd` since $ac_foo can be
 # absolute.
 ac_abs_builddir=`cd "$ac_dir" && cd $ac_builddir && pwd`
 # Don't blindly perform a `cd "$ac_dir"/$ac_foo && pwd` since $ac_foo can be
 # absolute.
 ac_abs_builddir=`cd "$ac_dir" && cd $ac_builddir && pwd`

-ac_abs_top_builddir=`cd "$ac_dir" && cd ${ac_top_builddir}. && pwd`
+ac_abs_top_builddir=`cd "$ac_dir" && cd $ac_top_builddir && pwd`

 ac_abs_srcdir=`cd "$ac_dir" && cd $ac_srcdir && pwd`
 ac_abs_top_srcdir=`cd "$ac_dir" && cd $ac_top_srcdir && pwd`
 
 ac_abs_srcdir=`cd "$ac_dir" && cd $ac_srcdir && pwd`
 ac_abs_top_srcdir=`cd "$ac_dir" && cd $ac_top_srcdir && pwd`
 


@@ -5160,30 +4876,25 @@ echo X"$file" |
          /^X\(\/\/\)$/{ s//\1/; q; }
          /^X\(\/\).*/{ s//\1/; q; }
          s/.*/./; q'`
          /^X\(\/\/\)$/{ s//\1/; q; }
          /^X\(\/\).*/{ s//\1/; q; }
          s/.*/./; q'`

-    { if $as_mkdir_p; then
-    mkdir -p $dirpart/$fdir
-  else
-    as_dir=$dirpart/$fdir
-    as_dirs=
-    while test ! -d "$as_dir"; do
-      as_dirs="$as_dir $as_dirs"
-      as_dir=`(dirname "$as_dir") 2>/dev/null ||
-$as_expr X"$as_dir" : 'X\(.*[^/]\)//*[^/][^/]*/*$' \| \
-         X"$as_dir" : 'X\(//\)[^/]' \| \
-         X"$as_dir" : 'X\(//\)$' \| \
-         X"$as_dir" : 'X\(/\)' \| \
-         .     : '\(.\)' 2>/dev/null ||
-echo X"$as_dir" |
-    sed '/^X\(.*[^/]\)\/\/*[^/][^/]*\/*$/{ s//\1/; q; }
-         /^X\(\/\/\)[^/].*/{ s//\1/; q; }
-         /^X\(\/\/\)$/{ s//\1/; q; }
-         /^X\(\/\).*/{ s//\1/; q; }
-         s/.*/./; q'`
-    done
-    test ! -n "$as_dirs" || mkdir $as_dirs
-  fi || { { echo "$as_me:$LINENO: error: cannot create directory $dirpart/$fdir" >&5
-echo "$as_me: error: cannot create directory $dirpart/$fdir" >&2;}
-   { (exit 1); exit 1; }; }; }
+    { case $dirpart/$fdir in
+  [\\/]* | ?:[\\/]* ) as_incr_dir=;;
+  *)                      as_incr_dir=.;;
+esac
+as_dummy=$dirpart/$fdir
+for as_mkdir_dir in `IFS='/\\'; set X $as_dummy; shift; echo "$@"`; do
+  case $as_mkdir_dir in
+    # Skip DOS drivespec
+    ?:) as_incr_dir=$as_mkdir_dir ;;
+    *)
+      as_incr_dir=$as_incr_dir/$as_mkdir_dir
+      test -d "$as_incr_dir" ||
+        mkdir "$as_incr_dir" ||
+       { { echo "$as_me:$LINENO: error: cannot create $dirpart/$fdir" >&5
+echo "$as_me: error: cannot create $dirpart/$fdir" >&2;}
+   { (exit 1); exit 1; }; }
+    ;;
+  esac
+done; }

 
     # echo "creating $dirpart/$file"
     echo '# dummy' > "$dirpart/$file"
 
     # echo "creating $dirpart/$file"
     echo '# dummy' > "$dirpart/$file"


@@ -5212,11 +4923,8 @@ ac_clean_files=$ac_clean_files_save
 # need to make the FD available again.
 if test "$no_create" != yes; then
   ac_cs_success=:
 # need to make the FD available again.
 if test "$no_create" != yes; then
   ac_cs_success=:

-  ac_config_status_args=
-  test "$silent" = yes &&
-    ac_config_status_args="$ac_config_status_args --quiet"

   exec 5>/dev/null
   exec 5>/dev/null

-  $SHELL $CONFIG_STATUS $ac_config_status_args || ac_cs_success=false
+  $SHELL $CONFIG_STATUS || ac_cs_success=false

   exec 5>>config.log
   # Use ||, not &&, to avoid exiting from the if with $? = 1, which
   # would make configure fail if this is the last instruction.
   exec 5>>config.log
   # Use ||, not &&, to avoid exiting from the if with $? = 1, which
   # would make configure fail if this is the last instruction.

diff --git a/configure.ac b/configure.ac
index 1fec42d046dd96569e589c1e5012fac4a645e6ad..80d85d28074eca34c645fe309ffc5b3c924124a3 100644 (file)
--- a/configure.ac
+++ b/configure.ac
@@ -1,7 +1,7 @@
 dnl Process with autoconf to create a configure script  -*- Autoconf -*-
 AC_PREREQ(2.50)
 
 dnl Process with autoconf to create a configure script  -*- Autoconf -*-
 AC_PREREQ(2.50)
 

-AC_INIT([Splint], [3.1.1], [splint-bug@splint.org], [splint])
+AC_INIT([Splint], [3.1.1.1], [splint-bug@splint.org], [splint])

 
 dnl This MUST precede any other macro
 AC_CONFIG_AUX_DIR([config])
 
 dnl This MUST precede any other macro
 AC_CONFIG_AUX_DIR([config])


@@ -17,8 +17,8 @@ AM_INIT_AUTOMAKE(AC_PACKAGE_TARNAME, AC_PACKAGE_VERSION, AC_PACKAGE_BUGREPORT)
 AM_CONFIG_HEADER([config.h:config.hin])
 
 dnl Prepare for Splint processing of config.h
 AM_CONFIG_HEADER([config.h:config.hin])
 
 dnl Prepare for Splint processing of config.h

-AH_TOP([/*@-constmacros@*/])
-AH_BOTTOM([/*@=constmacros@*/])
+AH_TOP([/*@ -constmacros@*/])
+AH_BOTTOM([/*@ =constmacros@*/])

 
 dnl Checks for programs.
 #drl 12-19-2001 commented out so Splint won't depend on C++
 
 dnl Checks for programs.
 #drl 12-19-2001 commented out so Splint won't depend on C++

diff --git a/doc/manual.doc b/doc/manual.doc
index 0eaeb5a75ef17a53c7086a2ae93623af593f72a4..aa37b3880dfd8b6f4bc0880e9b74e1d3a183890a 100644 (file)
Binary files a/doc/manual.doc and b/doc/manual.doc differ

diff --git a/doc/manual.pdf b/doc/manual.pdf
index 5d14c0266cd0265876d9199d8e7c88b018a2ceeb..67ee5f28d5c8ffda2f8bb2d9c8c76800c31fc5a1 100755 (executable)
Binary files a/doc/manual.pdf and b/doc/manual.pdf differ

diff --git a/install.html b/install.html
index 14580cc95bd4048e49aa1e0a32e01c3dcfbb249f..e4ff5fee36e698692317bab8e4b892ed168bfd8d 100755 (executable)
--- a/install.html
+++ b/install.html
@@ -59,7 +59,9 @@ GNU's make utility is required; it may be named
    It is best to do this in an emacs shell or a buffered terminal,
    so you can scroll through the output.
 <p>
    It is best to do this in an emacs shell or a buffered terminal,
    so you can scroll through the output.
 <p>

-This builds Splint.
+This builds Splint.  While it is building, subscribe to the
+splint-announce mailing list by visiting
+http://www.splint.org/lists.html

 <p>
 If the build was successful, it then runs the test
 suite.  You should see:
 <p>
 If the build was successful, it then runs the test
 suite.  You should see:


@@ -69,7 +71,6 @@ Testing splint 3.1.1...
 
 Version Info:
 Splint 3.1.1 --- 11 Feb 2002
 
 Version Info:
 Splint 3.1.1 --- 11 Feb 2002

-

 Maintainer: splint-bug@splint.org
 
 <em>... (about 100 lines of test output elided)</em>
 Maintainer: splint-bug@splint.org
 
 <em>... (about 100 lines of test output elided)</em>

diff --git a/src/Headers/cpplib.h b/src/Headers/cpplib.h
index e00c063c5788eb0a1a93af8df52d782e4f78d984..bc44c01b8d344c57b8b70f3f63527c242477ce38 100644 (file)
--- a/src/Headers/cpplib.h
+++ b/src/Headers/cpplib.h
@@ -402,7 +402,7 @@ extern bool cppReader_isTraditional (/*@special@*/ cppReader *p_pfile)
     /*@uses p_pfile->opts@*/
    /*@modifies nothing@*/ ; 
 
     /*@uses p_pfile->opts@*/
    /*@modifies nothing@*/ ; 
 

-#define cppReader_isTraditional(PFILE) (CPPOPTIONS(PFILE)-> traditional)
+#define cppReader_isTraditional(PFILE) (CPPOPTIONS(PFILE)->traditional)

 
 extern bool cppReader_isPedantic (cppReader *) /*@*/; 
 #define cppReader_isPedantic(PFILE) (CPPOPTIONS (PFILE)->pedantic)
 
 extern bool cppReader_isPedantic (cppReader *) /*@*/; 
 #define cppReader_isPedantic(PFILE) (CPPOPTIONS (PFILE)->pedantic)

diff --git a/src/Makefile.in b/src/Makefile.in
index 534fbe5bab5fd46bb879621c27fd3a31f2499dcb..be75a1a164bc6e547f26dc30f921ce1bf5a74051 100644 (file)
--- a/src/Makefile.in
+++ b/src/Makefile.in
@@ -632,7 +632,7 @@ CCLD = $(CC)
 LINK = $(CCLD) $(AM_CFLAGS) $(CFLAGS) $(AM_LDFLAGS) $(LDFLAGS) -o $@
 CFLAGS = @CFLAGS@
 DIST_SOURCES = $(lcl_SOURCES) $(splint_SOURCES)
 LINK = $(CCLD) $(AM_CFLAGS) $(CFLAGS) $(AM_LDFLAGS) $(LDFLAGS) -o $@
 CFLAGS = @CFLAGS@
 DIST_SOURCES = $(lcl_SOURCES) $(splint_SOURCES)

-DIST_COMMON = Makefile.am Makefile.in
+DIST_COMMON = Makefile.am Makefile.in TODO

 SOURCES = $(lcl_SOURCES) $(splint_SOURCES)
 
 all: $(BUILT_SOURCES)
 SOURCES = $(lcl_SOURCES) $(splint_SOURCES)
 
 all: $(BUILT_SOURCES)

diff --git a/src/cpplib.c b/src/cpplib.c
index 09d9d103456339a4d76fa6de26c7eab316b7211b..fbbf3ad09cda75d9fda403d031fd49520e7e2b58 100644 (file)
--- a/src/cpplib.c
+++ b/src/cpplib.c
@@ -238,6 +238,10 @@ static int cpp_peekN (cppReader *p_pfile, int p_n) /*@*/ ;
 # define cppBuffer_get(BUFFER) \
   ((BUFFER)->cur < (BUFFER)->rlimit ? *(BUFFER)->cur++ : EOF)
 
 # define cppBuffer_get(BUFFER) \
   ((BUFFER)->cur < (BUFFER)->rlimit ? *(BUFFER)->cur++ : EOF)
 

+/*@function static int cppBuffer_reachedEOF (sef cppBuffer *p_b) modifies nothing; @*/
+# define cppBuffer_reachedEOF(b) \
+  ((b)->cur < (b)->rlimit ? FALSE : TRUE)
+

 /* Append string STR (of length N) to PFILE's output buffer.  Make space. */
 /*@function static void cppReader_puts (sef cppReader *p_file, char *p_str, sef size_t p_n)
                      modifies *p_file; @*/
 /* Append string STR (of length N) to PFILE's output buffer.  Make space. */
 /*@function static void cppReader_puts (sef cppReader *p_file, char *p_str, sef size_t p_n)
                      modifies *p_file; @*/


@@ -295,6 +299,9 @@ static void cppBuffer_forward (cppBuffer *p_buf, int p_n) /*@modifies *p_buf@*/
 /*@function static int cppReader_getC (cppReader *p_pfile) modifies *p_pfile; @*/
 # define cppReader_getC(pfile)   (cppBuffer_get (cppReader_getBufferSafe (pfile)))
 
 /*@function static int cppReader_getC (cppReader *p_pfile) modifies *p_pfile; @*/
 # define cppReader_getC(pfile)   (cppBuffer_get (cppReader_getBufferSafe (pfile)))
 

+/*@function static int cppReader_reachedEOF (sef cppReader *p_pfile) modifies *p_pfile; @*/
+# define cppReader_reachedEOF(pfile)   (cppBuffer_reachedEOF (cppReader_getBufferSafe (pfile)))
+

 /*@function static int cppReader_peekC (cppReader *) modifies nothing;@*/
 # define cppReader_peekC(pfile)  (cpplib_bufPeek (cppReader_getBufferSafe (pfile)))
 
 /*@function static int cppReader_peekC (cppReader *) modifies nothing;@*/
 # define cppReader_peekC(pfile)  (cpplib_bufPeek (cppReader_getBufferSafe (pfile)))
 


@@ -6110,14 +6117,18 @@ get_next:
                                      &start_line, &start_column);
          old_written = cpplib_getWritten (pfile);
        string:
                                      &start_line, &start_column);
          old_written = cpplib_getWritten (pfile);
        string:

-         DPRINTF (("Put char: %c", c));
+         DPRINTF (("Reading string: %c", c));

          cppReader_putChar (pfile, c);
          while (TRUE)
            {
          cppReader_putChar (pfile, c);
          while (TRUE)
            {

-             int cc = cppReader_getC (pfile);
-             DPRINTF (("cc: %c", c));
-             if (cc == EOF)
+             /* evans-2003-06-07
+             ** Because of ISO8859-1 characters in string literals, we need a special test here.
+             */
+
+             if (cppReader_reachedEOF (pfile)) 

                {
                {

+                 
+                 DPRINTF (("Matches EOF!"));

                  if (cppBuffer_isMacro (CPPBUFFER (pfile)))
                    {
                      /* try harder: this string crosses a macro expansion
                  if (cppBuffer_isMacro (CPPBUFFER (pfile)))
                    {
                      /* try harder: this string crosses a macro expansion


@@ -6131,13 +6142,14 @@ get_next:
                      CPPBUFFER (pfile) = next_buf;
                      continue;
                    }
                      CPPBUFFER (pfile) = next_buf;
                      continue;
                    }

+                 

                  if (!cppReader_isTraditional (pfile))
                    {
                      cpp_setLocation (pfile);
 
                      setLine (long_toInt (start_line));
                      setColumn (long_toInt (start_column));
                  if (!cppReader_isTraditional (pfile))
                    {
                      cpp_setLocation (pfile);
 
                      setLine (long_toInt (start_line));
                      setColumn (long_toInt (start_column));

-
+                     

                      if (pfile->multiline_string_line != long_toInt (start_line)
                          && pfile->multiline_string_line != 0)
                        {
                      if (pfile->multiline_string_line != long_toInt (start_line)
                          && pfile->multiline_string_line != 0)
                        {


@@ -6157,59 +6169,64 @@ get_next:
                             message ("Unterminated string or character constant"));
                        }
                    }
                             message ("Unterminated string or character constant"));
                        }
                    }

-                 /*@loopbreak@*/ break;
-               }
-             DPRINTF (("putting char: %c", cc));
-             cppReader_putChar (pfile, cc);
-             switch (cc)
+                 /*@loopbreak@*/ break;                  
+               } 
+             else

                {
                {

-               case '\n':
-                 /* Traditionally, end of line ends a string constant with
-                    no error.  So exit the loop and record the new line.  */
-                 if (cppReader_isTraditional (pfile))
-                   goto while2end;
-                 if (c == '\'')
-                   {
-                     goto while2end;
-                   }
-                 if (cppReader_isPedantic (pfile)
-                     && pfile->multiline_string_line == 0)
-                   {
-                     cppReader_pedwarnWithLine
-                       (pfile, long_toInt (start_line),
-                        long_toInt (start_column),
-                        cstring_makeLiteral ("String constant runs past end of line"));
-                   }
-                 if (pfile->multiline_string_line == 0)
-                   {
-                     pfile->multiline_string_line = start_line;
-                   }
-
-                 /*@switchbreak@*/ break;
-
-               case '\\':
-                 cc = cppReader_getC (pfile);
-                 if (cc == '\n')
-                   {
-                     /* Backslash newline is replaced by nothing at all.  */
-                     cppReader_adjustWritten (pfile, -1);
-                     pfile->lineno++;
-                   }
-                 else
+                 int cc = cppReader_getC (pfile); 
+                 DPRINTF (("cc: %c [%d] [%d]", cc, cc, EOF));
+                 DPRINTF (("putting char: %c", cc));
+                 cppReader_putChar (pfile, cc);
+                 switch (cc)

                    {
                    {

-                     /* ANSI stupidly requires that in \\ the second \
-                        is *not* prevented from combining with a newline.  */
-                     NEWLINE_FIX1(cc);
-                     if (cc != EOF)
-                       cppReader_putChar (pfile, cc);
+                   case '\n':
+                     /* Traditionally, end of line ends a string constant with
+                        no error.  So exit the loop and record the new line.  */
+                     if (cppReader_isTraditional (pfile))
+                       goto while2end;
+                     if (c == '\'')
+                       {
+                         goto while2end;
+                       }
+                     if (cppReader_isPedantic (pfile)
+                         && pfile->multiline_string_line == 0)
+                       {
+                         cppReader_pedwarnWithLine
+                           (pfile, long_toInt (start_line),
+                            long_toInt (start_column),
+                            cstring_makeLiteral ("String constant runs past end of line"));
+                       }
+                     if (pfile->multiline_string_line == 0)
+                       {
+                         pfile->multiline_string_line = start_line;
+                       }
+                     
+                     /*@switchbreak@*/ break;
+                     
+                   case '\\':
+                     cc = cppReader_getC (pfile);
+                     if (cc == '\n')
+                       {
+                         /* Backslash newline is replaced by nothing at all.  */
+                         cppReader_adjustWritten (pfile, -1);
+                         pfile->lineno++;
+                       }
+                     else
+                       {
+                         /* ANSI stupidly requires that in \\ the second \
+                            is *not* prevented from combining with a newline.  */
+                         NEWLINE_FIX1(cc);
+                         if (cc != EOF)
+                           cppReader_putChar (pfile, cc);
+                       }
+                     /*@switchbreak@*/ break;
+                     
+                   case '\"':
+                   case '\'':
+                     if (cc == c)
+                       goto while2end;
+                     /*@switchbreak@*/ break;

                    }
                    }

-                 /*@switchbreak@*/ break;
-
-               case '\"':
-               case '\'':
-                 if (cc == c)
-                   goto while2end;
-                 /*@switchbreak@*/ break;

                }
            }
        while2end:
                }
            }
        while2end:

diff --git a/src/exprNode.c b/src/exprNode.c
index a4846a0dd7aa2525df09937a2a696c0f77ba728e..b8a3c056dca8d3283f8d5a386e1eb9562b8e52dd 100644 (file)
--- a/src/exprNode.c
+++ b/src/exprNode.c
@@ -9888,11 +9888,11 @@ exprNode_matchLiteral (ctype expected, exprNode e)
            }
          else if (multiVal_isChar (m))
            {
            }
          else if (multiVal_isChar (m))
            {

-             char val = multiVal_forceChar (m);          
+             /*signed? */ char val = multiVal_forceChar (m);      

              
              if (ctype_isChar (expected))
                {
              
              if (ctype_isChar (expected))
                {

-                 if (ctype_isUnsigned (expected) && ((int)val) < 0)
+                 if (ctype_isUnsigned (expected) && ((int) val) < 0)

                    {
                      return FALSE;
                    }
                    {
                      return FALSE;
                    }

diff --git a/src/flags.def b/src/flags.def
index a41648d4b64209f61ad13f8a52cdd17adca65692..cd424280fd98f58dfad27c570febe98e3179653d 100644 (file)
--- a/src/flags.def
+++ b/src/flags.def
@@ -1920,7 +1920,7 @@ static flaglist flags =
   },
   {
     FK_BOUNDS, FK_MEMORY, plainFlag,
   },
   {
     FK_BOUNDS, FK_MEMORY, plainFlag,

-    "likely-boundsread",
+    "likelyboundsread",

     FLG_LIKELYBOUNDSREAD,
     "likely out of bounds read",
     "A memory read references memory beyond the allocated storage.",
     FLG_LIKELYBOUNDSREAD,
     "likely out of bounds read",
     "A memory read references memory beyond the allocated storage.",


@@ -1928,7 +1928,7 @@ static flaglist flags =
   },
   {
     FK_BOUNDS, FK_MEMORY, plainFlag,
   },
   {
     FK_BOUNDS, FK_MEMORY, plainFlag,

-    "likely-boundswrite",
+    "likelyboundswrite",

     FLG_LIKELYBOUNDSWRITE,
     "likely buffer overflow from an out of bounds write",
     "A memory write may write to an address beyond the allocated buffer.",
     FLG_LIKELYBOUNDSWRITE,
     "likely buffer overflow from an out of bounds write",
     "A memory write may write to an address beyond the allocated buffer.",


@@ -1995,16 +1995,6 @@ static flaglist flags =
     NULL,
     0, 0
   },
     NULL,
     0, 0
   },

-  
-  {
-    FK_BOUNDS, FK_MEMORY, plainFlag,
-    "nullterminated",
-    FLG_NULLTERMINATEDWARNING,
-    "misuse of nullterminated allocation",
-    "A user annotated non-nullterminated buffer is used/referenced as a nullterminated one.",
-    0, 0
-  },
-  

   {
     FK_BOUNDS, FK_DISPLAY, plainFlag,
     "showconstraintparens",
   {
     FK_BOUNDS, FK_DISPLAY, plainFlag,
     "showconstraintparens",


@@ -2127,7 +2117,7 @@ static flaglist flags =
   },
   {
     FK_MACROS, FK_CONTROL, modeFlag,
   },
   {
     FK_MACROS, FK_CONTROL, modeFlag,

-    "macroreturn",
+    "macroret",

     FLG_MACRORETURN,
     "return statement in macro body",
     "The body of a macro declared as a function uses a return statement. "
     FLG_MACRORETURN,
     "return statement in macro body",
     "The body of a macro declared as a function uses a return statement. "

diff --git a/src/lltok.c b/src/lltok.c
index 0ae456861132093ecbd89426ae2bee4aecebf131..3f2c77e569a9a260855fec3e37031a70ff891337 100644 (file)
--- a/src/lltok.c
+++ b/src/lltok.c
@@ -204,12 +204,12 @@ lltok_unparse (lltok tok)
     case TRBRACE:    lit = "}"; break;
     case TCOMMA:     lit = ","; break;
     case TCOLON:     lit = ":"; break;
     case TRBRACE:    lit = "}"; break;
     case TCOMMA:     lit = ","; break;
     case TCOLON:     lit = ":"; break;

-    case TASSIGN:        lit = "="; break;
+    case TASSIGN:    lit = "="; break;

     case TLPAREN:    lit = "("; break;
     case TRPAREN:    lit = ")"; break;
     case TLSQBR:     lit = "["; break;
     case TRSQBR:     lit = "]"; break;
     case TLPAREN:    lit = "("; break;
     case TRPAREN:    lit = ")"; break;
     case TLSQBR:     lit = "["; break;
     case TRSQBR:     lit = "]"; break;

-    case TDOT:       lit = "->"; break;
+    case TDOT:       lit = "."; break; /* evans 2003-05-31: Fix reported by psanzani. */

     case TAMPERSAND: lit = "&"; break;
     case TEXCL:      lit = "!"; break;
     case TTILDE:     lit = "~"; break;
     case TAMPERSAND: lit = "&"; break;
     case TEXCL:      lit = "!"; break;
     case TTILDE:     lit = "~"; break;

diff --git a/src/uentry.c b/src/uentry.c
index 831bcbf64aef3b13ce3e1d3ce93f42c12094fd76..a35ff69b81b054e6d5cec485224dd28c366a62cd 100644 (file)
--- a/src/uentry.c
+++ b/src/uentry.c
@@ -3074,35 +3074,46 @@ uentry_isSpecialFunction (uentry ue)
   uentry ue = uentry_makeVariableSrefParam (idDecl_observeId (t), ct, loc, pref);
 
   DPRINTF (("Make param: %s", uentry_unparseFull (ue)));
   uentry ue = uentry_makeVariableSrefParam (idDecl_observeId (t), ct, loc, pref);
 
   DPRINTF (("Make param: %s", uentry_unparseFull (ue)));

+  DPRINTF (("Base: %s [%d]", ctype_unparse (base), ctype_isFixedArray (base)));

   uentry_reflectQualifiers (ue, idDecl_getQuals (t));
   uentry_implicitParamAnnots (ue);
 
   uentry_reflectQualifiers (ue, idDecl_getQuals (t));
   uentry_implicitParamAnnots (ue);
 

-  /* Parameter type [][] or [x][] is invalid */
+  /* Parameter type [][] or [x][] is invalid, but [][x] is okay */

 
 

-  while (ctype_isFixedArray (base)) {
-    base = ctype_baseArrayPtr (base);
-  }
+  while (ctype_isFixedArray (base)) 
+    {
+      base = ctype_baseArrayPtr (base);
+    }

   
   

-  if (ctype_isIncompleteArray (base)) {
-    base = ctype_baseArrayPtr (base);
-
-    if (ctype_isArray (base)) {
-      if (!uentry_hasName (ue)) {
-       (void) optgenerror (FLG_INCOMPLETETYPE, 
-                           message ("Unnamed function parameter %d is incomplete type (inner array must have bounds): %s",
-                                    i + 1,
-                                    ctype_unparse (ct)),
-                           uentry_whereLast (ue));
-      } else {
-       (void) optgenerror (FLG_INCOMPLETETYPE, 
-                           message ("Function parameter %q is incomplete type (inner array must have bounds): %s",
-                                    uentry_getName (ue),
-                                    ctype_unparse (ct)),
-                           uentry_whereLast (ue));
-      }
+  DPRINTF (("Base: %s", ctype_unparse (base)));
+  
+  if (ctype_isIncompleteArray (base)) 
+    {
+      base = ctype_baseArrayPtr (base);
+      DPRINTF (("Base: %s", ctype_unparse (base)));
+      if (ctype_isArray (base))
+       {
+         if (!uentry_hasName (ue)) 
+           {
+             voptgenerror 
+               (FLG_INCOMPLETETYPE, 
+                message ("Unnamed function parameter %d is incomplete type (inner array must have bounds): %s",
+                         i + 1,
+                         ctype_unparse (ct)),
+                uentry_whereLast (ue));
+           } 
+         else 
+           {
+             voptgenerror 
+               (FLG_INCOMPLETETYPE, 
+                message ("Function parameter %q is incomplete type (inner array must have bounds): %s",
+                         uentry_getName (ue),
+                         ctype_unparse (ct)),
+                uentry_whereLast (ue));
+           }
+       }

     }
     }

-  }
-
+  

   DPRINTF (("Param: %s", uentry_unparseFull (ue)));
   return ue;
 }
   DPRINTF (("Param: %s", uentry_unparseFull (ue)));
   return ue;
 }

diff --git a/test/Makefile.am b/test/Makefile.am
index 4fd04a8773498d7c5b7d7f0c172da70fa6ee6fe8..07acfc98fccf68fc50de2b82a7bf2ebf5fddcab7 100644 (file)
--- a/test/Makefile.am
+++ b/test/Makefile.am
@@ -49,7 +49,7 @@ UNITTESTS = \
   macros macrosef merge mergenull modifies modtest moduncon \
   mongoincludes mystrncat noeffect null nullret nullassign numabstract observer oldstyle outglob outparam \
   parentype postnotnull preds prefixes printflike rc refcounts release repexpose \
   macros macrosef merge mergenull modifies modtest moduncon \
   mongoincludes mystrncat noeffect null nullret nullassign numabstract observer oldstyle outglob outparam \
   parentype postnotnull preds prefixes printflike rc refcounts release repexpose \

-  returned sharing shifts sizesigns slovaknames \
+  returned russian sharing shifts sizesigns slovaknames \

   specclauses \
   special stack staticarray strings \
   stringliteral \
   specclauses \
   special stack staticarray strings \
   stringliteral \


@@ -734,6 +734,11 @@ repexpose:
 returned:
        ${SPLINTR} returned.c -expect 1
 
 returned:
        ${SPLINTR} returned.c -expect 1
 

+### russian added 2003-06-07: bug reported in pre-processing non-standard characters.
+.PHONY: russian
+russian:
+       ${SPLINTR} russian.c 
+

 .PHONY: sharing
 sharing: 
        -$(SPLINTR) sharing1.c -expect 21
 .PHONY: sharing
 sharing: 
        -$(SPLINTR) sharing1.c -expect 21

diff --git a/test/Makefile.in b/test/Makefile.in
index 79e5c88a1a51cd4b347f50e112b1593570790484..ab267a78318ca735fa370802d3c15dd205d403b0 100644 (file)
--- a/test/Makefile.in
+++ b/test/Makefile.in
@@ -137,7 +137,7 @@ UNITTESTS = \
   macros macrosef merge mergenull modifies modtest moduncon \
   mongoincludes mystrncat noeffect null nullret nullassign numabstract observer oldstyle outglob outparam \
   parentype postnotnull preds prefixes printflike rc refcounts release repexpose \
   macros macrosef merge mergenull modifies modtest moduncon \
   mongoincludes mystrncat noeffect null nullret nullassign numabstract observer oldstyle outglob outparam \
   parentype postnotnull preds prefixes printflike rc refcounts release repexpose \

-  returned sharing shifts sizesigns slovaknames \
+  returned russian sharing shifts sizesigns slovaknames \

   specclauses \
   special stack staticarray strings \
   stringliteral \
   specclauses \
   special stack staticarray strings \
   stringliteral \


@@ -1537,6 +1537,11 @@ repexpose:
 returned:
        ${SPLINTR} returned.c -expect 1
 
 returned:
        ${SPLINTR} returned.c -expect 1
 

+### russian added 2003-06-07: bug reported in pre-processing non-standard characters.
+.PHONY: russian
+russian:
+       ${SPLINTR} russian.c 
+

 .PHONY: sharing
 sharing: 
        -$(SPLINTR) sharing1.c -expect 21
 .PHONY: sharing
 sharing: 
        -$(SPLINTR) sharing1.c -expect 21

diff --git a/test/help.expect b/test/help.expect
index 4fbb2dc709009d177c8e139fa4124c5480190e09..a2e60aca5a2a81858fd581d234b519c706db114f 100644 (file)
--- a/test/help.expect
+++ b/test/help.expect
@@ -270,10 +270,10 @@ Finished checking --- no code processed
    legacy                      
    lh                          
    libmacros                   
    legacy                      
    lh                          
    libmacros                   

-   likely-boundsread           
-   likely-boundswrite          

    likelybool                  
    likelybounds                
    likelybool                  
    likelybounds                

+   likelyboundsread            
+   likelyboundswrite           

    limit                       
    linelen                     
    lintcomments                
    limit                       
    linelen                     
    lintcomments                


@@ -299,7 +299,7 @@ Finished checking --- no code processed
    macroparams                 
    macroparens                 
    macroredef                  
    macroparams                 
    macroparens                 
    macroredef                  

-   macroreturn                 
+   macroret                    

    macrostmt                   
    macrounrecog                
    macrovarprefix              
    macrostmt                   
    macrounrecog                
    macrovarprefix              


@@ -365,7 +365,6 @@ Finished checking --- no code processed
    nullret                     
    nullstate                   
    nullterminated              
    nullret                     
    nullstate                   
    nullterminated              

-   nullterminated              

    numabstract                 
    numabstractcast             
    numabstractindex            
    numabstract                 
    numabstractcast             
    numabstractindex            

diff --git a/test/russian.c b/test/russian.c
new file mode 100644 (file)
index 0000000..1fe24d7
--- /dev/null
+++ b/test/russian.c
@@ -0,0 +1,10 @@
+char *russian[] =  
+  { "",
+    "ÏîíåäåëüíèÂê",  
+    "Âòîðíèê",    
+    "ÑðåäÂà",   
+    "×åòâåðã",     
+    "Ïÿòíèöà",    
+    "Ñóááîòà",  
+    "ÂîñêðåñåíüÂå",
+  } ;

diff --git a/test/russian.expect b/test/russian.expect
new file mode 100644 (file)
index 0000000..2b06c77
--- /dev/null
+++ b/test/russian.expect
@@ -0,0 +1,2 @@
+
+Finished checking --- no warnings

diff --git a/win32/Splint/SPLINT.DSW b/win32/Splint/SPLINT.DSW
deleted file mode 100755 (executable)
index 35ecad2..0000000
--- a/win32/Splint/SPLINT.DSW
+++ /dev/null
@@ -1,29 +0,0 @@
-Microsoft Developer Studio Workspace File, Format Version 6.00\r
-# WARNING: DO NOT EDIT OR DELETE THIS WORKSPACE FILE!\r
-\r
-###############################################################################\r
-\r
-Project: "Splint"=.\Splint.dsp - Package Owner=<4>\r
-\r
-Package=<5>\r
-{{{\r
-}}}\r
-\r
-Package=<4>\r
-{{{\r
-}}}\r
-\r
-###############################################################################\r
-\r
-Global:\r
-\r
-Package=<5>\r
-{{{\r
-}}}\r
-\r
-Package=<3>\r
-{{{\r
-}}}\r
-\r
-###############################################################################\r
-\r

diff --git a/win32/Splint/Splint.dsp b/win32/Splint/Splint.dsp
deleted file mode 100755 (executable)
index a98bee8..0000000
--- a/win32/Splint/Splint.dsp
+++ /dev/null
@@ -1,827 +0,0 @@
-# Microsoft Developer Studio Project File - Name="Splint" - Package Owner=<4>\r
-# Microsoft Developer Studio Generated Build File, Format Version 6.00\r
-# ** DO NOT EDIT **\r
-\r
-# TARGTYPE "Win32 (x86) Console Application" 0x0103\r
-\r
-CFG=Splint - Win32 Debug\r
-!MESSAGE This is not a valid makefile. To build this project using NMAKE,\r
-!MESSAGE use the Export Makefile command and run\r
-!MESSAGE \r
-!MESSAGE NMAKE /f "Splint.mak".\r
-!MESSAGE \r
-!MESSAGE You can specify a configuration when running NMAKE\r
-!MESSAGE by defining the macro CFG on the command line. For example:\r
-!MESSAGE \r
-!MESSAGE NMAKE /f "Splint.mak" CFG="Splint - Win32 Debug"\r
-!MESSAGE \r
-!MESSAGE Possible choices for configuration are:\r
-!MESSAGE \r
-!MESSAGE "Splint - Win32 Release" (based on "Win32 (x86) Console Application")\r
-!MESSAGE "Splint - Win32 Debug" (based on "Win32 (x86) Console Application")\r
-!MESSAGE \r
-\r
-# Begin Project\r
-# PROP AllowPerConfigDependencies 0\r
-# PROP Scc_ProjName ""\r
-# PROP Scc_LocalPath ""\r
-CPP=cl.exe\r
-RSC=rc.exe\r
-\r
-!IF  "$(CFG)" == "Splint - Win32 Release"\r
-\r
-# PROP BASE Use_MFC 0\r
-# PROP BASE Use_Debug_Libraries 0\r
-# PROP BASE Output_Dir "Release"\r
-# PROP BASE Intermediate_Dir "Release"\r
-# PROP BASE Target_Dir ""\r
-# PROP Use_MFC 0\r
-# PROP Use_Debug_Libraries 0\r
-# PROP Output_Dir "Release"\r
-# PROP Intermediate_Dir "Release"\r
-# PROP Ignore_Export_Lib 0\r
-# PROP Target_Dir ""\r
-# ADD BASE CPP /nologo /W3 /GX /O2 /D "WIN32" /D "NDEBUG" /D "_CONSOLE" /D "_MBCS" /YX /FD /c\r
-# ADD CPP /nologo /W3 /GX /O2 /I "\\Apollo\evans\LCLintDev\src\Headers" /D "NDEBUG" /D "WIN32" /D "_CONSOLE" /D "_MBCS" /D "HAVE_CONFIG_H" /FD /c\r
-# SUBTRACT CPP /YX\r
-# ADD BASE RSC /l 0x409 /d "NDEBUG"\r
-# ADD RSC /l 0x409 /d "NDEBUG"\r
-BSC32=bscmake.exe\r
-# ADD BASE BSC32 /nologo\r
-# ADD BSC32 /nologo\r
-LINK32=link.exe\r
-# ADD BASE LINK32 kernel32.lib user32.lib gdi32.lib winspool.lib comdlg32.lib advapi32.lib shell32.lib ole32.lib oleaut32.lib uuid.lib odbc32.lib odbccp32.lib kernel32.lib user32.lib gdi32.lib winspool.lib comdlg32.lib advapi32.lib shell32.lib ole32.lib oleaut32.lib uuid.lib odbc32.lib odbccp32.lib /nologo /subsystem:console /machine:I386\r
-# ADD LINK32 kernel32.lib user32.lib gdi32.lib winspool.lib comdlg32.lib advapi32.lib shell32.lib ole32.lib oleaut32.lib uuid.lib odbc32.lib odbccp32.lib setargv.obj /nologo /subsystem:console /machine:I386 /out:"K:/LCLintDev/win32/splint.exe"\r
-\r
-!ELSEIF  "$(CFG)" == "Splint - Win32 Debug"\r
-\r
-# PROP BASE Use_MFC 0\r
-# PROP BASE Use_Debug_Libraries 1\r
-# PROP BASE Output_Dir "Debug"\r
-# PROP BASE Intermediate_Dir "Debug"\r
-# PROP BASE Target_Dir ""\r
-# PROP Use_MFC 0\r
-# PROP Use_Debug_Libraries 1\r
-# PROP Output_Dir "Debug"\r
-# PROP Intermediate_Dir "Debug"\r
-# PROP Ignore_Export_Lib 0\r
-# PROP Target_Dir ""\r
-# ADD BASE CPP /nologo /W3 /Gm /GX /ZI /Od /D "WIN32" /D "_DEBUG" /D "_CONSOLE" /D "_MBCS" /YX /FD /GZ /c\r
-# ADD CPP /nologo /W3 /Gm /GX /ZI /Od /I "Headers" /I "\\Apollo\evans]LCLintDev\src\Headers" /I "\\Apollo\evans\LCLintDev\src\Headers" /D "_DEBUG" /D "WIN32" /D "_CONSOLE" /D "_MBCS" /D "HAVE_CONFIG_H" /FD /GZ /c\r
-# ADD BASE RSC /l 0x409 /d "_DEBUG"\r
-# ADD RSC /l 0x409 /d "_DEBUG"\r
-BSC32=bscmake.exe\r
-# ADD BASE BSC32 /nologo\r
-# ADD BSC32 /nologo\r
-LINK32=link.exe\r
-# ADD BASE LINK32 kernel32.lib user32.lib gdi32.lib winspool.lib comdlg32.lib advapi32.lib shell32.lib ole32.lib oleaut32.lib uuid.lib odbc32.lib odbccp32.lib kernel32.lib user32.lib gdi32.lib winspool.lib comdlg32.lib advapi32.lib shell32.lib ole32.lib oleaut32.lib uuid.lib odbc32.lib odbccp32.lib /nologo /subsystem:console /debug /machine:I386 /pdbtype:sept\r
-# ADD LINK32 setargv.obj kernel32.lib user32.lib gdi32.lib winspool.lib comdlg32.lib advapi32.lib shell32.lib ole32.lib oleaut32.lib uuid.lib odbc32.lib odbccp32.lib /nologo /subsystem:console /debug /machine:I386 /out:"K:\LCLintDev\win32\Splint.exe" /pdbtype:sept\r
-\r
-!ENDIF \r
-\r
-# Begin Target\r
-\r
-# Name "Splint - Win32 Release"\r
-# Name "Splint - Win32 Debug"\r
-# Begin Group "Source Files"\r
-\r
-# PROP Default_Filter "cpp;c;cxx;rc;def;r;odl;idl;hpj;bat"\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\abstract.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\aliasTable.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\annotationInfo.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\annotationTable.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\cgrammar.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\checking.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\clabstract.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\clause.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\clauseStack.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\constraint.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\constraintExpr.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\constraintExprData.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\constraintGeneration.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\constraintList.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\constraintOutput.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\constraintResolve.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\constraintTerm.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\context.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\cpperror.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\cppexp.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\cpphash.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\cpplib.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\cppmain.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\cprim.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\cscanner.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\cstring.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\cstringList.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\cstringSList.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\cstringTable.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\ctype.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\ctypeList.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\cvar.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\declaratorInvNodeList.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\declaratorNodeList.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\ekind.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\enumNameList.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\enumNameSList.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\exprChecks.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\exprData.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\exprNode.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\exprNodeList.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\exprNodeSList.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\fcnNodeList.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\fileIdList.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\fileLib.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\fileloc.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\filelocList.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\filelocStack.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\fileTable.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\flagMarker.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\flagMarkerList.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\flags.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\flagSpec.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\functionClause.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\functionClauseList.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\functionConstraint.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\general.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\genericTable.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\globals.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\globalsClause.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\globSet.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\guardSet.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\idDecl.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\idDeclList.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\importNodeList.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\imports.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\initDeclNodeList.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\inputStream.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\interfaceNodeList.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\intSet.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\lclctypes.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\lclinit.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\lcllib.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\lclscan.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\lclscanline.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\lclsyntable.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\lcltokentable.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\letDeclNodeList.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\lh.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\llerror.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\llgrammar.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\llmain.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\lltok.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\loopHeuristics.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\lslinit.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\lslOpList.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\lslOpSet.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\lslparse.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\lsymbol.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\lsymbolList.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\lsymbolSet.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\ltoken.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\ltokenList.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\macrocache.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\mapping.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\message.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\messageLog.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\metaStateConstraint.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\metaStateConstraintList.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\metaStateExpression.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\metaStateInfo.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\metaStateSpecifier.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\metaStateTable.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\modifiesClause.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\mtAnnotationDecl.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\mtAnnotationList.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\mtAnnotationsNode.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\mtContextNode.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\mtDeclarationNode.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\mtDeclarationPiece.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\mtDeclarationPieces.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\mtDefaultsDecl.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\mtDefaultsDeclList.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\mtDefaultsNode.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\mtgrammar.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\mtLoseReference.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\mtLoseReferenceList.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\mtMergeClause.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\mtMergeClauseList.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\mtMergeItem.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\mtMergeNode.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\mtreader.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\mtscanner.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\mttok.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\mtTransferAction.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\mtTransferClause.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\mtTransferClauseList.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\mtValuesNode.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\multiVal.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\nameChecks.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\osd.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\pairNodeList.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\paramNodeList.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\programNodeList.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\qtype.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\qual.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\qualList.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\quantifierNodeList.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\randomNumbers.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\reader.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\replaceNodeList.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\scan.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\scanline.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\shift.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\signature.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\sigNodeSet.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\sort.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\sortList.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\sortSet.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\sortSetList.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\sRef.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\sRefList.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\sRefSet.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\sRefSetList.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\sRefTable.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\stateClause.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\stateClauseList.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\stateCombinationTable.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\stateInfo.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\stateValue.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\stDeclNodeList.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\storeRefNodeList.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\structNames.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\symtable.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\syntable.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\termNodeList.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\tokentable.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\traitRefNodeList.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\transferChecks.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\typeIdSet.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\typeNameNodeList.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\uentry.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\uentryList.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\usymIdSet.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\usymtab.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\usymtab_interface.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\valueTable.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\varDeclarationNodeList.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\varKinds.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\varNodeList.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\warnClause.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\ynm.c\r
-# End Source File\r
-# End Group\r
-# Begin Group "Header Files"\r
-\r
-# PROP Default_Filter "h;hpp;hxx;hm;inl"\r
-# End Group\r
-# Begin Group "Resource Files"\r
-\r
-# PROP Default_Filter "ico;cur;bmp;dlg;rc2;rct;bin;rgs;gif;jpg;jpeg;jpe"\r
-# End Group\r
-# End Target\r
-# End Project\r

diff --git a/win32/Splint/Splint.sln b/win32/Splint/Splint.sln
new file mode 100755 (executable)
index 0000000..11635b6
--- /dev/null
+++ b/win32/Splint/Splint.sln
@@ -0,0 +1,24 @@
+Microsoft Visual Studio Solution File, Format Version 7.00\r
+Project("{8BC9CEB8-8B4A-11D0-8D11-00A0C91BC942}") = "Splint", "Splint.vcproj", "{E57CAD42-5E8E-445E-865A-965282EFA565}"\r
+EndProject\r
+Global\r
+       GlobalSection(SolutionConfiguration) = preSolution\r
+               ConfigName.0 = Debug\r
+               ConfigName.1 = Release\r
+               ConfigName.2 = Test\r
+       EndGlobalSection\r
+       GlobalSection(ProjectDependencies) = postSolution\r
+       EndGlobalSection\r
+       GlobalSection(ProjectConfiguration) = postSolution\r
+               {E57CAD42-5E8E-445E-865A-965282EFA565}.Debug.ActiveCfg = Debug|Win32\r
+               {E57CAD42-5E8E-445E-865A-965282EFA565}.Debug.Build.0 = Debug|Win32\r
+               {E57CAD42-5E8E-445E-865A-965282EFA565}.Release.ActiveCfg = Release|Win32\r
+               {E57CAD42-5E8E-445E-865A-965282EFA565}.Release.Build.0 = Release|Win32\r
+               {E57CAD42-5E8E-445E-865A-965282EFA565}.Test.ActiveCfg = Test|Win32\r
+               {E57CAD42-5E8E-445E-865A-965282EFA565}.Test.Build.0 = Test|Win32\r
+       EndGlobalSection\r
+       GlobalSection(ExtensibilityGlobals) = postSolution\r
+       EndGlobalSection\r
+       GlobalSection(ExtensibilityAddIns) = postSolution\r
+       EndGlobalSection\r
+EndGlobal\r

diff --git a/win32/Splint/Splint.suo b/win32/Splint/Splint.suo
new file mode 100755 (executable)
index 0000000..59ea289
Binary files /dev/null and b/win32/Splint/Splint.suo differ

diff --git a/win32/Splint/Splint.vcproj b/win32/Splint/Splint.vcproj
new file mode 100755 (executable)
index 0000000..1f7d3a1
--- /dev/null
+++ b/win32/Splint/Splint.vcproj
@@ -0,0 +1,745 @@
+<?xml version="1.0" encoding = "Windows-1252"?>\r
+<VisualStudioProject\r
+       ProjectType="Visual C++"\r
+       Version="7.00"\r
+       Name="Splint"\r
+       ProjectGUID="{E57CAD42-5E8E-445E-865A-965282EFA565}"\r
+       SccProjectName=""\r
+       SccLocalPath="">\r
+       <Platforms>\r
+               <Platform\r
+                       Name="Win32"/>\r
+       </Platforms>\r
+       <Configurations>\r
+               <Configuration\r
+                       Name="Release|Win32"\r
+                       OutputDirectory=".\Release"\r
+                       IntermediateDirectory=".\Release"\r
+                       ConfigurationType="1"\r
+                       UseOfMFC="0"\r
+                       ATLMinimizesCRunTimeLibraryUsage="FALSE"\r
+                       CharacterSet="2">\r
+                       <Tool\r
+                               Name="VCCLCompilerTool"\r
+                               InlineFunctionExpansion="1"\r
+                               AdditionalIncludeDirectories="K:\splint\src\Headers"\r
+                               PreprocessorDefinitions="NDEBUG,WIN32,_CONSOLE,HAVE_CONFIG_H"\r
+                               StringPooling="TRUE"\r
+                               RuntimeLibrary="4"\r
+                               EnableFunctionLevelLinking="TRUE"\r
+                               PrecompiledHeaderFile=".\Release/Splint.pch"\r
+                               AssemblerListingLocation=".\Release/"\r
+                               ObjectFile=".\Release/"\r
+                               ProgramDataBaseFileName=".\Release/"\r
+                               WarningLevel="3"\r
+                               SuppressStartupBanner="TRUE"\r
+                               CompileAs="0"/>\r
+                       <Tool\r
+                               Name="VCCustomBuildTool"/>\r
+                       <Tool\r
+                               Name="VCLinkerTool"\r
+                               AdditionalOptions="/MACHINE:I386"\r
+                               AdditionalDependencies="odbc32.lib odbccp32.lib setargv.obj"\r
+                               OutputFile="K:\splint\win32\splint.exe"\r
+                               LinkIncremental="1"\r
+                               SuppressStartupBanner="TRUE"\r
+                               ProgramDatabaseFile=".\Release/splint.pdb"\r
+                               SubSystem="1"/>\r
+                       <Tool\r
+                               Name="VCMIDLTool"\r
+                               TypeLibraryName=".\Release/Splint.tlb"/>\r
+                       <Tool\r
+                               Name="VCPostBuildEventTool"/>\r
+                       <Tool\r
+                               Name="VCPreBuildEventTool"/>\r
+                       <Tool\r
+                               Name="VCPreLinkEventTool"/>\r
+                       <Tool\r
+                               Name="VCResourceCompilerTool"\r
+                               PreprocessorDefinitions="NDEBUG"\r
+                               Culture="1033"/>\r
+                       <Tool\r
+                               Name="VCWebServiceProxyGeneratorTool"/>\r
+                       <Tool\r
+                               Name="VCWebDeploymentTool"/>\r
+               </Configuration>\r
+               <Configuration\r
+                       Name="Debug|Win32"\r
+                       OutputDirectory=".\Debug"\r
+                       IntermediateDirectory=".\Debug"\r
+                       ConfigurationType="1"\r
+                       UseOfMFC="0"\r
+                       ATLMinimizesCRunTimeLibraryUsage="FALSE"\r
+                       CharacterSet="2">\r
+                       <Tool\r
+                               Name="VCCLCompilerTool"\r
+                               Optimization="0"\r
+                               AdditionalIncludeDirectories="K:\splint\src\Headers"\r
+                               PreprocessorDefinitions="_DEBUG,WIN32,_CONSOLE,HAVE_CONFIG_H"\r
+                               BasicRuntimeChecks="3"\r
+                               SmallerTypeCheck="TRUE"\r
+                               RuntimeLibrary="4"\r
+                               DisableLanguageExtensions="FALSE"\r
+                               ForceConformanceInForLoopScope="TRUE"\r
+                               PrecompiledHeaderFile=".\Debug/Splint.pch"\r
+                               AssemblerListingLocation=".\Debug/"\r
+                               ObjectFile=".\Debug/"\r
+                               ProgramDataBaseFileName=".\Debug/"\r
+                               WarningLevel="3"\r
+                               SuppressStartupBanner="TRUE"\r
+                               DebugInformationFormat="0"\r
+                               CompileAs="0"/>\r
+                       <Tool\r
+                               Name="VCCustomBuildTool"/>\r
+                       <Tool\r
+                               Name="VCLinkerTool"\r
+                               AdditionalOptions="/MACHINE:I386"\r
+                               AdditionalDependencies="setargv.obj odbc32.lib odbccp32.lib"\r
+                               ShowProgress="0"\r
+                               OutputFile="K:\splint\win32\splint.exe"\r
+                               LinkIncremental="2"\r
+                               SuppressStartupBanner="TRUE"\r
+                               GenerateDebugInformation="FALSE"\r
+                               ProgramDatabaseFile=".\Debug/Splint.pdb"\r
+                               SubSystem="1"/>\r
+                       <Tool\r
+                               Name="VCMIDLTool"\r
+                               TypeLibraryName=".\Debug/Splint.tlb"/>\r
+                       <Tool\r
+                               Name="VCPostBuildEventTool"/>\r
+                       <Tool\r
+                               Name="VCPreBuildEventTool"/>\r
+                       <Tool\r
+                               Name="VCPreLinkEventTool"/>\r
+                       <Tool\r
+                               Name="VCResourceCompilerTool"\r
+                               PreprocessorDefinitions="_DEBUG"\r
+                               Culture="1033"/>\r
+                       <Tool\r
+                               Name="VCWebServiceProxyGeneratorTool"/>\r
+                       <Tool\r
+                               Name="VCWebDeploymentTool"/>\r
+               </Configuration>\r
+               <Configuration\r
+                       Name="Test|Win32"\r
+                       OutputDirectory="Test"\r
+                       IntermediateDirectory="Test"\r
+                       ConfigurationType="1">\r
+                       <Tool\r
+                               Name="VCCLCompilerTool"\r
+                               Optimization="0"\r
+                               AdditionalIncludeDirectories="K:\splint\src\Headers"\r
+                               PreprocessorDefinitions="WIN32,_WIN32,_CONSOLE,HAVE_CONFIG_H"\r
+                               BasicRuntimeChecks="3"\r
+                               SmallerTypeCheck="TRUE"\r
+                               WarningLevel="4"\r
+                               CompileAs="1"\r
+                               DisableSpecificWarnings="4127"/>\r
+                       <Tool\r
+                               Name="VCCustomBuildTool"/>\r
+                       <Tool\r
+                               Name="VCLinkerTool"\r
+                               AdditionalDependencies="setargv.obj"\r
+                               OutputFile="K:\splint\win32\splint.exe"\r
+                               GenerateDebugInformation="TRUE"\r
+                               OptimizeForWindows98="1"/>\r
+                       <Tool\r
+                               Name="VCMIDLTool"/>\r
+                       <Tool\r
+                               Name="VCPostBuildEventTool"/>\r
+                       <Tool\r
+                               Name="VCPreBuildEventTool"/>\r
+                       <Tool\r
+                               Name="VCPreLinkEventTool"/>\r
+                       <Tool\r
+                               Name="VCResourceCompilerTool"/>\r
+                       <Tool\r
+                               Name="VCWebServiceProxyGeneratorTool"/>\r
+                       <Tool\r
+                               Name="VCWebDeploymentTool"/>\r
+               </Configuration>\r
+       </Configurations>\r
+       <Files>\r
+               <Filter\r
+                       Name="Source Files"\r
+                       Filter="cpp;c;cxx;rc;def;r;odl;idl;hpj;bat">\r
+                       <File\r
+                               RelativePath="..\..\src\abstract.c">\r
+                               <FileConfiguration\r
+                                       Name="Release|Win32">\r
+                                       <Tool\r
+                                               Name="VCCLCompilerTool"\r
+                                               AdditionalIncludeDirectories="Headers"/>\r
+                               </FileConfiguration>\r
+                               <FileConfiguration\r
+                                       Name="Debug|Win32">\r
+                                       <Tool\r
+                                               Name="VCCLCompilerTool"\r
+                                               AdditionalIncludeDirectories="K:\splint-dev\LCLintDev\src\Headers"/>\r
+                               </FileConfiguration>\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\aliasTable.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\annotationInfo.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\annotationTable.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\cgrammar.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\checking.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\clabstract.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\clause.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\clauseStack.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\constraint.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\constraintExpr.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\constraintExprData.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\constraintGeneration.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\constraintList.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\constraintResolve.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\constraintTerm.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\context.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\cpperror.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\cppexp.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\cpphash.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\cpplib.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\cppmain.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\cprim.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\cscanner.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\cscannerHelp.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\cstring.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\cstringList.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\cstringSList.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\cstringTable.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\ctype.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\ctypeList.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\cvar.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\declaratorInvNodeList.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\declaratorNodeList.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\ekind.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\enumNameList.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\enumNameSList.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\exprChecks.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\exprData.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\exprNode.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\exprNodeList.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\exprNodeSList.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\fcnNodeList.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\fileIdList.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\fileLib.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\fileTable.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\fileloc.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\filelocList.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\filelocStack.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\flagMarker.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\flagMarkerList.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\flagSpec.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\flags.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\functionClause.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\functionClauseList.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\functionConstraint.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\general.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\genericTable.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\globSet.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\globals.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\globalsClause.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\guardSet.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\help.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\idDecl.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\idDeclList.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\importNodeList.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\imports.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\initDeclNodeList.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\inputStream.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\intSet.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\interfaceNodeList.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\lclctypes.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\lclinit.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\lcllib.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\lclscan.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\lclscanline.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\lclsyntable.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\lcltokentable.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\letDeclNodeList.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\lh.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\llerror.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\llgrammar.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\llmain.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\lltok.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\loopHeuristics.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\lslOpList.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\lslOpSet.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\lslinit.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\lslparse.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\lsymbol.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\lsymbolList.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\lsymbolSet.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\ltoken.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\ltokenList.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\macrocache.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\mapping.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\message.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\messageLog.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\metaStateConstraint.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\metaStateConstraintList.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\metaStateExpression.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\metaStateInfo.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\metaStateSpecifier.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\metaStateTable.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\modifiesClause.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\mtAnnotationDecl.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\mtAnnotationList.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\mtAnnotationsNode.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\mtContextNode.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\mtDeclarationNode.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\mtDeclarationPiece.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\mtDeclarationPieces.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\mtDefaultsDecl.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\mtDefaultsDeclList.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\mtDefaultsNode.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\mtLoseReference.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\mtLoseReferenceList.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\mtMergeClause.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\mtMergeClauseList.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\mtMergeItem.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\mtMergeNode.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\mtTransferAction.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\mtTransferClause.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\mtTransferClauseList.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\mtValuesNode.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\mtgrammar.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\mtreader.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\mtscanner.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\mttok.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\multiVal.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\nameChecks.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\osd.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\pairNodeList.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\paramNodeList.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\pointers.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\programNodeList.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\qtype.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\qual.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\qualList.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\quantifierNodeList.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\randomNumbers.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\rcfiles.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\reader.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\replaceNodeList.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\sRef.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\sRefList.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\sRefSet.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\sRefSetList.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\sRefTable.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\scan.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\scanline.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\shift.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\sigNodeSet.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\signature.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\sort.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\sortList.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\sortSet.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\sortSetList.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\stDeclNodeList.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\stateClause.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\stateClauseList.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\stateCombinationTable.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\stateInfo.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\stateValue.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\storeRefNodeList.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\structNames.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\symtable.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\syntable.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\termNodeList.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\tokentable.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\traitRefNodeList.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\transferChecks.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\typeIdSet.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\typeNameNodeList.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\uentry.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\uentryList.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\usymIdSet.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\usymtab.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\usymtab_interface.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\valueTable.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\varDeclarationNodeList.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\varKinds.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\varNodeList.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\warnClause.c">\r
+                       </File>\r
+                       <File\r
+                               RelativePath="..\..\src\ynm.c">\r
+                       </File>\r
+               </Filter>\r
+               <Filter\r
+                       Name="Header Files"\r
+                       Filter="h;hpp;hxx;hm;inl">\r
+               </Filter>\r
+               <Filter\r
+                       Name="Resource Files"\r
+                       Filter="ico;cur;bmp;dlg;rc2;rct;bin;rgs;gif;jpg;jpeg;jpe">\r
+               </Filter>\r
+       </Files>\r
+       <Globals>\r
+       </Globals>\r
+</VisualStudioProject>\r

diff --git a/winconfig.h b/winconfig.h
index d424d5c6ddd6d181bcc5ee8960e3fca73ebfe560..2bb22b9bc006cd9088e268a7caf2d465f0a43b6a 100644 (file)
--- a/winconfig.h
+++ b/winconfig.h
@@ -22,13 +22,13 @@
 #define LCL_COMPILE "Compiled using Microsoft Visual C++ 7.0"
 
 /* Splint's version number */
 #define LCL_COMPILE "Compiled using Microsoft Visual C++ 7.0"
 
 /* Splint's version number */

-#define LCL_PARSE_VERSION "Splint 3.1.0"
+#define LCL_PARSE_VERSION "Splint 3.1.1"

 
 /* Define to disable support LCL files */
 /* #undef NOLCL */
 
 /* Splint's version number and configure/build date */
 
 /* Define to disable support LCL files */
 /* #undef NOLCL */
 
 /* Splint's version number and configure/build date */

-#define SPLINT_VERSION "Splint 3.1.0 --- 20 Apr 2003"
+#define SPLINT_VERSION "Splint 3.1.1 --- 28 Apr 2003"

 
 /* The system's main include directory */
 #define SYSTEM_LIBDIR "C:/include"
 
 /* The system's main include directory */
 #define SYSTEM_LIBDIR "C:/include"