------- Comment #11 from tsyvarev at ispras dot ru 2008-11-01 15:52 ------- It is not nitpicking. Case with empty sequences is only demonstration, that code behaviour is not confirm to the standard.
Really, it seems that in every succesfull matching it will be unnecessary comparision (in == end). For example, for target sequences "false" and "true" and input sequence "false" eofbit flag won't be set in err, but when __beg points to 'e', (++__beg == __end) in the last if-operator inside for-cycle will return true. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=37958
