=?iso-8859-1?Q?C=E9dric_Dufour?= <cedric.dufour@freesurf.ch> writes:
> This tends to prove that the normal OR expression evaluates both left and
> right expression, though evaluating the right expression is useless provided
> the left expression is true.
It proves no such thing. How about showing us what you actually did,
rather than jumping to (incorrect) conclusions?
regards, tom lane