Reset Markdown note state between parses

Inline notes inside reference labels can run during the reference-gathering pass. Reset note state for each parse and reject inline notes before note ordering starts so reused parser instances do not accept stale footnote data.

Author: skatkov

lib/rdoc/markdown.kpeg

@@ -439,6 +439,8 @@
   def parse markdown
     @references          = {}
     @unlinked_references = {}
+    @footnotes           = nil
+    @note_order          = nil
 
     markdown += "\n\n"
 
@@ -1236,7 +1238,9 @@ InlineNote = &{ notes? }
              @StartList:a
              ( !"]" Inline:l { a << l } )+
              "]"
-             { ref = [:inline, @note_order.length]
+             { raise ParseError, 'invalid inline note' unless @note_order
+
+               ref = [:inline, @note_order.length]
                @footnotes[ref] = paragraph a
 
                note_for ref

lib/rdoc/markdown.rb

@@ -824,6 +824,8 @@ def paragraph parts
   def parse markdown
     @references          = {}
     @unlinked_references = {}
+    @footnotes           = nil
+    @note_order          = nil
 
     markdown += "\n\n"
 
@@ -15478,7 +15480,7 @@ def _Note
     return _tmp
   end
 
-  # InlineNote = &{ notes? } "^[" @StartList:a (!"]" Inline:l { a << l })+ "]" { ref = [:inline, @note_order.length]                @footnotes[ref] = paragraph a                 note_for ref              }
+  # InlineNote = &{ notes? } "^[" @StartList:a (!"]" Inline:l { a << l })+ "]" { raise ParseError, 'invalid inline note' unless @note_order                 ref = [:inline, @note_order.length]                @footnotes[ref] = paragraph a                 note_for ref              }
   def _InlineNote
 
     _save = self.pos
@@ -15569,7 +15571,9 @@ def _InlineNote
         self.pos = _save
         break
       end
-      @result = begin;  ref = [:inline, @note_order.length]
+      @result = begin;  raise ParseError, 'invalid inline note' unless @note_order
+
+               ref = [:inline, @note_order.length]
                @footnotes[ref] = paragraph a
 
                note_for ref
@@ -16843,7 +16847,7 @@ def _DefinitionListDefinition
   Rules[:_NoteReference] = rule_info("NoteReference", "&{ notes? } RawNoteReference:ref { note_for ref }")
   Rules[:_RawNoteReference] = rule_info("RawNoteReference", "\"[^\" < (!@Newline !\"]\" .)+ > \"]\" { text }")
   Rules[:_Note] = rule_info("Note", "&{ notes? } @NonindentSpace RawNoteReference:ref \":\" @Sp @StartList:a RawNoteBlock:i { a.concat i } (&Indent RawNoteBlock:i { a.concat i })* { @footnotes[ref] = paragraph a                    nil                 }")
-  Rules[:_InlineNote] = rule_info("InlineNote", "&{ notes? } \"^[\" @StartList:a (!\"]\" Inline:l { a << l })+ \"]\" { ref = [:inline, @note_order.length]                @footnotes[ref] = paragraph a                 note_for ref              }")
+  Rules[:_InlineNote] = rule_info("InlineNote", "&{ notes? } \"^[\" @StartList:a (!\"]\" Inline:l { a << l })+ \"]\" { raise ParseError, 'invalid inline note' unless @note_order                 ref = [:inline, @note_order.length]                @footnotes[ref] = paragraph a                 note_for ref              }")
   Rules[:_Notes] = rule_info("Notes", "(Note | SkipBlock)*")
   Rules[:_RawNoteBlock] = rule_info("RawNoteBlock", "@StartList:a (!@BlankLine !RawNoteReference OptionallyIndentedLine:l { a << l })+ < @BlankLine* > { a << text } { a }")
   Rules[:_CodeFence] = rule_info("CodeFence", "&{ github? } Ticks3 (@Sp StrChunk:format)? @Sp @Newline? < ((!\"`\" Nonspacechar)+ | !Ticks3 /`+/ | Spacechar | @Newline)+ > Ticks3 @Sp @Newline* { verbatim = RDoc::Markup::Verbatim.new text               verbatim.format = format.intern if format.instance_of?(String)               verbatim             }")

test/rdoc/rdoc_markdown_test.rb

@@ -1025,6 +1025,18 @@ def test_parse_note_reference_in_reference_label
     assert_equal expected, doc
   end
 
+  def test_parse_note_inline_in_reference_label_after_reuse
+    @parser.notes = true
+
+    parse "Some text. ^[With a footnote]"
+
+    error = assert_raise RDoc::Markdown::ParseError do
+      parse "[foo ^[note]]: /url\n"
+    end
+
+    assert_equal 'invalid inline note', error.message
+  end
+
   def test_parse_note_no_notes
     @parser.notes = false