From: Stefan Monnier <monnier@iro.umontreal.ca>
Date: Mon, 26 Nov 2001 02:19:38 +0000 (+0000)
Subject: (set_text_properties_1): Clearly mark that the interval should not be empty.
X-Git-Tag: ttn-vms-21-2-B4~18155
X-Git-Url: http://git.eshelyaron.com/gitweb/?a=commitdiff_plain;h=ce768453c1c676c74a6f310d9f948f7555fa3314;p=emacs.git

(set_text_properties_1): Clearly mark that the interval should not be empty.
---

diff --git a/src/textprop.c b/src/textprop.c
index a473bebeab6..cd07484204b 100644
--- a/src/textprop.c
+++ b/src/textprop.c
@@ -1303,7 +1303,8 @@ set_text_properties (start, end, properties, object, signal_after_change_p)
    properties PROPERTIES.  BUFFER is the buffer containing
    the text.  This does not obey any hooks.
    You can provide the interval that START is located in as I,
-   or pass NULL for I and this function will find it.  */
+   or pass NULL for I and this function will find it.
+   This function assumes that START < END.  */
 
 void
 set_text_properties_1 (start, end, properties, buffer, i)
@@ -1316,6 +1317,7 @@ set_text_properties_1 (start, end, properties, buffer, i)
 
   s = XINT (start);
   len = XINT (end) - s;
+  eassert (len > 0);
   if (i == 0)
     i = find_interval (BUF_INTERVALS (XBUFFER (buffer)), s);