[Issue 22277] removing strongly pure function calls is an incorrect optimization

d-bugmail at puremagic.com d-bugmail at puremagic.com
Mon Sep 13 13:22:13 UTC 2021


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

Andrei Alexandrescu <andrei at erdani.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |andrei at erdani.com

--- Comment #3 from Andrei Alexandrescu <andrei at erdani.com> ---
This has been discussed a number of times in the past. One proposal was that
`void` pure functions must always be called - the compiler must assume since
they're `void` and pure (a contradiction) then they do something surreptitious
and must not be elided.

--


More information about the Digitalmars-d-bugs mailing list