Project

General

Profile

Actions
Copy link

Bug #1927

open

NullPointerException at AssignmentChecker.check

Added by Alexey Khoroshilov about 13 years ago.

Status:
New
Priority:
Normal
Assignee:
-
Target version:
-
Start date:
10/20/2011
Due date:
% Done:

0%

Estimated time:
Detected in build:
2.9.316-beta-110421
Platform:
Published in build:

Description

set_size_empty.sec(61,20): error: specification could not be called in 'call' block.
spec_model.sei(?,?): error:  Internal error:
java.lang.NullPointerException
        at ru.ispras.redverst.frontend.se.c.AssignmentChecker.check(AssignmentChecker.java:105)
        at ru.ispras.redverst.frontend.se.c.AssignmentChecker.check(AssignmentChecker.java:150)
        at ru.ispras.redverst.frontend.se.c.TypeChecker.checkReturnExpr(TypeChecker.java:7631)
        at ru.ispras.redverst.frontend.se.c.TypeChecker.visitReturnStatement(TypeChecker.java:7723)
        at ru.ispras.redverst.frontend.se.c.SEC$ReturnStatement.accept(SEC.java:7457)
        at ru.ispras.redverst.frontend.se.c.TypeChecker.visitStatementBlockItem(TypeChecker.java:7480)
        at ru.ispras.redverst.frontend.se.c.SEC$StatementBlockItem.accept(SEC.java:6592)
        at ru.ispras.redverst.frontend.se.c.TypeChecker.visitCompoundStatement(TypeChecker.java:7419)
        at ru.ispras.redverst.frontend.se.c.SEC$CompoundStatement.accept(SEC.java:6462)
        at ru.ispras.redverst.frontend.se.c.TypeChecker.visitSeCallBlockStatement(TypeChecker.java:8331)
        at ru.ispras.redverst.frontend.se.c.SEC$SeCallBlockStatement.accept(SEC.java:8108)
        at ru.ispras.redverst.frontend.se.c.TypeChecker.visitStatementBlockItem(TypeChecker.java:7480)
        at ru.ispras.redverst.frontend.se.c.SEC$StatementBlockItem.accept(SEC.java:6592)
        at ru.ispras.redverst.frontend.se.c.TypeChecker.visitCompoundStatement(TypeChecker.java:7419)
        at ru.ispras.redverst.frontend.se.c.SEC$CompoundStatement.accept(SEC.java:6462)
        at ru.ispras.redverst.frontend.se.c.TypeChecker.checkFunctionBody(TypeChecker.java:3629)
        at ru.ispras.redverst.frontend.se.c.TypeChecker.visitFunctionDefinition(TypeChecker.java:4239)
        at ru.ispras.redverst.frontend.se.c.SEC$FunctionDefinition.accept(SEC.java:395)
        at ru.ispras.redverst.frontend.se.c.TypeChecker.visitTranslationUnit(TypeChecker.java:3801)
        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)
.
2 error(s), 0 warning(s)

svn-2011/spikhalskiy
r4412

Files

spec_model.sei (66.3 KB) spec_model.sei Alexey Khoroshilov, 10/20/2011 01:54 AM

No data to display

Actions
Copy link

Also available in: Atom PDF