Re: [PATCH] Fix NULL checking in check_TSCurrentConfig()

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