Bug #8970
closedNullPointerException in VisBpbCfgGraphMlTestCase
100%
Description
This error appears in VisBpbCfgGraphMlTestCase of the Retrascope-MC-Benchmark project.
Log:
java.lang.NullPointerException
at ru.ispras.retrascope.parser.basis.backend.CfgVarRangeBlockBackend.onStatementEnd(CfgVarRangeBlockBackend.java:126)
at ru.ispras.retrascope.model.basis.walker.ModelWalker.visitNode(ModelWalker.java:190)
at ru.ispras.retrascope.model.basis.walker.DfsWalker.processChildren(DfsWalker.java:70)
at ru.ispras.retrascope.model.basis.walker.ModelWalker.processStatement(ModelWalker.java:321)
at ru.ispras.retrascope.model.cfg.CfgDfsWalker.visitSwitch(CfgDfsWalker.java:123)
at ru.ispras.retrascope.model.cfg.CfgDfsWalker.visitModelStatement(CfgDfsWalker.java:78)
at ru.ispras.retrascope.model.basis.walker.ModelWalker.visitNode(ModelWalker.java:188)
at ru.ispras.retrascope.model.basis.walker.DfsWalker.processChildren(DfsWalker.java:70)
at ru.ispras.retrascope.model.basis.walker.ModelWalker.processStatement(ModelWalker.java:321)
at ru.ispras.retrascope.model.basis.walker.ModelWalker.visitProcess(ModelWalker.java:300)
at ru.ispras.retrascope.model.basis.walker.ModelWalker.visitModule(ModelWalker.java:270)
at ru.ispras.retrascope.model.basis.walker.ModelWalker.visitModel(ModelWalker.java:242)
at ru.ispras.retrascope.model.basis.walker.ModelWalker.start(ModelWalker.java:132)
at ru.ispras.retrascope.engine.cfg.CfgVisitorBackend.start(CfgVisitorBackend.java:98)
at ru.ispras.retrascope.basis.Engine.runBackEnds(Engine.java:284)
at ru.ispras.retrascope.basis.Engine.start(Engine.java:219)
at ru.ispras.retrascope.basis.ToolChain.start(ToolChain.java:111)
at ru.ispras.retrascope.basis.Engine.start(Engine.java:217)
at ru.ispras.retrascope.Retrascope$ToolRun.start(Retrascope.java:215)
at ru.ispras.retrascope.Retrascope.main(Retrascope.java:456)
at ru.ispras.retrascope.Retrascope.main(Retrascope.java:373)
...
Corresponding Verilog:
src/main/verilog/verilog2smv-vis-benchmarks/Bpb/bpbs.v
Updated by Mikhail Lebedev over 6 years ago
Similar exception appears in VcegarPjIcramCfgGraphMlTestCase.
Corresponding Verilog:
src/main/verilog/vcegar-benchmarks/pj_icram/icram_1.v
Updated by Sergey Smolov over 6 years ago
- Related to Task #8982: "for" loop unrolling added
Updated by Sergey Smolov over 6 years ago
This error is changed and is connected to VeriTrans "for"-related issue #8982
Updated by Sergey Smolov over 6 years ago
- % Done changed from 0 to 100
Integers are treated as 32-sized bit vectors.
Updated by Mikhail Lebedev over 6 years ago
- Status changed from Resolved to Verified
Updated by Sergey Smolov about 6 years ago
- Related to deleted (Task #8982: "for" loop unrolling)
Updated by Sergey Smolov about 5 years ago
- Status changed from Verified to Closed
- Published in build set to 1.1.1-beta-190722