[issue4416] state_reset not called on 'state' before sre_search invoked

2008-12-11 Thread Amaury Forgeot d'Arc 

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

[issue4416] state_reset not called on 'state' before sre_search invoked

2008-12-10 Thread Martin v. Löwis 

Martin v. Löwis [EMAIL PROTECTED] added the comment:

Can you provide a test case demonstrating a problem?

--
nosy: +loewis
versions: +Python 2.7 -Python 2.5.3

___
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

[issue4416] state_reset not called on 'state' before sre_search invoked

2008-12-10 Thread Brian Szuter 

Brian Szuter [EMAIL PROTECTED] added the comment:

Examples:
/Python-2.5.2/Modules/_sre.c Lines 3289 - 3297 (scanner_search)
/Python-2.5.2/Modules/_sre.c Lines 2349 - 2357 (pattern_subx)
/Python-2.5.2/Modules/_sre.c Lines 2197 - 2205 (pattern_split)
/Python-2.5.2/Modules/_sre.c Lines 2067 - 2075 (pattern_findall)

--
versions: +Python 2.5.3 -Python 2.7

___
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

[issue4416] state_reset not called on 'state' before sre_search invoked

2008-12-10 Thread Brian Szuter 

Changes by Brian Szuter [EMAIL PROTECTED]:


--
versions: +Python 2.7 -Python 2.5.3

___
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

[issue4416] state_reset not called on 'state' before sre_search invoked

2008-12-10 Thread Brian Szuter 

Brian Szuter [EMAIL PROTECTED] added the comment:

This bug was found using a research tool that finds potential neglected
condition bugs by examining a code base, deducing rules from the code
base, and finding violations of those rules.  
I have not attempted to demonstrate a problem visible to users from this
bug, and so cannot provide a test case demonstrating a problem.

___
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

[issue4416] state_reset not called on 'state' before sre_search invoked

2008-11-24 Thread Brian Szuter 

New submission from Brian Szuter [EMAIL PROTECTED]:

/home/rxc92/project/Python-2.5.2/Modules/_sre.c (pattern_search)
Line 2740

Elsewhere in the codebase, state_reset is called on the first parameter
of sre_search before sre_search is invoked.  The does not occur here.

--
components: None
messages: 76377
nosy: CWRU_Researcher1
severity: normal
status: open
title: state_reset not called on 'state' before sre_search invoked
type: performance
versions: Python 2.5.3

___
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