ee93b5d
To: vim_dev@googlegroups.com
ee93b5d
Subject: Patch 7.4.289
ee93b5d
Fcc: outbox
ee93b5d
From: Bram Moolenaar <Bram@moolenaar.net>
ee93b5d
Mime-Version: 1.0
ee93b5d
Content-Type: text/plain; charset=UTF-8
ee93b5d
Content-Transfer-Encoding: 8bit
ee93b5d
------------
ee93b5d
ee93b5d
Patch 7.4.289
ee93b5d
Problem:    Pattern with repeated backreference does not match with new regexp
ee93b5d
	    engine. (Urtica Dioica)
ee93b5d
Solution:   Also check the end of a submatch when deciding to put a state in
ee93b5d
	    the state list.
ee93b5d
Files:	    src/testdir/test64.in, src/testdir/test64.ok, src/regexp_nfa.c
ee93b5d
ee93b5d
ee93b5d
*** ../vim-7.4.288/src/testdir/test64.in	2013-11-21 17:12:55.000000000 +0100
ee93b5d
--- src/testdir/test64.in	2014-05-13 15:35:02.477659266 +0200
ee93b5d
***************
ee93b5d
*** 407,412 ****
ee93b5d
--- 407,413 ----
ee93b5d
  :call add(tl, [2, '^.*\.\(.*\)/.\+\(\1\)\@<=$', 'foo.bat/foo.bat', 'foo.bat/foo.bat', 'bat', 'bat'])
ee93b5d
  :call add(tl, [2, '\\\@
ee93b5d
  :call add(tl, [2, '^\(a*\)\1$', 'aaaaaaaa', 'aaaaaaaa', 'aaaa'])
ee93b5d
+ :call add(tl, [2, '^\(a\{-2,}\)\1\+$', 'aaaaaaaaa', 'aaaaaaaaa', 'aaa'])
ee93b5d
  :"
ee93b5d
  :"""" Look-behind with limit
ee93b5d
  :call add(tl, [2, '<\@<=span.', 'xxspanxx
ee93b5d
*** ../vim-7.4.288/src/testdir/test64.ok	2013-11-21 17:12:55.000000000 +0100
ee93b5d
--- src/testdir/test64.ok	2014-05-13 15:49:21.381666784 +0200
ee93b5d
***************
ee93b5d
*** 947,952 ****
ee93b5d
--- 947,955 ----
ee93b5d
  OK 0 - ^\(a*\)\1$
ee93b5d
  OK 1 - ^\(a*\)\1$
ee93b5d
  OK 2 - ^\(a*\)\1$
ee93b5d
+ OK 0 - ^\(a\{-2,}\)\1\+$
ee93b5d
+ OK 1 - ^\(a\{-2,}\)\1\+$
ee93b5d
+ OK 2 - ^\(a\{-2,}\)\1\+$
ee93b5d
  OK 0 - <\@<=span.
ee93b5d
  OK 1 - <\@<=span.
ee93b5d
  OK 2 - <\@<=span.
ee93b5d
*** ../vim-7.4.288/src/regexp_nfa.c	2014-04-23 19:06:33.702828771 +0200
ee93b5d
--- src/regexp_nfa.c	2014-05-13 15:49:15.065666729 +0200
ee93b5d
***************
ee93b5d
*** 3945,3950 ****
ee93b5d
--- 3945,3951 ----
ee93b5d
  
ee93b5d
  /*
ee93b5d
   * Return TRUE if "sub1" and "sub2" have the same start positions.
ee93b5d
+  * When using back-references also check the end position.
ee93b5d
   */
ee93b5d
      static int
ee93b5d
  sub_equal(sub1, sub2)
ee93b5d
***************
ee93b5d
*** 3976,3981 ****
ee93b5d
--- 3977,3999 ----
ee93b5d
  	    if (s1 != -1 && sub1->list.multi[i].start.col
ee93b5d
  					     != sub2->list.multi[i].start.col)
ee93b5d
  		return FALSE;
ee93b5d
+ 
ee93b5d
+ 	    if (nfa_has_backref)
ee93b5d
+ 	    {
ee93b5d
+ 		if (i < sub1->in_use)
ee93b5d
+ 		    s1 = sub1->list.multi[i].end.lnum;
ee93b5d
+ 		else
ee93b5d
+ 		    s1 = -1;
ee93b5d
+ 		if (i < sub2->in_use)
ee93b5d
+ 		    s2 = sub2->list.multi[i].end.lnum;
ee93b5d
+ 		else
ee93b5d
+ 		    s2 = -1;
ee93b5d
+ 		if (s1 != s2)
ee93b5d
+ 		    return FALSE;
ee93b5d
+ 		if (s1 != -1 && sub1->list.multi[i].end.col
ee93b5d
+ 					       != sub2->list.multi[i].end.col)
ee93b5d
+ 		return FALSE;
ee93b5d
+ 	    }
ee93b5d
  	}
ee93b5d
      }
ee93b5d
      else
ee93b5d
***************
ee93b5d
*** 3992,3997 ****
ee93b5d
--- 4010,4028 ----
ee93b5d
  		sp2 = NULL;
ee93b5d
  	    if (sp1 != sp2)
ee93b5d
  		return FALSE;
ee93b5d
+ 	    if (nfa_has_backref)
ee93b5d
+ 	    {
ee93b5d
+ 		if (i < sub1->in_use)
ee93b5d
+ 		    sp1 = sub1->list.line[i].end;
ee93b5d
+ 		else
ee93b5d
+ 		    sp1 = NULL;
ee93b5d
+ 		if (i < sub2->in_use)
ee93b5d
+ 		    sp2 = sub2->list.line[i].end;
ee93b5d
+ 		else
ee93b5d
+ 		    sp2 = NULL;
ee93b5d
+ 		if (sp1 != sp2)
ee93b5d
+ 		    return FALSE;
ee93b5d
+ 	    }
ee93b5d
  	}
ee93b5d
      }
ee93b5d
  
ee93b5d
*** ../vim-7.4.288/src/version.c	2014-05-13 14:03:36.425611242 +0200
ee93b5d
--- src/version.c	2014-05-13 15:51:52.009668103 +0200
ee93b5d
***************
ee93b5d
*** 736,737 ****
ee93b5d
--- 736,739 ----
ee93b5d
  {   /* Add new patch number below this line */
ee93b5d
+ /**/
ee93b5d
+     289,
ee93b5d
  /**/
ee93b5d
ee93b5d
-- 
ee93b5d
hundred-and-one symptoms of being an internet addict:
ee93b5d
152. You find yourself falling for someone you've never seen or hardly
ee93b5d
     know, but, boy can he/she TYPE!!!!!!
ee93b5d
ee93b5d
 /// Bram Moolenaar -- Bram@Moolenaar.net -- http://www.Moolenaar.net   \\\
ee93b5d
///        sponsor Vim, vote for features -- http://www.Vim.org/sponsor/ \\\
ee93b5d
\\\  an exciting new programming language -- http://www.Zimbu.org        ///
ee93b5d
 \\\            help me help AIDS victims -- http://ICCF-Holland.org    ///