mirror of
https://github.com/neovim/neovim.git
synced 2025-10-09 03:16:31 +00:00

Problem: Crash with very long %[] pattern. (Reza Mirzazade farkhani)
Solution: Check for reg_toolong. (closes vim/vim#4703)
2a5b52758b
195 lines
6.1 KiB
VimL
195 lines
6.1 KiB
VimL
" Tests for regexp in utf8 encoding
|
|
|
|
func s:equivalence_test()
|
|
let str = "AÀÁÂÃÄÅĀĂĄǍǞǠẢ BḂḆ CÇĆĈĊČ DĎĐḊḎḐ EÈÉÊËĒĔĖĘĚẺẼ FḞ GĜĞĠĢǤǦǴḠ HĤĦḢḦḨ IÌÍÎÏĨĪĬĮİǏỈ JĴ KĶǨḰḴ LĹĻĽĿŁḺ MḾṀ NÑŃŅŇṄṈ OÒÓÔÕÖØŌŎŐƠǑǪǬỎ PṔṖ Q RŔŖŘṘṞ SŚŜŞŠṠ TŢŤŦṪṮ UÙÚÛÜŨŪŬŮŰŲƯǓỦ VṼ WŴẀẂẄẆ XẊẌ YÝŶŸẎỲỶỸ ZŹŻŽƵẐẔ aàáâãäåāăąǎǟǡả bḃḇ cçćĉċč dďđḋḏḑ eèéêëēĕėęěẻẽ fḟ gĝğġģǥǧǵḡ hĥħḣḧḩẖ iìíîïĩīĭįǐỉ jĵǰ kķǩḱḵ lĺļľŀłḻ mḿṁ nñńņňʼnṅṉ oòóôõöøōŏőơǒǫǭỏ pṕṗ q rŕŗřṙṟ sśŝşšṡ tţťŧṫṯẗ uùúûüũūŭůűųưǔủ vṽ wŵẁẃẅẇẘ xẋẍ yýÿŷẏẙỳỷỹ zźżžƶẑẕ"
|
|
let groups = split(str)
|
|
for group1 in groups
|
|
for c in split(group1, '\zs')
|
|
" next statement confirms that equivalence class matches every
|
|
" character in group
|
|
call assert_match('^[[=' . c . '=]]*$', group1)
|
|
for group2 in groups
|
|
if group2 != group1
|
|
" next statement converts that equivalence class doesn't match
|
|
" character in any other group
|
|
call assert_equal(-1, match(group2, '[[=' . c . '=]]'))
|
|
endif
|
|
endfor
|
|
endfor
|
|
endfor
|
|
endfunc
|
|
|
|
func Test_equivalence_re1()
|
|
set re=1
|
|
call s:equivalence_test()
|
|
set re=0
|
|
endfunc
|
|
|
|
func Test_equivalence_re2()
|
|
set re=2
|
|
call s:equivalence_test()
|
|
set re=0
|
|
endfunc
|
|
|
|
func s:classes_test()
|
|
set isprint=@,161-255
|
|
call assert_equal('Motörhead', matchstr('Motörhead', '[[:print:]]\+'))
|
|
|
|
let alnumchars = ''
|
|
let alphachars = ''
|
|
let backspacechar = ''
|
|
let blankchars = ''
|
|
let cntrlchars = ''
|
|
let digitchars = ''
|
|
let escapechar = ''
|
|
let graphchars = ''
|
|
let lowerchars = ''
|
|
let printchars = ''
|
|
let punctchars = ''
|
|
let returnchar = ''
|
|
let spacechars = ''
|
|
let tabchar = ''
|
|
let upperchars = ''
|
|
let xdigitchars = ''
|
|
let i = 1
|
|
while i <= 255
|
|
let c = nr2char(i)
|
|
if c =~ '[[:alpha:]]'
|
|
let alphachars .= c
|
|
endif
|
|
if c =~ '[[:alnum:]]'
|
|
let alnumchars .= c
|
|
endif
|
|
if c =~ '[[:backspace:]]'
|
|
let backspacechar .= c
|
|
endif
|
|
if c =~ '[[:blank:]]'
|
|
let blankchars .= c
|
|
endif
|
|
if c =~ '[[:cntrl:]]'
|
|
let cntrlchars .= c
|
|
endif
|
|
if c =~ '[[:digit:]]'
|
|
let digitchars .= c
|
|
endif
|
|
if c =~ '[[:escape:]]'
|
|
let escapechar .= c
|
|
endif
|
|
if c =~ '[[:graph:]]'
|
|
let graphchars .= c
|
|
endif
|
|
if c =~ '[[:lower:]]'
|
|
let lowerchars .= c
|
|
endif
|
|
if c =~ '[[:print:]]'
|
|
let printchars .= c
|
|
endif
|
|
if c =~ '[[:punct:]]'
|
|
let punctchars .= c
|
|
endif
|
|
if c =~ '[[:return:]]'
|
|
let returnchar .= c
|
|
endif
|
|
if c =~ '[[:space:]]'
|
|
let spacechars .= c
|
|
endif
|
|
if c =~ '[[:tab:]]'
|
|
let tabchar .= c
|
|
endif
|
|
if c =~ '[[:upper:]]'
|
|
let upperchars .= c
|
|
endif
|
|
if c =~ '[[:xdigit:]]'
|
|
let xdigitchars .= c
|
|
endif
|
|
let i += 1
|
|
endwhile
|
|
|
|
call assert_equal('ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz', alphachars)
|
|
call assert_equal('0123456789ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz', alnumchars)
|
|
call assert_equal("\b", backspacechar)
|
|
call assert_equal("\t ", blankchars)
|
|
call assert_equal("\x01\x02\x03\x04\x05\x06\x07\b\t\n\x0b\f\r\x0e\x0f\x10\x11\x12\x13\x14\x15\x16\x17\x18\x19\x1a\e\x1c\x1d\x1e\x1f\x7f", cntrlchars)
|
|
call assert_equal("0123456789", digitchars)
|
|
call assert_equal("\<Esc>", escapechar)
|
|
call assert_equal('!"#$%&''()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~', graphchars)
|
|
call assert_equal('abcdefghijklmnopqrstuvwxyzµßàáâãäåæçèéêëìíîïðñòóôõöøùúûüýþÿ', lowerchars)
|
|
call assert_equal(' !"#$%&''()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~ ¡¢£¤¥¦§¨©ª«¬®¯°±²³´µ¶·¸¹º»¼½¾¿ÀÁÂÃÄÅÆÇÈÉÊËÌÍÎÏÐÑÒÓÔÕÖרÙÚÛÜÝÞßàáâãäåæçèéêëìíîïðñòóôõö÷øùúûüýþÿ', printchars)
|
|
call assert_equal('!"#$%&''()*+,-./:;<=>?@[\]^_`{|}~', punctchars)
|
|
call assert_equal('ABCDEFGHIJKLMNOPQRSTUVWXYZÀÁÂÃÄÅÆÇÈÉÊËÌÍÎÏÐÑÒÓÔÕÖØÙÚÛÜÝÞ', upperchars)
|
|
call assert_equal("\r", returnchar)
|
|
call assert_equal("\t\n\x0b\f\r ", spacechars)
|
|
call assert_equal("\t", tabchar)
|
|
call assert_equal('0123456789ABCDEFabcdef', xdigitchars)
|
|
endfunc
|
|
|
|
func Test_classes_re1()
|
|
set re=1
|
|
call s:classes_test()
|
|
set re=0
|
|
endfunc
|
|
|
|
func Test_classes_re2()
|
|
set re=2
|
|
call s:classes_test()
|
|
set re=0
|
|
endfunc
|
|
|
|
func Test_recursive_substitute()
|
|
new
|
|
s/^/\=execute("s#^##gn")
|
|
" check we are now not in the sandbox
|
|
call setwinvar(1, 'myvar', 1)
|
|
bwipe!
|
|
endfunc
|
|
|
|
func Test_nested_backrefs()
|
|
" Check example in change.txt.
|
|
new
|
|
for re in range(0, 2)
|
|
exe 'set re=' . re
|
|
call setline(1, 'aa ab x')
|
|
1s/\(\(a[a-d] \)*\)\(x\)/-\1- -\2- -\3-/
|
|
call assert_equal('-aa ab - -ab - -x-', getline(1))
|
|
|
|
call assert_equal('-aa ab - -ab - -x-', substitute('aa ab x', '\(\(a[a-d] \)*\)\(x\)', '-\1- -\2- -\3-', ''))
|
|
endfor
|
|
bwipe!
|
|
set re=0
|
|
endfunc
|
|
|
|
func Test_eow_with_optional()
|
|
let expected = ['abc def', 'abc', 'def', '', '', '', '', '', '', '']
|
|
for re in range(0, 2)
|
|
exe 'set re=' . re
|
|
let actual = matchlist('abc def', '\(abc\>\)\?\s*\(def\)')
|
|
call assert_equal(expected, actual)
|
|
endfor
|
|
endfunc
|
|
|
|
func Test_reversed_range()
|
|
for re in range(0, 2)
|
|
exe 'set re=' . re
|
|
call assert_fails('call match("abc def", "[c-a]")', 'E944:')
|
|
endfor
|
|
set re=0
|
|
endfunc
|
|
|
|
func Test_large_class()
|
|
set re=1
|
|
call assert_fails('call match("abc def", "[\u3000-\u4000]")', 'E945:')
|
|
set re=2
|
|
call assert_equal(0, 'abc def' =~# '[\u3000-\u4000]')
|
|
call assert_equal(1, "\u3042" =~# '[\u3000-\u4000]')
|
|
set re=0
|
|
endfunc
|
|
|
|
func Test_optmatch_toolong()
|
|
set re=1
|
|
" Can only handle about 8000 characters.
|
|
let pat = '\\%[' .. repeat('x', 9000) .. ']'
|
|
call assert_fails('call match("abc def", "' .. pat .. '")', 'E339:')
|
|
set re=0
|
|
endfunc
|
|
|