# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 1049660953 0
# Node ID c7a0b787faef32d9cf8700235edb58db537340c7
# Parent  0bdc2fd19631170ccaa520fef5aeb254bf4a90cc
(CHECK_TOTAL_LENGTH): New macro.

diff -r 0bdc2fd19631 -r c7a0b787faef src/intervals.h
--- a/src/intervals.h	Sun Apr 06 20:28:28 2003 +0000
+++ b/src/intervals.h	Sun Apr 06 20:29:13 2003 +0000
@@ -125,6 +125,10 @@
    "next" value, and test the result to see if it's NULL_INTERVAL.  */
 #define INTERVAL_PARENT_OR_NULL(i) (INTERVAL_HAS_PARENT (i) ? INTERVAL_PARENT (i) : 0)
 
+/* Abort if interval I's size is negative.  */
+#define CHECK_TOTAL_LENGTH(i) \
+  if ((int) (i)->total_length < 0) abort (); else
+
 /* Reset this interval to its vanilla, or no-property state. */
 #define RESET_INTERVAL(i) \
 { \