On 1/20/13 10:35 PM, Tom Lane wrote:
> Great catch, will commit. (But first I'm looking through commit
> 2594cf0e to see if I made the same mistake anywhere else :-(.)
>
> How did you find that, coverity or some such tool?
Thanks for reviewing the patch.
It was found using a homemade static undefined behavior checker.
- xi