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

[Aditya Kumar via cfe-commits]

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

Refactored the code and check whether denominator > 0.


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.32381.patch
Type: text/x-patch
Size: 9023 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20150818/8cf637f0/attachment.bin>