[Bug-kawa] [bug #4496] init-form can cause invalid classes

[nobody]

=================== BUG #4496: LATEST MODIFICATIONS ==================
http://savannah.gnu.org/bugs/?func=detailbug&bug_id=4496&group_id=145

Changes by: Per Bothner <address@hidden>
Date: Thu 08/07/2003 at 05:18 (GMT)

            What     | Removed                   | Added
---------------------------------------------------------------------------
              Status | Open                      | Closed


------------------ Additional Follow-up Comments ----------------------------
I checked in patches (to gnu.expr) to print a
hopefully-helpful error messages when a static
function or class (including dfeine-simple-class)
references a non-static.

I also checked in a fixe so that the code example
will work if you replace define-simple-class by
define-class.  I also extended the test case.



=================== BUG #4496: FULL BUG SNAPSHOT ===================


Submitted by: ctdean                  Project: Kawa                         
Submitted on: Sat 07/26/2003 at 20:43
Category:  None                       Severity:  5 - Major                  
Bug Group:  None                      Resolution:  None                     
Assigned to:  None                    Status:  Closed                       

Summary:  init-form can cause invalid classes

Original Submission:  If I patch the testsuite with the attached file, I get a 
java.lang.VerifyError on the class created by define-simple-class.

Follow-up Comments
*******************

-------------------------------------------------------
Date: Thu 08/07/2003 at 05:18       By: bothner
I checked in patches (to gnu.expr) to print a
hopefully-helpful error messages when a static
function or class (including dfeine-simple-class)
references a non-static.

I also checked in a fixe so that the code example
will work if you replace define-simple-class by
define-class.  I also extended the test case.

-------------------------------------------------------
Date: Wed 08/06/2003 at 06:40       By: bothner
The problem is that the patch makes <SimpleDateTest>
depend on a non-static function define-offset. (That
function is non-static because it depends on a
non-static non-constant module variable.)  Therefore
the <SimpleDateTest> is no longer a simple class.
The attached patch makes the test compile and create
a valid class file, since the *field for the "variable"
<SimpleDataTest> is no longer static.

We probably should emit a wanring or error in this case.
You may have intended to compile a static module, which
should fix the problem.

I tried changing the define-simple-class to a simple-class,
and (with my patches) I got:
java.lang.RuntimeException: make: no method named `<init>' in class 
classes1$SimpleDateTest
This at least is supposed to work.



CC list is empty


File Attachments
****************

-------------------------------------------------------
Date: Wed 08/06/2003 at 06:40  Name: defclass.patch  Size: 1KB   By: bothner
Incomplete patch
http://savannah.gnu.org/bugs/download.php?group_id=145&amp;bug_id=4496&amp;bug_file_id=578

-------------------------------------------------------
Date: Sat 07/26/2003 at 20:43  Name: classes1.patch  Size: 0KB   By: ctdean
classes1.patch
http://savannah.gnu.org/bugs/download.php?group_id=145&amp;bug_id=4496&amp;bug_file_id=556


For detailed info, follow this link:
http://savannah.gnu.org/bugs/?func=detailbug&bug_id=4496&group_id=145

_______________________________________________
  Message sent via/by Savannah
  http://savannah.gnu.org/