[Sablevm-bugs] [ sablevm-Bugs-653551 ] assertion failure running soot-1.2.4

[<no...@so...>]

Bugs item #653551, was opened at 2002-12-13 17:27
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=105523&aid=653551&group_id=5523

Category: Execution Problem
Group: SableVM
Status: Open
Resolution: None
Priority: 5
Submitted By: Archie Cobbs (archiecobbs)
Assigned to: Nobody/Anonymous (nobody)
Summary: assertion failure running soot-1.2.4

Initial Comment:
I can consistently reproduce an assertion faiulre with
SableVM 1.0.5.
This happens on both FreeBSD and Linux. You must use
the debug
version of SableVM to get the assertion failure
(obviously), othewise
you get a SEGV core dump or other weird error.

Environment: soot-1.2.4 classes are in the classpath.

Contents of ~/.sablevm are attached.

Also, two class files are attached, along with source
files.
jikes-1.15 was used to generate them.

Here's the failure:

$ sablevm-debug --verbose-gc soot.Main --jimple Test
[verbose gc: allocating fixed size heap (2 * 16777216
bytes)]
Soot started on Fri Dec 13 17:21:16 GMT-08:00 2002
[verbose gc: previously allocated 16765808 bytes,
surviving 3822924 bytes, new heap is 16777216 bytes, gc
time = 0 sec 87391 usec]
[verbose gc: previously allocated 16767540 bytes,
surviving 6648540 bytes, new heap is 16777216 bytes, gc
time = 0 sec 133278 usec]
Transforming Test... sablevm-debug: util2.c:161:
_svmf_is_assignable_from: Assertion `T != ((void *)0)'
failed.
Abort

I've also gotten these assertion failures instead:

sablevm-debug: instructions_switch.c:15982:
_svmf_interpreter: Assertion `_svmf_is_assignable_from
(env, instance->vtable->type, _svmf_cast_type_class
(method->class_info))' failed.

sablevm: INTERNAL ERROR (source file "error.c", line
170): unhandled segmentation fault

It appears that memory is being corrupted somehow.


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

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=105523&aid=653551&group_id=5523