[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: Wed 08/06/2003 at 06:40 (GMT)

------------------ Additional Follow-up Comments ----------------------------
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.


------------------ Additional Bug Attachment  ----------------------------
File name: defclass.patch                 Size:1 KB
Incomplete patch
http://savannah.gnu.org/bugs/download.php?group_id=145&amp;bug_id=4496&amp;bug_file_id=578



=================== 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:  Open                         

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: 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/