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 , 5 years ago
Cc: | added |
---|---|
Owner: | changed from | to
Status: | new → assigned |
comment:2 by , 5 years ago
Cc: | added |
---|
comment:3 by , 5 years ago
Milestone: | 1.16.0 → 1.17.0 |
---|
comment:4 by , 4 years ago
@Karim, do you think this could be actually fixed in 1.17.0? This could have some impact.
comment:6 by , 4 years ago
Milestone: | 1.17.0 → 1.18.0 |
---|
Retargeted to 1.18.0 after 1.17.0-dev.beta2 release
comment:9 by , 3 years ago
Priority: | blocker → high |
---|
1.16.0 feature freeze is imminent, new developments postponed to 1.17.0