On Tue, Feb 19, 2013 at 8:52 PM, Ian Lance Taylor wrote:
> On Tue, Feb 19, 2013 at 4:19 PM, Jeffrey Walton wrote:
>>
>> I've been using John Regehr's Integer Overflow Checker (IOC) on a few
>> libraries. It is a Clang plug-in and can be found at
>> http://embed.cs.utah.edu/ioc/.
>>
>> The checker
On Tue, Feb 19, 2013 at 4:19 PM, Jeffrey Walton wrote:
>
> I've been using John Regehr's Integer Overflow Checker (IOC) on a few
> libraries. It is a Clang plug-in and can be found at
> http://embed.cs.utah.edu/ioc/.
>
> The checker has flagged two libraries I use for performing undefined
> right
