CTESK

При наличии в call-блоке в сценарной функции return'a происходит исключение:

sec 2.8.300-beta-100609
- sec.properties
+ sec.plugins

<- src/tests/sec/db_scen.sei
generate:
db_scen.sei(?,?): error: Internal error:
java.lang.IllegalStateException
at ru.ispras.redverst.frontend.se.c.TypeChecker.visitReturnStatement(TypeChecker.java:7821)
at ru.ispras.redverst.frontend.se.c.SEC$ReturnStatement.accept(SEC.java:7457)
at ru.ispras.redverst.frontend.se.c.TypeChecker.visitStatementBlockItem(TypeChecker.java:7476)
at ru.ispras.redverst.frontend.se.c.SEC$StatementBlockItem.accept(SEC.java:6592)
at ru.ispras.redverst.frontend.se.c.TypeChecker.visitCompoundStatement(TypeChecker.java:7415)
at ru.ispras.redverst.frontend.se.c.SEC$CompoundStatement.accept(SEC.java:6462)
at ru.ispras.redverst.frontend.se.c.TypeChecker.visitIfStatement(TypeChecker.java:7498)
at ru.ispras.redverst.frontend.se.c.SEC$IfStatement.accept(SEC.java:6763)
at ru.ispras.redverst.frontend.se.c.TypeChecker.visitStatementBlockItem(TypeChecker.java:7476)
at ru.ispras.redverst.frontend.se.c.SEC$StatementBlockItem.accept(SEC.java:6592)
at ru.ispras.redverst.frontend.se.c.TypeChecker.visitCompoundStatement(TypeChecker.java:7415)
at ru.ispras.redverst.frontend.se.c.SEC$CompoundStatement.accept(SEC.java:6462)
at ru.ispras.redverst.frontend.se.c.TypeChecker.visitSeCallBlockStatement(TypeChecker.java:8323)
at ru.ispras.redverst.frontend.se.c.SEC$SeCallBlockStatement.accept(SEC.java:8108)
at ru.ispras.redverst.frontend.se.c.TypeChecker.visitStatementBlockItem(TypeChecker.java:7476)
at ru.ispras.redverst.frontend.se.c.SEC$StatementBlockItem.accept(SEC.java:6592)
at ru.ispras.redverst.frontend.se.c.TypeChecker.visitCompoundStatement(TypeChecker.java:7415)
at ru.ispras.redverst.frontend.se.c.SEC$CompoundStatement.accept(SEC.java:6462)
at ru.ispras.redverst.frontend.se.c.TypeChecker.visitSeIterationStatement(TypeChecker.java:7941)
at ru.ispras.redverst.frontend.se.c.SEC$SeIterationStatement.accept(SEC.java:7758)
at ru.ispras.redverst.frontend.se.c.TypeChecker.visitStatementBlockItem(TypeChecker.java:7476)
at ru.ispras.redverst.frontend.se.c.SEC$StatementBlockItem.accept(SEC.java:6592)
at ru.ispras.redverst.frontend.se.c.TypeChecker.visitCompoundStatement(TypeChecker.java:7415)
at ru.ispras.redverst.frontend.se.c.SEC$CompoundStatement.accept(SEC.java:6462)
at ru.ispras.redverst.frontend.se.c.TypeChecker.visitSeIterationStatement(TypeChecker.java:7941)
at ru.ispras.redverst.frontend.se.c.SEC$SeIterationStatement.accept(SEC.java:7758)
at ru.ispras.redverst.frontend.se.c.TypeChecker.visitStatementBlockItem(TypeChecker.java:7476)
at ru.ispras.redverst.frontend.se.c.SEC$StatementBlockItem.accept(SEC.java:6592)
at ru.ispras.redverst.frontend.se.c.TypeChecker.visitCompoundStatement(TypeChecker.java:7415)
at ru.ispras.redverst.frontend.se.c.SEC$CompoundStatement.accept(SEC.java:6462)
at ru.ispras.redverst.frontend.se.c.TypeChecker.checkFunctionBody(TypeChecker.java:3625)
at ru.ispras.redverst.frontend.se.c.TypeChecker.visitFunctionDefinition(TypeChecker.java:4261)
at ru.ispras.redverst.frontend.se.c.SEC$FunctionDefinition.accept(SEC.java:395)
at ru.ispras.redverst.frontend.se.c.TypeChecker.visitTranslationUnit(TypeChecker.java:3797)
at ru.ispras.redverst.frontend.se.c.SEC$TranslationUnit.accept(SEC.java:198)
at ru.ispras.redverst.se.c.CheckAction.process(CheckAction.java:46)
at ru.ispras.redverst.se.c.GenerateAction.process(GenerateAction.java:60)
at com.unitesk.atp.tree.tool.Tool.process(Tool.java:144)
at com.unitesk.atp.tree.tool.Tool.run(Tool.java:107)
at ru.ispras.redverst.se.c.Main.singleSourceMain(Main.java:223)
at ru.ispras.redverst.se.c.Main.main(Main.java:218)
.