Actions
Bug #9925
closedjava.lang.IllegalStateException: Boolean data is not convertible to BitVector.
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) ********************************************************************************
Actions