Project

General

Profile

Bug #8972

Case value RetrascopeException in VcegarPiBusCfgGraphMlTestCase

Added by Mikhail Lebedev about 1 year ago. Updated 2 minutes ago.

Status:
Closed
Priority:
Normal
Assignee:
Category:
Engine (Parser)
Target version:
Start date:
06/19/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 VcegarPiBusCfgGraphMlTestCase of the Retrascope-MC-benchmark project.

Log:

ru.ispras.retrascope.basis.exception.RetrascopeException: acknowledge can't include '[1]' case: '[1]' exists.


at ru.ispras.retrascope.model.cfg.CfgSwitchStatement.checkValues(CfgSwitchStatement.java:134)
at ru.ispras.retrascope.model.cfg.CfgSwitchStatement.add(CfgSwitchStatement.java:85)
at ru.ispras.retrascope.parser.basis.backend.CfgSwitchSequenceBackend.collapseSwitchSubTree(CfgSwitchSequenceBackend.java:266)
at ru.ispras.retrascope.parser.basis.backend.CfgSwitchSequenceBackend.processNestedSwitches(CfgSwitchSequenceBackend.java:206)
at ru.ispras.retrascope.parser.basis.backend.CfgSwitchSequenceBackend.onSwitchBegin(CfgSwitchSequenceBackend.java:81)
at ru.ispras.retrascope.model.cfg.CfgDfsWalker.visitSwitch(CfgDfsWalker.java:121)
at ru.ispras.retrascope.model.cfg.CfgDfsWalker.visitModelStatement(CfgDfsWalker.java:78)
...
/* same fragments*/
...
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.visitCase(CfgDfsWalker.java:133)
at ru.ispras.retrascope.model.cfg.CfgDfsWalker.visitModelStatement(CfgDfsWalker.java:82)
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.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/vcegar-benchmarks/pi_bus/main_1.v


Related issues

Related to Retrascope - Bug #8991: CfgSwitchSequenceBackend: do not collapse "if" statements with incompatible conditionsClosed06/25/2018

Actions

History

#2

Updated by Sergey Smolov about 1 year ago

  • % Done changed from 0 to 100
  • Status changed from New to Resolved

Fixed in 860f4e4f

#3

Updated by Sergey Smolov about 1 year ago

  • Related to Bug #8991: CfgSwitchSequenceBackend: do not collapse "if" statements with incompatible conditions added
#4

Updated by Mikhail Lebedev about 1 year ago

  • Status changed from Resolved to Verified
#5

Updated by Sergey Smolov 11 months ago

  • Target version set to 1.0
#6

Updated by Sergey Smolov 6 months ago

  • Category set to Engine (Parser)
#7

Updated by Sergey Smolov 2 minutes ago

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

Also available in: Atom PDF