kieler/semantics

[KISEMA-1583] Dataflow regions reserve space for local declarations even if the option is disabled

fabianheyer opened this issue · 0 comments

[Issue KISEMA-1583 migrated from JIRA, first reported on 2020-05-15]

scchart NewSCChart {
//  input bool Z // Enable for second graph
  output signal X
  
  dataflow {
    int Z // disable for second graph
    Z = X
  }
}

For the following graphs, local declarations or declarations are disabled. If this is the case I would expect the drawing to look like the second one.

Screenshot from 2020-05-15 14-46-58
Screenshot from 2020-05-15 14-47-10