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: Per Östlund Owned by: Per Östlund
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 Per Östlund 10 years ago.

Download all attachments as: .zip

Change History (5)

by Per Östlund, 10 years ago

Attachment: stmt.mo added

comment:1 by Martin Sjölund, 10 years ago

Owner: changed from Martin Sjölund to Per Östlund
Status: newassigned

comment:2 by Per Östlund, 10 years ago

Resolution: fixed
Status: assignedclosed

Fixed in r24791.

comment:3 by Dietmar Winkler, 9 years ago

Milestone: Futurepre1.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 by Martin Sjölund, 7 years ago

Milestone: pre1.9.41.9.4

Removing the pre1.9.4 milestone in favor of 1.9.4.

Note: See TracTickets for help on using tickets.