Project

General

Profile

Bug #9925

java.lang.IllegalStateException: Boolean data is not convertible to BitVector.

Added by Alexander Protsenko 11 months ago. Updated 10 months ago.

Status:
Closed
Priority:
Normal
Category:
-
Target version:
Start date:
11/14/2019
Due date:
% Done:

0%

Estimated time:
Detected in build:
2.4.46
Platform:
Published in build:
2.5.0-beta-191226

Description

Проект: Mips64

ATTENTION! An unexpected error has occurred:
java.lang.IllegalStateException: Boolean data is not convertible to BitVector.

The program will be terminated. Please contact us at: 
microtesk-support@ispras.ru
We are sorry for the inconvenience.

Exception stack:

java.lang.IllegalStateException: Boolean data is not convertible to BitVector.
    at ru.ispras.fortress.data.Data.checkConvertibleTo(Data.java:528)
    at ru.ispras.fortress.data.Data.getBitVector(Data.java:417)
    at ru.ispras.fortress.expression.NodeValue.getBitVector(NodeValue.java:324)
    at ru.ispras.microtesk.translator.mir.NmlIrTrans.newConstant(NmlIrTrans.java:324)
    at ru.ispras.microtesk.translator.mir.NmlIrTrans.access$300(NmlIrTrans.java:43)
    at ru.ispras.microtesk.translator.mir.NmlIrTrans$TransRvalue.lookUp(NmlIrTrans.java:499)
    at ru.ispras.microtesk.translator.mir.NmlIrTrans$TransRvalue.translateMapping(NmlIrTrans.java:420)
    at ru.ispras.microtesk.translator.mir.NmlIrTrans$TransRvalue.onOperationEnd(NmlIrTrans.java:357)
    at ru.ispras.fortress.expression.ExprTreeWalker.visitOperation(ExprTreeWalker.java:173)
    at ru.ispras.fortress.expression.ExprTreeWalker.visitNode(ExprTreeWalker.java:123)
    at ru.ispras.fortress.expression.ExprTreeWalker.visitOperation(ExprTreeWalker.java:160)
    at ru.ispras.fortress.expression.ExprTreeWalker.visitNode(ExprTreeWalker.java:123)
    at ru.ispras.fortress.expression.ExprTreeWalker.visit(ExprTreeWalker.java:93)
    at ru.ispras.microtesk.translator.mir.NmlIrTrans.translate(NmlIrTrans.java:307)
    at ru.ispras.microtesk.translator.mir.NmlIrTrans.translate(NmlIrTrans.java:793)
    at ru.ispras.microtesk.translator.mir.NmlIrTrans.translate(NmlIrTrans.java:178)
    at ru.ispras.microtesk.translator.mir.NmlIrTrans.translate(NmlIrTrans.java:800)
    at ru.ispras.microtesk.translator.mir.NmlIrTrans.translate(NmlIrTrans.java:178)
    at ru.ispras.microtesk.translator.mir.NmlIrTrans.translate(NmlIrTrans.java:95)
    at ru.ispras.microtesk.translator.mir.NmlIrTrans.translate(NmlIrTrans.java:52)
    at ru.ispras.microtesk.translator.mir.MirTransHandler.processIr(MirTransHandler.java:48)
    at ru.ispras.microtesk.translator.mir.MirTransHandler.processIr(MirTransHandler.java:30)
    at ru.ispras.microtesk.translator.Translator.processIr(Translator.java:84)
    at ru.ispras.microtesk.translator.nml.NmlTranslator.start(NmlTranslator.java:133)
    at ru.ispras.microtesk.translator.Translator.translate(Translator.java:201)
    at ru.ispras.microtesk.MicroTESK.translate(MicroTESK.java:168)
    at ru.ispras.microtesk.MicroTESK.runTask(MicroTESK.java:141)
    at ru.ispras.microtesk.MicroTESK.main(MicroTESK.java:79)

********************************************************************************

History

#1

Updated by Artem Kotsynyak 10 months ago

Времено добавлено журналирование релевантных событий во время трансляции для (80013bb1) отладки спецификаций (#9925, #9982).
Журналирование ведётся в отладочном канале, требуется указать опцию -verbose при трансляции (задача translateARCH в build.gradle).
Генерируемые события: "PASS: inline", "TRANSLATE:nML -> MIR"

#2

Updated by Alexander Protsenko 10 months ago

  • Status changed from New to Resolved
#3

Updated by Alexander Kamkin 10 months ago

  • Published in build set to 2.5.0-beta-191226
  • Target version set to 2.5
  • Status changed from Resolved to Closed

Also available in: Atom PDF