On 9/23/2024 6:39 AM, claptrap wrote: > If you have an 3 "elem" that > store to variable "X", and one use of "X", there's no way to tell if any of > those stores are redundant without actually working out how they all depend on > each other. The working out is "dead assignment elimination" which is another DFA that DMD does.