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

d-bugmail at puremagic.com d-bugmail at puremagic.com
Tue Sep 14 19:43:24 UTC 2021


Max Samukha <maxsamukha at gmail.com> changed:

           What    |Removed                     |Added
                 CC|                            |maxsamukha at gmail.com

--- Comment #4 from Max Samukha <maxsamukha at gmail.com> ---
(In reply to Andrei Alexandrescu from comment #3)
> 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.

Could you explain why void and pure is a contradiction?


More information about the Digitalmars-d-bugs mailing list