BZ #195: assertion in verifier

Status fields:

creation_ts:2016-01-15 22:44
component:verifier
version:1.6.1
rep_platform:All
op_sys:All
bug_status:RESOLVED
resolution:FIXED
reporter:stefan@complang.tuwien.ac.at 
See http://icedtea.classpath.org/bugzilla/show_bug.cgi?id=2781

typeinfo.cpp: typeinfo_merge_nonarrays: Assertion `dest && result && x.any && y.any'
failed

Comment #1 by stefan@complang.tuwien.ac.at on 2016-01-28 00:11:08

dacapo eclipse triggers this as well:

$ [...]/openjdk.build/j2sdk-image/bin/java -Xmx4096m -jar dacapo-9.12-bach.jar eclipse
Unzip workspace
===== DaCapo 9.12 eclipse starting =====
Initialize workspace ...................
Index workspace java: typeinfo.cpp:1449: typecheck_result
typeinfo_merge_nonarrays(typeinfo_t*, classref_or_classinfo*, classref_or_classinfo,
classref_or_classinfo, typeinfo_mergedlist_t*, typeinfo_mergedlist_t*): Assertion `dest
&& result && x.any && y.any' failed.
Aborted
$ [...]/openjdk.build/j2sdk-image/bin/java -version
java version "1.7.0_85"
IcedTea Runtime Environment (2.6.1+r7d4514cbb84b) (CentOS build 1.7.0_85-b01)
CACAO (build 1.6.2pre+rc4a142a30684, compiled mode)

Comment #2 by stefan@complang.tuwien.ac.at on 2016-12-09 22:37:13

http://mips.complang.tuwien.ac.at/hg/cacao/rev/4982d429274b