[PATCH] Loss of Sign Checker

[Soumitra Chatterjee]

Diagnose the case when a negative value is assigned to an unsigned variable.

Unfortunately, there are no existing diagnostics for such assignments
that cause the loss of the sign, potentially resulting in nasty silent runtime failures.

http://reviews.llvm.org/D10634

Files:
  lib/StaticAnalyzer/Checkers/CMakeLists.txt
  lib/StaticAnalyzer/Checkers/Checkers.td
  lib/StaticAnalyzer/Checkers/LossOfSignChecker.cpp
  test/Analysis/LossOfSign.c

EMAIL PREFERENCES
  http://reviews.llvm.org/settings/panel/emailpreferences/
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D10634.28096.patch
Type: text/x-patch
Size: 8996 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20150623/a9c51dfb/attachment.bin>