Opened 5 years ago

Last modified 3 years ago

#5868 assigned defect

Avoid alias elimination of individual elements of an array

Reported by: Francesco Casella Owned by: Karim Adbdelhak
Priority: high Milestone: 1.19.0
Component: Backend Version:
Keywords: Cc: Andreas Heuermann, Mahder Alemseged Gebremedhin

Description

Certain operations involving arrays (e.g. passing them as inputs to functions) only work if their integrity is preserved. In some cases, the removeSimpleEquations algorithm in the backend eliminates some elements of arrays in favour of other scalar aliases, jeopardizing the correctness of those operations.

The removeSimpleEquations should be fixed to avoid eliminating individual components of arrays when doing alias elimination.

Change History (9)

comment:1 by Francesco Casella, 5 years ago

Cc: Andreas Heuermann added
Owner: changed from Lennart Ochel to Karim Adbdelhak
Status: newassigned

comment:2 by Mahder Alemseged Gebremedhin, 5 years ago

Cc: Mahder Alemseged Gebremedhin added

comment:3 by Francesco Casella, 5 years ago

Milestone: 1.16.01.17.0

1.16.0 feature freeze is imminent, new developments postponed to 1.17.0

comment:4 by Francesco Casella, 4 years ago

@Karim, do you think this could be actually fixed in 1.17.0? This could have some impact.

comment:5 by Francesco Casella, 4 years ago

Ping...

comment:6 by Francesco Casella, 4 years ago

Milestone: 1.17.01.18.0

Retargeted to 1.18.0 after 1.17.0-dev.beta2 release

comment:7 by Francesco Casella, 3 years ago

Milestone: 1.18.0

Ticket retargeted after milestone closed

comment:8 by Francesco Casella, 3 years ago

Milestone: 1.19.0

1.18.0 blocker tickets moved to 1.19.0

comment:9 by Francesco Casella, 3 years ago

Priority: blockerhigh
Note: See TracTickets for help on using tickets.