[Python-bugs-list] [ python-Bugs-425325 ] Logs from Purify and Insure(?)

[noreply@sourceforge.net]

Bugs item #425325, was updated on 2001-05-18 14:42
You can respond by visiting: 
http://sourceforge.net/tracker/?func=detail&atid=105470&aid=425325&group_id=5470

Category: Python Interpreter Core
Group: None
Status: Open
Resolution: None
Priority: 5
Submitted By: Robert Minsk (rminsk)
>Assigned to: Barry Warsaw (bwarsaw)
>Summary: Logs from Purify and Insure(?)

Initial Comment:
While trying to debug a memory corruption problem I may
have run across a problem in Objects/tupleobject.c. 
Line 363 reads:

for (i = o->ob_size; --i >= 0; ) {

Should it be?

for (i = o->ob_size - 1; --i >= 0; ) {

----------------------------------------------------------------------

>Comment By: Tim Peters (tim_one)
Date: 2001-05-18 19:19

Message:
Logged In: YES 
user_id=31435

Changed "Summary" line to better reflect the current state, 
and reassigned to Barry.

----------------------------------------------------------------------

Comment By: Robert Minsk (rminsk)
Date: 2001-05-18 17:24

Message:
Logged In: YES 
user_id=132786

I just ran the code thru insure++ and you may want to look
at some of the errors...
Some of the 0 size rallocs/mallocs may be causing problems. 
The **FREE_DANGLING** may also be serious.

----------------------------------------------------------------------

Comment By: Robert Minsk (rminsk)
Date: 2001-05-18 15:53

Message:
Logged In: YES 
user_id=132786

Upon futher investigation this may be a bug in the optimizer
from the SGI 7.3.1.2m compilers.  I'm still checking....

----------------------------------------------------------------------

Comment By: Tim Peters (tim_one)
Date: 2001-05-18 15:14

Message:
Logged In: YES 
user_id=31435

I'm afraid we're both hallucinating, so reduced the 
priority again.  The  "--i >= 0" is executed before the 
loop begins, so the first value of i is in fact o->ob_size-
1.

So the question shifts to what Purify thinks is wrong.

----------------------------------------------------------------------

Comment By: Robert Minsk (rminsk)
Date: 2001-05-18 15:07

Message:
Logged In: YES 
user_id=132786

I discovered this using purify.  I am running purify on all
the python test code right now.

----------------------------------------------------------------------

Comment By: Tim Peters (tim_one)
Date: 2001-05-18 14:53

Message:
Logged In: YES 
user_id=31435

Zoomed the priority and assigned to me.  Good eye!  The 
same bug appears in listobject.c too.  I'll review all the 
xxx_traverse methods while I'm at it -- cut-&-paste bugs 
are deadly.  Thanks!


----------------------------------------------------------------------

You can respond by visiting: 
http://sourceforge.net/tracker/?func=detail&atid=105470&aid=425325&group_id=5470