--- Comment #27 from Thomas Koenig <tkoenig at gcc dot> ---
[Replying to myself now]

> A front end pass (what else did you expect? :-)
> If an impure function is found (recursively) in the operands of an .AND.
> expression, issue a
> gfc_warning(OPT_Wsurprising, "Impure function %qs at %L may not be
> evaluated", ...)
> So,
>   if (flag .and. f(x) > 0.)
> would also be warned about.

I think I will start working on that warning; this should lead to
users being made aware of a potential problem in their code.

I am, of course, open to suggestions about the text of the warning.

Reply via email to