Hi Janus, with your patch, we would only warn about
var .and. func() and not about func() .and. var. AFAIK, TRUTH_AND_EXPR does not guarantee that func() will always be exectued, or if it does, I have not seen the documentation; it just happens to match what we currently see (which may be due to missed optimizatins in the back end, or the lack of test cases exposing this). So, I do not think that we should only warn about the first case here. Regards Thomas