Project

General

Profile

Actions
Copy link

Bug #9025

closed

IllegalArgumentException in VcegarPjIcramCfgGraphMlTestCase

Added by Mikhail Lebedev almost 6 years ago. Updated almost 5 years ago.

Status:
Closed
Priority:
Normal
Assignee:
Sergey Smolov
Category:
Engine (Parser)
Target version:
1.0
Start date:
06/27/2018
Due date:
% Done:

100%

Estimated time:
Detected in build:
master
Platform:
Published in build:
1.1.1-beta-190722

Description

This error appears in VcegarPjIcramCfgGraphMlTestCase of the Retrascope-MC-Benchmark project.
Error log:

java.lang.IllegalArgumentException: No descriptor for variable: ic_ram

at ru.ispras.fortress.util.InvariantChecks.checkTrue(InvariantChecks.java:53)
at ru.ispras.fortress.util.InvariantChecks.checkNotNull(InvariantChecks.java:109)
at ru.ispras.retrascope.parser.basis.backend.CfgVarRangeBlockBackend.onStatementEnd(CfgVarRangeBlockBackend.java:127)
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.cfg.CfgDfsWalker.visitBlock(CfgDfsWalker.java:143)
at ru.ispras.retrascope.model.cfg.CfgDfsWalker.visitModelStatement(CfgDfsWalker.java:74)
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.cfg.CfgDfsWalker.visitBlock(CfgDfsWalker.java:143)
at ru.ispras.retrascope.model.cfg.CfgDfsWalker.visitModelStatement(CfgDfsWalker.java:74)
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.cfg.CfgDfsWalker.visitBlock(CfgDfsWalker.java:143)
at ru.ispras.retrascope.model.cfg.CfgDfsWalker.visitModelStatement(CfgDfsWalker.java:74)
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.cfg.CfgDfsWalker.visitBlock(CfgDfsWalker.java:143)
at ru.ispras.retrascope.model.cfg.CfgDfsWalker.visitModelStatement(CfgDfsWalker.java:74)
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.cfg.CfgDfsWalker.visitBlock(CfgDfsWalker.java:143)
at ru.ispras.retrascope.model.cfg.CfgDfsWalker.visitModelStatement(CfgDfsWalker.java:74)
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/vcegar-benchmarks/pj_icram/icram_1.v

Actions
Copy link
 #1

Updated by Sergey Smolov almost 6 years ago

  • Status changed from New to Resolved
  • % Done changed from 0 to 100
Actions
Copy link
 #2

Updated by Mikhail Lebedev almost 6 years ago

  • Status changed from Resolved to Verified
Actions
Copy link
 #3

Updated by Sergey Smolov over 5 years ago

  • Target version set to 1.0
Actions
Copy link
 #4

Updated by Sergey Smolov about 5 years ago

  • Category set to Engine (Parser)
Actions
Copy link
 #5

Updated by Sergey Smolov almost 5 years ago

  • Status changed from Verified to Closed
  • Published in build set to 1.1.1-beta-190722
Actions
Copy link

Also available in: Atom PDF