Project

General

Profile

Bug #9482

ru.ispras.retrascope.sample.VexRiscvVexRiscvGaddTestCase: ERROR: Wrong number of out edges for 'ru.ispras.retrascope.model.cfg.CfgBlockStatement@c219bf5': 2

Added by Sergey Smolov 7 months ago. Updated 6 months ago.

Status:
Closed
Priority:
Normal
Assignee:
Category:
Retrascope
Start date:
02/07/2019
Due date:
% Done:

100%

Estimated time:
Detected in build:
master
Platform:
Published in build:

Description

2019.02.07 16:11:06.524. INFO: Retrascope is starting
2019.02.07 16:11:06.524. INFO: Running: verilog-parser

2019.02.07 16:11:06.525. INFO: Options: {args=L:\work\retrascope-riscv\src\main\verilog\VexRiscv\VexRiscv.v --include-path L:\work\retrascope-riscv\src\main\verilog\VexRiscv --disable-backends ranged_switch --target gadd --module-name VexRiscv, v=[L:\work\retrascope-riscv\src\main\verilog\VexRiscv\VexRiscv.v]}

2019.02.07 16:11:10.710. INFO: Storing: cfg

2019.02.07 16:11:10.710. INFO: Running: cfg-gadd-transformer

2019.02.07 16:11:10.710. INFO: Options: {args=L:\work\retrascope-riscv\src\main\verilog\VexRiscv\VexRiscv.v --include-path L:\work\retrascope-riscv\src\main\verilog\VexRiscv --disable-backends ranged_switch --target gadd --module-name VexRiscv, cfg=<cfg>}

2019.02.07 16:11:12.633. ERROR: Wrong number of out edges for 'ru.ispras.retrascope.model.cfg.CfgBlockStatement@c219bf5': 2

2019.02.07 16:11:12.633. ERROR: The edge destinations are:
2019.02.07 16:11:12.633. ERROR: ru.ispras.retrascope.model.cfg.CfgBlockStatement@f33fe7f

2019.02.07 16:11:12.633. ERROR: ru.ispras.retrascope.model.cfg.CfgSwitchStatement@d6ca7d0
java.lang.IllegalArgumentException
    at ru.ispras.fortress.util.InvariantChecks.checkTrue(InvariantChecks.java:53)
    at ru.ispras.fortress.util.InvariantChecks.checkTrue(InvariantChecks.java:38)
    at ru.ispras.retrascope.engine.cfg.transformer.gadd.CfgGaddTransformerBuilder.applyToProcess(CfgGaddTransformerBuilder.java:185)
    at ru.ispras.retrascope.engine.cfg.transformer.gadd.CfgGaddTransformerBuilder.buildModule(CfgGaddTransformerBuilder.java:113)
    at ru.ispras.retrascope.engine.cfg.transformer.gadd.CfgGaddTransformerBuilder.build(CfgGaddTransformerBuilder.java:95)
    at ru.ispras.retrascope.engine.cfg.transformer.gadd.CfgGaddTransformer.start(CfgGaddTransformer.java:91)
    at ru.ispras.retrascope.basis.Engine.start(Engine.java:361)
    at ru.ispras.retrascope.basis.ToolChain.start(ToolChain.java:111)
    at ru.ispras.retrascope.basis.Engine.start(Engine.java:361)
    at ru.ispras.retrascope.Retrascope$ToolRun.start(Retrascope.java:220)
    at ru.ispras.retrascope.Retrascope.main(Retrascope.java:461)
    at ru.ispras.retrascope.Retrascope.main(Retrascope.java:378)
    at ru.ispras.retrascope.util.ToolTest.runTest(ToolTest.java:113)
    at ru.ispras.retrascope.BaseTest.runTest(BaseTest.java:79)
    at ru.ispras.retrascope.sample.VexRiscvVexRiscvGaddTestCase.runTest(VexRiscvVexRiscvGaddTestCase.java:43)

History

#1

Updated by Sergey Smolov 7 months ago

  • Category set to Retrascope
#2

Updated by Sergey Smolov 6 months ago

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

Fixed in commit:740ec6a1

#3

Updated by Sergey Smolov 6 months ago

  • Status changed from Resolved to Closed

Also available in: Atom PDF