Project

General

Profile

Actions
Copy link

Bug #9228

closed

Index ranges disappear in the new version of a variable

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:
08/16/2018
Due date:
% Done:

100%

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

Description

Original variable of MAP type used in the VariableVersionFactory class somehow contains null value of the indexRanges field of it's VariableDescriptor. This field is surely assigned not null in the VariableBuilder class before the VariableVersionFactory class execution. Moreover, this field appears to be NOT null AFTER the VariableVersionFactory class execution (when printing SMV code, for example). But the new versions of the variable still contain null value in their indexRanges fields.
This bug was detected for MEMORY variable when constructing hldd-smv for ITC99 b12 VHDL design.
Command line arguments:

b12.vhd --target smv --toplevel b12 --engine hldd-smv-printer --smv-file b12.smv

Actions
Copy link

Also available in: Atom PDF