[html5] r8709 - [e] (0) Try to avoid negative-length strings and strings with EOF characters in [...]

[whatwg at whatwg.org]

Author: ianh
Date: 2014-08-05 12:34:43 -0700 (Tue, 05 Aug 2014)
New Revision: 8709

Modified:
   complete.html
   index
   source
Log:
[e] (0) Try to avoid negative-length strings and strings with EOF characters in them...
Fixing https://www.w3.org/Bugs/Public/show_bug.cgi?id=25871
Affected topics: HTML Syntax and Parsing

Modified: complete.html
===================================================================
--- complete.html	2014-08-05 19:31:01 UTC (rev 8708)
+++ complete.html	2014-08-05 19:34:43 UTC (rev 8709)
@@ -72438,7 +72438,8 @@
   <h5 id=bogus-comment-state>12.2.4.44 <dfn>Bogus comment state</dfn></h5>
 
   <p>Consume every character up to and including the first U+003E GREATER-THAN SIGN character (>)
-  or the end of the file (EOF), whichever comes first. Emit a comment token whose data is the
+  or the end of the file (EOF), whichever comes first.
+  If more than one character was consumed, then emit a comment token whose data is the
   concatenation of all the characters starting from and including the character that caused the
   state machine to switch into the bogus comment state, up to and including the character
   immediately before the last consumed character (i.e. up to the character just before the U+003E or

Modified: index
===================================================================
--- index	2014-08-05 19:31:01 UTC (rev 8708)
+++ index	2014-08-05 19:34:43 UTC (rev 8709)
@@ -72438,7 +72438,8 @@
   <h5 id=bogus-comment-state>12.2.4.44 <dfn>Bogus comment state</dfn></h5>
 
   <p>Consume every character up to and including the first U+003E GREATER-THAN SIGN character (>)
-  or the end of the file (EOF), whichever comes first. Emit a comment token whose data is the
+  or the end of the file (EOF), whichever comes first.
+  If more than one character was consumed, then emit a comment token whose data is the
   concatenation of all the characters starting from and including the character that caused the
   state machine to switch into the bogus comment state, up to and including the character
   immediately before the last consumed character (i.e. up to the character just before the U+003E or

Modified: source
===================================================================
--- source	2014-08-05 19:31:01 UTC (rev 8708)
+++ source	2014-08-05 19:34:43 UTC (rev 8709)
@@ -98171,7 +98171,8 @@
   <h5><dfn>Bogus comment state</dfn></h5>
 
   <p>Consume every character up to and including the first U+003E GREATER-THAN SIGN character (>)
-  or the end of the file (EOF), whichever comes first. Emit a comment token whose data is the
+  or the end of the file (EOF), whichever comes first.
+  If more than one character was consumed, then emit a comment token whose data is the
   concatenation of all the characters starting from and including the character that caused the
   state machine to switch into the bogus comment state, up to and including the character
   immediately before the last consumed character (i.e. up to the character just before the U+003E or