[PATCH] D9924: Ignore report when the argument to malloc is assigned known value

[Aditya Kumar via cfe-commits]

hiraditya updated this revision to Diff 34525.
hiraditya added a comment.

Emit warning when numerator is unknown (may overflow).

The checker will ignore warning when numerator and denominator are both
known.
Added test case.
Format patch with clang-format.


http://reviews.llvm.org/D9924

Files:
  lib/StaticAnalyzer/Checkers/MallocOverflowSecurityChecker.cpp
  test/Analysis/malloc-overflow.c
  test/Analysis/malloc-overflow2.c

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D9924.34525.patch
Type: text/x-patch
Size: 9645 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20150911/be346d6e/attachment.bin>