>>>> +if (x == NULL || ...) S >>>> +... when != e = (T)x >>>> + when != true x == NULL … > I assume that it was added because it was found to be useful.
We can get different software development opinions also on this implementation detail. > Please actually try things out before declaring them to be useless. Further clarification of desirable software behaviour will help. I dare to express doubts around the SmPL functionality “when != true x == NULL”. Would any more contributors like to share additional insights for the safer application of the semantic patch language? Is a reassignment of such local variable an usual precondition for the discussed programming concern? Regards, Markus