Opened 10 years ago

Closed 10 years ago

Last modified 7 years ago

#3178 closed defect (fixed)

Dead store elimination removes used statements in for-loops

Reported by: perost Owned by: perost
Priority: critical Milestone: 1.9.4
Component: MetaModelica Version: trunk
Keywords: Cc:

Description

The dead store elimination removes statements from for-loops which are actually critical, which causes the compiler to silently change the behaviour of algorithms. Calling generateSeparateCode on InstSection in the attached file causes the last statement in the for-loop (when_stmt_opt := SOME(when_stmt);) in InstSection.instStatement to be removed.

This is done in Patterm.statementFindDeadStore.

Attachments (1)

stmt.mo​ (885 bytes) - added by perost 10 years ago.

Download all attachments as: .zip

Change History (5)

Changed 10 years ago by perost

comment:1 Changed 10 years ago by sjoelund.se

  • Owner changed from sjoelund.se to perost
  • Status changed from new to assigned

comment:2 Changed 10 years ago by perost

  • Resolution set to fixed
  • Status changed from assigned to closed

Fixed in r24791.

comment:3 Changed 9 years ago by dietmarw

  • Milestone changed from Future to pre1.9.4

It doesn't make sense to keep closed ticket in the "Future" milestone that were simply forgotten to assign to the correct milestone in the past.

comment:4 Changed 7 years ago by sjoelund.se

  • Milestone changed from pre1.9.4 to 1.9.4

Removing the pre1.9.4 milestone in favor of 1.9.4.

Note: See TracTickets for help on using tickets.