Project

General

Profile

Actions

Bug #9228

closed

Index ranges disappear in the new version of a variable

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

Status:
Closed
Priority:
Normal
Assignee:
Category:
Engine (Parser)
Target version:
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 #1

Updated by Sergey Smolov over 6 years ago

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

Fixed in 27d874bf

Actions #2

Updated by Mikhail Lebedev over 6 years ago

  • Status changed from Resolved to Verified
Actions #3

Updated by Sergey Smolov about 6 years ago

  • Target version set to 1.0
Actions #4

Updated by Sergey Smolov almost 6 years ago

  • Category set to Engine (Parser)
Actions #5

Updated by Sergey Smolov over 5 years ago

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

Also available in: Atom PDF