[PATCH] D46081: [analyzer] Expand conversion check to check more expressions for overflow and underflow

Paul Fultz II via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Thu Apr 26 14:41:55 PDT 2018


pfultz2 updated this revision to Diff 144202.
pfultz2 added a comment.

So I ran this on clang/llvm code base and fixed some false positives.


https://reviews.llvm.org/D46081

Files:
  lib/StaticAnalyzer/Checkers/ConversionChecker.cpp
  test/Analysis/conversion.c
  test/Analysis/conversion.cpp

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D46081.144202.patch
Type: text/x-patch
Size: 4540 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20180426/28a9f9f2/attachment.bin>


More information about the cfe-commits mailing list