bugKawa - Bugs: bug #39151, ArrayOutOfBoundsException in...

 
 

bug #39151: ArrayOutOfBoundsException in Variable.freeLocal

Submitted by:  Matthieu Vachon <maoueh>
Submitted on:  Mon 03 Jun 2013 02:09:16 PM UTC  
 
Category: NoneSeverity: 3 - Normal
Item Group: NoneStatus: Fixed
Privacy: PublicAssigned to: Per Bothner <bothner>
Open/Closed: Closed

Add a New Comment (Rich MarkupRich Markup):
   

You are not logged in

Please log in, so followups can be emailed to you.

 

Fri 19 Jul 2013 04:25:58 AM UTC, comment #1:

I checked in a fix for this. It was the obvious fix one might do without understanding the code, but in spite of that I think it might be the right fix anyway. :-)

Per Bothner <bothner>
Project AdministratorIn charge of this item.
Mon 03 Jun 2013 02:09:16 PM UTC, original submission:

The test case attached does not compile on r7254 but was compiling fine one revision before (r7253). With the test case attached, two exceptions is shown. One about an ArrayIndexOutOfBounds and another about AppendValues InternalError. The second one (AppendValues InternalError) has been reported as an independent bug (#39150). Fixing this one (#39150) could potentially resolve this onem but I'm not sure.

I did not dig further on the cause of the error. But I tried to isolate the exact changeset that has caused this error. The changeset is in patch `PushApplySubsetRewriteIfLet.patch` which
introduces an optimization for If-Let statement. Removing this sole optimzation fix the problem but I really don't know why. Later this week, I will remove the optimization from latest version and see if I can compile my real from which the test case has been built.

The test case is the minimum to reproduce the error. Trying to change about any line will results in not producing the exception.

I will try to dig it further this week. I attached the test case I use to reproduce the problem and the exact changeset that cause the issue.

Regards,
Matt

P.S. Here the start of the stack trace for the record:

Matthieu Vachon <maoueh>

 

(Note: upload size limit is set to 16384 kB, after insertion of the required escape characters.)

Attach File(s):
   
   
Comment:
   

Attached Files
file #28236:  free-local-exception.scm added by maoueh (3kB - application/octet-stream - test case + exact changeset (git patch))
file #28237:  PushApplySubsetRewriteIfLet.patch added by maoueh (1kB - application/octet-stream - test case + exact changeset (git patch))

 

Depends on the following items: None found

Items that depend on this one: None found

 

Carbon-Copy List
  • -unavailable- added by bothner (Posted a comment)
  • -unavailable- added by maoueh (Submitted the item)
  •  

    Do you think this task is very important?
    If so, you can click here to add your encouragement to it.
    This task has 0 encouragements so far.

    Only logged-in users can vote.

     

    Please enter the title of George Orwell's famous dystopian book (it's a date):

     

     

    Follow 5 latest changes.

    Date Changed By Updated Field Previous Value => Replaced By
    Fri 19 Jul 2013 04:25:58 AM UTCbothnerStatusNone=>Fixed
      Assigned toNone=>bothner
      Open/ClosedOpen=>Closed
    Mon 03 Jun 2013 02:09:17 PM UTCmaouehAttached File-=>Added free-local-exception.scm, #28236
      Attached File-=>Added PushApplySubsetRewriteIfLet.patch, #28237

    Back to the top


    Powered by Savane 3.1-cleanup