On 2025-03-04 at 09:43, Sebastian Wittmeier via Std-Proposals wrote:
> Hi Tymi,
>
> for the definition of pure:
>
> May a pure function only call other pure functions or is it enough, if
> the other function has no side effects?
>
> f(int i)
>
> {
>
> if (i == 1)
>
> side_effect();
>
> }
>
> f(0) would have no side effect, but f as a whole is not pure.
>
> Can a pure function call f(0)? Would the compiler know, if f is in
> another translation unit, which parameter combinations make it pure?
>

This is sqrt(-1) setting errno to EDOM. So not pure?