[PATCH] [CodeGen] Annotate signed shift lefts with NUW

[David Majnemer]

Hi rsmith, chandlerc, nlewycky, nicholas, sanjoy,

For signed shifts, Op1 << Op2 in C and C++ is UB if the result cannot be
represented in the equivalent unsigned type.  While a stronger statement
can be made for C, let's start small and say that a signed shift left
cannot shift out any one bits.

http://reviews.llvm.org/D8899

Files:
  include/clang/Driver/Options.td
  include/clang/Frontend/CodeGenOptions.def
  lib/CodeGen/CGExprScalar.cpp
  lib/Driver/Tools.cpp
  lib/Frontend/CompilerInvocation.cpp
  test/CodeGen/compound-type.c
  test/OpenMP/atomic_update_codegen.cpp

EMAIL PREFERENCES
  http://reviews.llvm.org/settings/panel/emailpreferences/
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D8899.23426.patch
Type: text/x-patch
Size: 6020 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20150408/ffb4a2b3/attachment.bin>