[PATCH] D50250: [clang][ubsan] Implicit Conversion Sanitizer - integer sign change - clang part

[Roman Lebedev via Phabricator via cfe-commits]

lebedev.ri updated this revision to Diff 160458.
lebedev.ri added a comment.

Ping.

Rebased, now that the https://reviews.llvm.org/D50465 has landed, and we are now able to properly optimize the ugliest case:

> This comes with `Implicit Conversion Sanitizer - integer sign change` (https://reviews.llvm.org/D50250):
> 
>   signed char test(unsigned int x) { return x; }
> 
> 
> `clang++ -fsanitize=implicit-conversion -S -emit-llvm -o - /tmp/test.cpp -O3`
> 
> - Old: F6904292: old.ll <https://reviews.llvm.org/F6904292>
> - With this patch: F6904294: new.ll <https://reviews.llvm.org/F6904294>


Repository:
  rC Clang

https://reviews.llvm.org/D50250

Files:
  docs/ReleaseNotes.rst
  docs/UndefinedBehaviorSanitizer.rst
  include/clang/Basic/Sanitizers.def
  lib/CodeGen/CGExprScalar.cpp
  test/CodeGen/catch-implicit-integer-conversions-basics.c
  test/CodeGen/catch-implicit-integer-conversions.c
  test/CodeGen/catch-implicit-integer-sign-changes-basics.c
  test/CodeGen/catch-implicit-integer-sign-changes-true-negatives.c
  test/CodeGen/catch-implicit-integer-sign-changes.c
  test/CodeGen/catch-implicit-integer-truncations-basics.c
  test/CodeGen/catch-implicit-integer-truncations.c
  test/CodeGenCXX/catch-implicit-integer-sign-changes-true-negatives.cpp
  test/Driver/fsanitize.c

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D50250.160458.patch
Type: text/x-patch
Size: 94794 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20180813/3cd8fae5/attachment-0001.bin>