[cfe-dev] recent change broke -fcatch-undefined-behavior

Richard Smith richard at metafoo.co.uk
Tue Nov 27 15:05:53 PST 2012


On Tue, Nov 27, 2012 at 2:32 PM, Sean McBride <sean at rogue-research.com>wrote:

> On Fri, 23 Nov 2012 16:40:57 -0500, Sean McBride said:
>
> >I'm seeing some other weirdness with -fsanitize=float-cast-overflow:
> >
> ><unknown>: fatal error: value 255 is outside the range of representable
> >values of type 'unsigned char'
> >
> >hmmm, could there be an off-by-one error in the check here?
>
> Regarding this, it would be helpful if ubsan output the exact value of the
> floating point value.


I already have a WIP patch for that, but I'm busy with other things at the
moment. What I'm aiming for is printing out the shortest string which
provides the exact same value.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-dev/attachments/20121127/8339f18a/attachment.html>


More information about the cfe-dev mailing list