Bug #4922: [cfg][model] Ошибка в обходчике - Retrascope - Open-Source Projects

Actions

Copy link

Bug #4922

closed

[cfg][model] Ошибка в обходчике

Added by Alexander Protsenko over 10 years ago. Updated over 10 years ago.

Status:

Closed

Priority:

Normal

Assignee:

Alexander Protsenko

Category:

Target version:

0.1

Start date:

05/14/2014

Due date:

% Done:

Estimated time:

Detected in build:

svn

Platform:

Published in build:

Description

В CFGBuildingTestCase добавлен принтер, создающий gml файлы со структурой cfg.

Как результат было выявлено:
1. Обходчик проходит некоторые узлы минимум по 2 раза.
Приложены 2 файла gml (WORK.COUNT_cfg_EX.graphml - получен, WORK.COUNT_cfg.graphml - исправлен), в которых можно это наглядно увидеть.

2. Есть подозрение, что обходчик зацикливается.

(Файлы прилагаются. Запускать можно в yEd.)

Files

Download all files

WORK.COUNT(RTL)_cfg.graphml (14.2 KB) WORK.COUNT(RTL)_cfg.graphml		Alexander Protsenko, 05/14/2014 10:28 AM
WORK.COUNT(RTL)_cfg_EX.graphml (14.2 KB) WORK.COUNT(RTL)_cfg_EX.graphml		Alexander Protsenko, 05/14/2014 10:28 AM

Actions

Copy link

Updated by Alexander Protsenko over 10 years ago

3. Cоздаются дуги (на основе данных о потомках узла) к узлам, которые после этого не обходятся.

Actions

Copy link

Updated by Sergey Smolov over 10 years ago

Status changed from New to Open

Actions

Copy link

Updated by Sergey Smolov over 10 years ago

Status changed from Open to Resolved
Assignee changed from Sergey Smolov to Alexander Protsenko

Поправлено в r444.

1. Обходчик проходит по каждому узлу ровно один раз.
2. Зацикливаний на имеющемся множестве VHDL-описаний не наблюдается.
3. "Висячих" узлов (кроме SINK) не наблюдается.

Actions

Copy link