[LLVMbugs] [Bug 21518] addvsi3 & subvsi3 don't trap when they should

[bugzilla-daemon at llvm.org]

http://llvm.org/bugs/show_bug.cgi?id=21518

Bob Wilson <bob.wilson at apple.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
                 CC|                            |bob.wilson at apple.com
         Resolution|---                         |FIXED

--- Comment #1 from Bob Wilson <bob.wilson at apple.com> ---
I asked Steve Canon and Duncan Exon Smith to review the patch. The only
question that came up was whether the code with the patch still has undefined
behavior. Tim Northover pointed out that according to C99 6.3.1.3p3,
overflowing unsigned to signed conversion is implementation defined, not
undefined, behavior. Since compiler-rt is part of the compiler and we control
the implementation, that should be OK.

I've committed the patch as r221826.

(This was tracked internally as rdar://problem/18924081.)

-- 
You are receiving this mail because:
You are on the CC list for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-bugs/attachments/20141112/d8e73d35/attachment.html>