Split at leaf program points other than numbered exits

Makefile

@@ -84,7 +84,6 @@ DAIKON_RESOURCE_FILES := daikon/config/example-settings.txt \
 	daikon/test/InvariantFormatTest.commands \
 	daikon/test/SampleTester.commands \
 	daikon/test/SampleTester.decls \
-	daikon/test/SampleTesterGlobal.decls \
 	daikon/test/SampleTester.commands_linear_ternary \
 	daikon/test/varInfoNameTest.testEscForall \
 	daikon/test/varInfoNameTest.testEscForall.goal \

doc/CHANGELOG.md

@@ -32,6 +32,17 @@ Further documentation can be found in:
    `JAVA_HOME`, `DAIKON_CLASSPATH`, `DAIKONSCRIPTS`, `PLUME_SCRIPTS`, `PERLLIB`,
    or `PERL5LIB`.
 * Removed the Perl front end, dfepl.
+* Daikon and its tools no longer read `.decls` and `.dtrace` files in the
+  obsolete version 1 format (files that contain `decl-version 1.0`,
+  `VarComparability`, or `DECLARE` records).  Daikon also cannot read
+  `.inv` files written by earlier versions of Daikon.
+  * Removed configuration option `daikon.PrintInvariants.remove_post_vars`, which
+    had an effect only for version 1 files.
+  * Removed scripts that processed only version 1 files:  `auxinfo.pl`,
+    `clean-decls.php`, `copy_comparable.pl`, `decls2comp-1.0.py`,
+    `decls-lackwit-disjoint.pl`, `dfec-to-kvasir.py`, `dfec-to-kvasir-dtrace.py`,
+    `dtrace-rm-decls.php`, `find_comparable.pl`, `find_globals.pl`,
+    `generate-dec-types.py`, `lwpp.pl`, `lwpp-init.pl`, and `set_decl_type.pl`.
 
 Scripts:
 

doc/daikon.texinfo

@@ -7118,25 +7118,18 @@ should indicate where the problem is occurring.
 
 If Daikon terminates with an error such as
 @smallexample
-decl format '2.0' does not match previous setting at line 4 in file test.dtrace
+Error at line 1 in file test.decls: File is in the version 1 format, which is no longer supported. ...
 @end smallexample
 
 @noindent
-it means you are using multiple @file{.dtrace} and/or @file{.decls} files
-and they are not all in the same format.
+it means that the file was produced by an old front end (or an old version
+of Chicory or DynComp) that wrote the obsolete version 1 file format.
 (See @ref{Declaration version,,,developer,Daikon Developer Manual}
 for information about how to determine a data file's format.)
-
-The most probable cause is you are using at least one
-version 1 @file{.decls} file or @file{.dtrace} file generated by an older version of
-Chicory/DynComp and at least one current @file{.decls} file or @file{.dtrace} file (which
-defaults to version 2) as input to Daikon.
-(Note that the C/C++ front end Kvasir generates a version 2 file @file{.decls}.)
-The way to
-avoid this problem is to use your Java-DynComp-generated @file{.decls} files
-as input to Chicory. The resulting @file{.dtrace} file will contain the
-comparability values from the @file{.decls} file(s) and can then be used
-as input to Daikon.
+Daikon reads only version 2 files.  Re-generate the file with a current front
+end.  For example, if the file is a @file{.decls} file produced by an old
+version of DynComp, re-run DynComp, and then pass the resulting
+@file{.decls} file to Chicory.
 Passing a @file{.decls} file to Chicory is
 described in @ref{Detecting invariants in Java programs}, for example:
 
@@ -8656,7 +8649,7 @@ of, or in addition to, referencing this manual and the Daikon website
 @c  LocalWords:  bBoOmjpi de iconv undefine DHAVE Xie Ast rt MyPackage jre
 @c  LocalWords:  superdirectory SOURCEPATH InvalidClassDataError strace lstat
 @c  LocalWords:  RuntimeException IFLNK interconvert interconvertible strdup ld
-@c  LocalWords:  lwpp ine runtime's malloced MaxPermSize JVM's MyVector perc vv
+@c  LocalWords:  ine runtime's malloced MaxPermSize JVM's MyVector perc vv
 @c  LocalWords:  falsetime trueinvs testsuite MergeInvariants fns untruncate mx
 @c  LocalWords:  subsubheading bzip fontspecific sublicense NONINFRINGEMENT Cok
 @c  LocalWords:  getopt Renn Nethercote MemCheck readelf Binutils Yuriy Brun ps