[PATCH] D25876: [analyzer] Report CFNumberGetValue API misuse

[Anna Zaks via cfe-commits]

zaks.anna created this revision.
zaks.anna added reviewers: dcoughlin, NoQ.
zaks.anna added subscribers: cfe-commits, rgov.

This patch contains 2 improvements to the CFNumber checker:

- Checking of CFNumberGetValue misuse.
- Treating all CFNumber API misuse errors as non-fatal. (Previously we treated errors that could cause uninitialized memory as syncs and the truncation errors as non-fatal.)

This implements a subset of functionality from https://reviews.llvm.org/D17954.


https://reviews.llvm.org/D25876

Files:
  include/clang/StaticAnalyzer/Checkers/Checkers.td
  lib/StaticAnalyzer/Checkers/BasicObjCFoundationChecks.cpp
  test/Analysis/CFNumber.c

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D25876.75456.patch
Type: text/x-patch
Size: 8422 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20161021/4698db19/attachment.bin>