Amaury Forgeot d'Arc <[EMAIL PROTECTED]> added the comment: There is no issue: in pattern_search, state_init is called before sre_search is invoked. And state_init contains all the operations performed by state_reset.
The invariant here is that each call to sre_search must be preceded by a call to state_reset *or* state_init. I don't know whether your tool can detect this. ---------- nosy: +amaury.forgeotdarc resolution: -> invalid status: open -> closed _______________________________________ Python tracker <[EMAIL PROTECTED]> <http://bugs.python.org/issue4416> _______________________________________ _______________________________________________ Python-bugs-list mailing list Unsubscribe: http://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com
