https://issues.dlang.org/show_bug.cgi?id=4558

Infiltrator <lt.infiltrator@gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |lt.infiltrator@gmail.com

--- Comment #1 from Infiltrator <lt.infiltrator@gmail.com> ---
So, if I understand correctly, you want the compiler to statically calculate results where all the inputs are known at compile-time and detect when no change has occurred in a "&=" (and presumably in other operator-assignment operators?)

In such cases, should the compiler raise a warning or an error?

This all fits in nicely with CTFE.

--

https://issues.dlang.org/show_bug.cgi?id=4558

RazvanN <razvan.nitu1305@gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
                 CC|                            |razvan.nitu1305@gmail.com
         Resolution|---                         |WONTFIX

--- Comment #2 from RazvanN <razvan.nitu1305@gmail.com> ---
Walter has repeatedly stated that dmd-fe does not and will not do dataflow analysis. The problem with these sort of examples is that they seem trivial to implement for the simple cases, but once you start to think about more complex scenarios, the implementation becomes very complicated very fast.

I will close this as WONTFIX.

--