Skip to content

fix: properly handle aliasing elements of unscalarized array variables#4533

Merged
AayushSabharwal merged 1 commit into
masterfrom
as/perfect-aliases-arr-eqs
May 14, 2026
Merged

fix: properly handle aliasing elements of unscalarized array variables#4533
AayushSabharwal merged 1 commit into
masterfrom
as/perfect-aliases-arr-eqs

Commits