Project

General

Profile

Bug #9228

Index ranges disappear in the new version of a variable

Added by Mikhail Lebedev 9 months ago. Updated 4 months ago.

Status:
Verified
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:

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

History

#1

Updated by Sergey Smolov 9 months ago

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

Fixed in 27d874bf

#2

Updated by Mikhail Lebedev 9 months ago

  • Status changed from Resolved to Verified
#3

Updated by Sergey Smolov 9 months ago

  • Target version set to 1.0
#4

Updated by Sergey Smolov 4 months ago

  • Category set to Engine (Parser)

Also available in: Atom PDF