/-- This set of tests check the DFA matching functionality of pcre_dfa_exec().

    The -dfa flag must be used with pcretest when running it. --/

/abc/

    abc

/ab*c/

    abc

    abbbbc

    ac

/ab+c/

    abc

    abbbbbbc

    *** Failers 

    ac

    ab

/a*/

    a

    aaaaaaaaaaaaaaaaa

    aaaaaaaaaaaaaaaaaaaaaaaaaaaaaa 

    aaaaaaaaaaaaaaaaaaaaaaaaaaaaaa\F 

/(a|abcd|african)/

    a

    abcd

    african

/^abc/

    abcdef

    *** Failers

    xyzabc

    xyz\nabc    

/^abc/m

    abcdef

    xyz\nabc    

    *** Failers

    xyzabc

/\Aabc/

    abcdef

    *** Failers

    xyzabc

    xyz\nabc    

/\Aabc/m

    abcdef

    *** Failers

    xyzabc

    xyz\nabc    

/\Gabc/

    abcdef

    xyzabc\>3

    *** Failers

    xyzabc    

    xyzabc\>2 

/x\dy\Dz/

    x9yzz

    x0y+z

    *** Failers

    xyz

    xxy0z     

/x\sy\Sz/

    x yzz

    x y+z

    *** Failers

    xyz

    xxyyz

/x\wy\Wz/

    xxy+z

    *** Failers

    xxy0z

    x+y+z         

/x.y/

    x+y

    x-y

    *** Failers

    x\ny

/x.y/s

    x+y

    x-y

    x\ny

/(a.b(?s)c.d|x.y)p.q/

    a+bc+dp+q

    a+bc\ndp+q

    x\nyp+q 

    *** Failers 

    a\nbc\ndp+q

    a+bc\ndp\nq

    x\nyp\nq 

/a\d\z/

    ba0

    *** Failers

    ba0\n

    ba0\ncd   

/a\d\z/m

    ba0

    *** Failers

    ba0\n

    ba0\ncd   

/a\d\Z/

    ba0

    ba0\n

    *** Failers

    ba0\ncd   

/a\d\Z/m

    ba0

    ba0\n

    *** Failers

    ba0\ncd   

/a\d$/

    ba0

    ba0\n

    *** Failers

    ba0\ncd   

/a\d$/m

    ba0

    ba0\n

    ba0\ncd   

    *** Failers

/abc/i

    abc

    aBc

    ABC

/[^a]/

    abcd

/ab?\w/

    abz

    abbz

    azz  

/x{0,3}yz/

    ayzq

    axyzq

    axxyz

    axxxyzq

    axxxxyzq

    *** Failers

    ax

    axx     

/x{3}yz/

    axxxyzq

    axxxxyzq

    *** Failers

    ax

    axx     

    ayzq

    axyzq

    axxyz

/x{2,3}yz/

    axxyz

    axxxyzq

    axxxxyzq

    *** Failers

    ax

    axx     

    ayzq

    axyzq

/[^a]+/

    bac

    bcdefax

    *** Failers

    aaaaa   

/[^a]*/

    bac

    bcdefax

    *** Failers

    aaaaa   

/[^a]{3,5}/

    xyz

    awxyza

    abcdefa

    abcdefghijk

    *** Failers

    axya

    axa

    aaaaa         

/\d*/

    1234b567

    xyz

/\D*/

    a1234b567

    xyz

/\d+/

    ab1234c56

    *** Failers

    xyz

/\D+/

    ab123c56

    *** Failers

    789

/\d?A/

    045ABC

    ABC

    *** Failers

    XYZ

/\D?A/

    ABC

    BAC

    9ABC             

    *** Failers

/a+/

    aaaa

/^.*xyz/

    xyz

    ggggggggxyz

/^.+xyz/

    abcdxyz

    axyz

    *** Failers

    xyz

/^.?xyz/

    xyz

    cxyz       

/^\d{2,3}X/

    12X

    123X

    *** Failers

    X

    1X

    1234X     

/^[abcd]\d/

    a45

    b93

    c99z

    d04

    *** Failers

    e45

    abcd      

    abcd1234

    1234  

/^[abcd]*\d/

    a45

    b93

    c99z

    d04

    abcd1234

    1234  

    *** Failers

    e45

    abcd      

/^[abcd]+\d/

    a45

    b93

    c99z

    d04

    abcd1234

    *** Failers

    1234  

    e45

    abcd      

/^a+X/

    aX

    aaX 

/^[abcd]?\d/

    a45

    b93

    c99z

    d04

    1234  

    *** Failers

    abcd1234

    e45

/^[abcd]{2,3}\d/

    ab45

    bcd93

    *** Failers

    1234 

    a36 

    abcd1234

    ee45

/^(abc)*\d/

    abc45

    abcabcabc45

    42xyz 

    *** Failers

/^(abc)+\d/

    abc45

    abcabcabc45

    *** Failers

    42xyz 

/^(abc)?\d/

    abc45

    42xyz 

    *** Failers

    abcabcabc45

/^(abc){2,3}\d/

    abcabc45

    abcabcabc45

    *** Failers

    abcabcabcabc45

    abc45

    42xyz 

/1(abc|xyz)2(?1)3/

    1abc2abc3456

    1abc2xyz3456 

/^(a*\w|ab)=(a*\w|ab)/

    ab=ab

/^(a*\w|ab)=(?1)/

    ab=ab

/^([^()]|\((?1)*\))*$/

    abc

    a(b)c

    a(b(c))d  

    *** Failers)

    a(b(c)d  

/^>abc>([^()]|\((?1)*\))*<xyz<$/

    >abc>123<xyz<

    >abc>1(2)3<xyz<

    >abc>(1(2)3)<xyz<

/^(?>a*)\d/

    aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa9876

    *** Failers 

    aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa

/< (?: (?(R) \d++  | [^<>]*+) | (?R)) * >/x

    <>

    <abcd>

    <abc <123> hij>

    <abc <def> hij>

    <abc<>def> 

    <abc<>      

    *** Failers

    <abc

/^(?(?=abc)\w{3}:|\d\d)$/        

    abc:                          

    12                             

    *** Failers                     

    123                       

    xyz                        

/^(?(?!abc)\d\d|\w{3}:)$/      

    abc:                        

    12         

    *** Failers

    123

    xyz    

/^(?=abc)\w{5}:$/        

    abcde:                          

    *** Failers                     

    abc.. 

    123                       

    vwxyz                        

/^(?!abc)\d\d$/      

    12         

    *** Failers

    abcde:

    abc..  

    123

    vwxyz    

/(?<=abc|xy)123/

    abc12345

    wxy123z

    *** Failers

    123abc

/(?<!abc|xy)123/

    123abc

    mno123456 

    *** Failers

    abc12345

    wxy123z

/abc(?C1)xyz/

    abcxyz

    123abcxyz999 

/(ab|cd){3,4}/C

  ababab

  abcdabcd

  abcdcdcdcdcd  

/^abc/

    abcdef

    *** Failers

    abcdef\B  

/^(a*|xyz)/

    bcd

    aaabcd

    xyz

    xyz\N  

    *** Failers

    bcd\N   

/xyz$/

    xyz

    xyz\n

    *** Failers

    xyz\Z

    xyz\n\Z    

/xyz$/m

    xyz

    xyz\n 

    abcxyz\npqr 

    abcxyz\npqr\Z 

    xyz\n\Z    

    *** Failers

    xyz\Z

/\Gabc/

    abcdef

    defabcxyz\>3 

    *** Failers 

    defabcxyz

/^abcdef/

    ab\P

    abcde\P

    abcdef\P

    *** Failers

    abx\P    

/^a{2,4}\d+z/

    a\P

    aa\P

    aa2\P 

    aaa\P

    aaa23\P 

    aaaa12345\P

    aa0z\P

    aaaa4444444444444z\P 

    *** Failers

    az\P 

    aaaaa\P 

    a56\P 

/^abcdef/

   abc\P

   def\R 

/(?<=foo)bar/

   xyzfo\P 

   foob\P\>2 

   foobar...\R\P\>4 

   xyzfo\P

   foobar\>2  

   *** Failers

   xyzfo\P

   obar\R   

/(ab*(cd|ef))+X/

    adfadadaklhlkalkajhlkjahdfasdfasdfladsfjkj\P\Z

    lkjhlkjhlkjhlkjhabbbbbbcdaefabbbbbbbefa\P\B\Z

    cdabbbbbbbb\P\R\B\Z

    efabbbbbbbbbbbbbbbb\P\R\B\Z

    bbbbbbbbbbbbcdXyasdfadf\P\R\B\Z    

/(a|b)/SF>testsavedregex

<testsavedregex

    abc

    ** Failers

    def  

/the quick brown fox/

    the quick brown fox

    The quick brown FOX

    What do you know about the quick brown fox?

    What do you know about THE QUICK BROWN FOX?

/The quick brown fox/i

    the quick brown fox

    The quick brown FOX

    What do you know about the quick brown fox?

    What do you know about THE QUICK BROWN FOX?

/abcd\t\n\r\f\a\e\071\x3b\$\\\?caxyz/

    abcd\t\n\r\f\a\e9;\$\\?caxyz

/a*abc?xyz+pqr{3}ab{2,}xy{4,5}pq{0,6}AB{0,}zz/

    abxyzpqrrrabbxyyyypqAzz

    abxyzpqrrrabbxyyyypqAzz

    aabxyzpqrrrabbxyyyypqAzz

    aaabxyzpqrrrabbxyyyypqAzz

    aaaabxyzpqrrrabbxyyyypqAzz

    abcxyzpqrrrabbxyyyypqAzz

    aabcxyzpqrrrabbxyyyypqAzz

    aaabcxyzpqrrrabbxyyyypAzz

    aaabcxyzpqrrrabbxyyyypqAzz

    aaabcxyzpqrrrabbxyyyypqqAzz

    aaabcxyzpqrrrabbxyyyypqqqAzz

    aaabcxyzpqrrrabbxyyyypqqqqAzz

    aaabcxyzpqrrrabbxyyyypqqqqqAzz

    aaabcxyzpqrrrabbxyyyypqqqqqqAzz

    aaaabcxyzpqrrrabbxyyyypqAzz

    abxyzzpqrrrabbxyyyypqAzz

    aabxyzzzpqrrrabbxyyyypqAzz

    aaabxyzzzzpqrrrabbxyyyypqAzz

    aaaabxyzzzzpqrrrabbxyyyypqAzz

    abcxyzzpqrrrabbxyyyypqAzz

    aabcxyzzzpqrrrabbxyyyypqAzz

    aaabcxyzzzzpqrrrabbxyyyypqAzz

    aaaabcxyzzzzpqrrrabbxyyyypqAzz

    aaaabcxyzzzzpqrrrabbbxyyyypqAzz

    aaaabcxyzzzzpqrrrabbbxyyyyypqAzz

    aaabcxyzpqrrrabbxyyyypABzz

    aaabcxyzpqrrrabbxyyyypABBzz

    >>>aaabxyzpqrrrabbxyyyypqAzz

    >aaaabxyzpqrrrabbxyyyypqAzz

    >>>>abcxyzpqrrrabbxyyyypqAzz

    *** Failers

    abxyzpqrrabbxyyyypqAzz

    abxyzpqrrrrabbxyyyypqAzz

    abxyzpqrrrabxyyyypqAzz

    aaaabcxyzzzzpqrrrabbbxyyyyyypqAzz

    aaaabcxyzzzzpqrrrabbbxyyypqAzz

    aaabcxyzpqrrrabbxyyyypqqqqqqqAzz

/^(abc){1,2}zz/

    abczz

    abcabczz

    *** Failers

    zz

    abcabcabczz

    >>abczz

/^(b+?|a){1,2}?c/

    bc

    bbc

    bbbc

    bac

    bbac

    aac

    abbbbbbbbbbbc

    bbbbbbbbbbbac

    *** Failers

    aaac

    abbbbbbbbbbbac

/^(b+|a){1,2}c/

    bc

    bbc

    bbbc

    bac

    bbac

    aac

    abbbbbbbbbbbc

    bbbbbbbbbbbac

    *** Failers

    aaac

    abbbbbbbbbbbac

/^(b+|a){1,2}?bc/

    bbc

/^(b*|ba){1,2}?bc/

    babc

    bbabc

    bababc

    *** Failers

    bababbc

    babababc

/^(ba|b*){1,2}?bc/

    babc

    bbabc

    bababc

    *** Failers

    bababbc

    babababc

/^\ca\cA\c[\c{\c:/

    \x01\x01\e;z

/^[ab\]cde]/

    athing

    bthing

    ]thing

    cthing

    dthing

    ething

    *** Failers

    fthing

    [thing

    \\thing

/^[]cde]/

    ]thing

    cthing

    dthing

    ething

    *** Failers

    athing

    fthing

/^[^ab\]cde]/

    fthing

    [thing

    \\thing

    *** Failers

    athing

    bthing

    ]thing

    cthing

    dthing

    ething

/^[^]cde]/

    athing

    fthing

    *** Failers

    ]thing

    cthing

    dthing

    ething

/^\�/

    �

/^�/

    �

/^[0-9]+$/

    0

    1

    2

    3

    4

    5

    6

    7

    8

    9

    10

    100

    *** Failers

    abc

/^.*nter/

    enter

    inter

    uponter

/^xxx[0-9]+$/

    xxx0

    xxx1234

    *** Failers

    xxx

/^.+[0-9][0-9][0-9]$/

    x123

    xx123

    123456

    *** Failers

    123

    x1234

/^.+?[0-9][0-9][0-9]$/

    x123

    xx123

    123456

    *** Failers

    123

    x1234

/^([^!]+)!(.+)=apquxz\.ixr\.zzz\.ac\.uk$/

    abc!pqr=apquxz.ixr.zzz.ac.uk

    *** Failers

    !pqr=apquxz.ixr.zzz.ac.uk

    abc!=apquxz.ixr.zzz.ac.uk

    abc!pqr=apquxz:ixr.zzz.ac.uk

    abc!pqr=apquxz.ixr.zzz.ac.ukk

/:/

    Well, we need a colon: somewhere

    *** Fail if we don't

/([\da-f:]+)$/i

    0abc

    abc

    fed

    E

    ::

    5f03:12C0::932e

    fed def

    Any old stuff

    *** Failers

    0zzz

    gzzz

    fed\x20

    Any old rubbish

/^.*\.(\d{1,3})\.(\d{1,3})\.(\d{1,3})$/

    .1.2.3

    A.12.123.0

    *** Failers

    .1.2.3333

    1.2.3

    1234.2.3

/^(\d+)\s+IN\s+SOA\s+(\S+)\s+(\S+)\s*\(\s*$/

    1 IN SOA non-sp1 non-sp2(

    1    IN    SOA    non-sp1    non-sp2   (

    *** Failers

    1IN SOA non-sp1 non-sp2(

/^[a-zA-Z\d][a-zA-Z\d\-]*(\.[a-zA-Z\d][a-zA-z\d\-]*)*\.$/

    a.

    Z.

    2.

    ab-c.pq-r.

    sxk.zzz.ac.uk.

    x-.y-.

    *** Failers

    -abc.peq.

/^\*\.[a-z]([a-z\-\d]*[a-z\d]+)?(\.[a-z]([a-z\-\d]*[a-z\d]+)?)*$/

    *.a

    *.b0-a

    *.c3-b.c

    *.c-a.b-c

    *** Failers

    *.0

    *.a-

    *.a-b.c-

    *.c-a.0-c

/^(?=ab(de))(abd)(e)/

    abde

/^(?!(ab)de|x)(abd)(f)/

    abdf

/^(?=(ab(cd)))(ab)/

    abcd

/^[\da-f](\.[\da-f])*$/i

    a.b.c.d

    A.B.C.D

    a.b.c.1.2.3.C

/^\".*\"\s*(;.*)?$/

    \"1234\"

    \"abcd\" ;

    \"\" ; rhubarb

    *** Failers

    \"1234\" : things

/^$/

    \

    *** Failers

/   ^    a   (?# begins with a)  b\sc (?# then b c) $ (?# then end)/x

    ab c

    *** Failers

    abc

    ab cde

/(?x)   ^    a   (?# begins with a)  b\sc (?# then b c) $ (?# then end)/

    ab c

    *** Failers

    abc

    ab cde

/^   a\ b[c ]d       $/x

    a bcd

    a b d

    *** Failers

    abcd

    ab d

/^(a(b(c)))(d(e(f)))(h(i(j)))(k(l(m)))$/

    abcdefhijklm

/^(?:a(b(c)))(?:d(e(f)))(?:h(i(j)))(?:k(l(m)))$/

    abcdefhijklm

/^[\w][\W][\s][\S][\d][\D][\b][\n][\c]][\022]/

    a+ Z0+\x08\n\x1d\x12

/^[.^$|()*+?{,}]+/

    .^\$(*+)|{?,?}

/^a*\w/

    z

    az

    aaaz

    a

    aa

    aaaa

    a+

    aa+

/^a*?\w/

    z

    az

    aaaz

    a

    aa

    aaaa

    a+

    aa+

/^a+\w/

    az

    aaaz

    aa

    aaaa

    aa+

/^a+?\w/

    az

    aaaz

    aa

    aaaa

    aa+

/^\d{8}\w{2,}/

    1234567890

    12345678ab

    12345678__

    *** Failers

    1234567

/^[aeiou\d]{4,5}$/

    uoie

    1234

    12345

    aaaaa

    *** Failers

    123456

/^[aeiou\d]{4,5}?/

    uoie

    1234

    12345

    aaaaa

    123456

/^From +([^ ]+) +[a-zA-Z][a-zA-Z][a-zA-Z] +[a-zA-Z][a-zA-Z][a-zA-Z] +[0-9]?[0-9] +[0-9][0-9]:[0-9][0-9]/

    From abcd  Mon Sep 01 12:33:02 1997

/^From\s+\S+\s+([a-zA-Z]{3}\s+){2}\d{1,2}\s+\d\d:\d\d/

    From abcd  Mon Sep 01 12:33:02 1997

    From abcd  Mon Sep  1 12:33:02 1997

    *** Failers

    From abcd  Sep 01 12:33:02 1997

/^12.34/s

    12\n34

    12\r34

/\w+(?=\t)/

    the quick brown\t fox

/foo(?!bar)(.*)/

    foobar is foolish see?

/(?:(?!foo)...|^.{0,2})bar(.*)/

    foobar crowbar etc

    barrel

    2barrel

    A barrel

/^(\D*)(?=\d)(?!123)/

    abc456

    *** Failers

    abc123

/^1234(?# test newlines

  inside)/

    1234

/^1234 #comment in extended re

  /x

    1234

/#rhubarb

  abcd/x

    abcd

/^abcd#rhubarb/x

    abcd

/(?!^)abc/

    the abc

    *** Failers

    abc

/(?=^)abc/

    abc

    *** Failers

    the abc

/^[ab]{1,3}(ab*|b)/

    aabbbbb

/^[ab]{1,3}?(ab*|b)/

    aabbbbb

/^[ab]{1,3}?(ab*?|b)/

    aabbbbb

/^[ab]{1,3}(ab*?|b)/

    aabbbbb

/  (?: [\040\t] |  \(

(?:  [^\\\x80-\xff\n\015()]  |  \\ [^\x80-\xff]  |  \( (?:  [^\\\x80-\xff\n\015()]  |  \\ [^\x80-\xff]  )* \)  )*

\)  )*                          # optional leading comment

(?:    (?:

[^(\040)<>@,;:".\\\[\]\000-\037\x80-\xff]+    # some number of atom characters...

(?![^(\040)<>@,;:".\\\[\]\000-\037\x80-\xff]) # ..not followed by something that could be part of an atom

|

" (?:                      # opening quote...

[^\\\x80-\xff\n\015"]                #   Anything except backslash and quote

|                     #    or

\\ [^\x80-\xff]           #   Escaped something (something != CR)

)* "  # closing quote

)                    # initial word

(?:  (?: [\040\t] |  \(

(?:  [^\\\x80-\xff\n\015()]  |  \\ [^\x80-\xff]  |  \( (?:  [^\\\x80-\xff\n\015()]  |  \\ [^\x80-\xff]  )* \)  )*

\)  )*  \.  (?: [\040\t] |  \(

(?:  [^\\\x80-\xff\n\015()]  |  \\ [^\x80-\xff]  |  \( (?:  [^\\\x80-\xff\n\015()]  |  \\ [^\x80-\xff]  )* \)  )*

\)  )*   (?:

[^(\040)<>@,;:".\\\[\]\000-\037\x80-\xff]+    # some number of atom characters...

(?![^(\040)<>@,;:".\\\[\]\000-\037\x80-\xff]) # ..not followed by something that could be part of an atom

|

" (?:                      # opening quote...

[^\\\x80-\xff\n\015"]                #   Anything except backslash and quote

|                     #    or

\\ [^\x80-\xff]           #   Escaped something (something != CR)

)* "  # closing quote

)  )* # further okay, if led by a period

(?: [\040\t] |  \(

(?:  [^\\\x80-\xff\n\015()]  |  \\ [^\x80-\xff]  |  \( (?:  [^\\\x80-\xff\n\015()]  |  \\ [^\x80-\xff]  )* \)  )*

\)  )*  @  (?: [\040\t] |  \(

(?:  [^\\\x80-\xff\n\015()]  |  \\ [^\x80-\xff]  |  \( (?:  [^\\\x80-\xff\n\015()]  |  \\ [^\x80-\xff]  )* \)  )*

\)  )*    (?:

[^(\040)<>@,;:".\\\[\]\000-\037\x80-\xff]+    # some number of atom characters...

(?![^(\040)<>@,;:".\\\[\]\000-\037\x80-\xff]) # ..not followed by something that could be part of an atom

|   \[                         # [

(?: [^\\\x80-\xff\n\015\[\]] |  \\ [^\x80-\xff]  )*    #    stuff

\]                        #           ]

)                           # initial subdomain

(?:                                  #

(?: [\040\t] |  \(

(?:  [^\\\x80-\xff\n\015()]  |  \\ [^\x80-\xff]  |  \( (?:  [^\\\x80-\xff\n\015()]  |  \\ [^\x80-\xff]  )* \)  )*