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

[Aditya Kumar]

Also replaced isa with dyn_cast.

Reject multiplication by zero cases in MallocOverflowSecurityChecker
Currently MallocOverflowSecurityChecker does not catch cases like: malloc(n * 0 * sizeof(int));
This patch rejects such cases.

http://reviews.llvm.org/D9924

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

EMAIL PREFERENCES
  http://reviews.llvm.org/settings/panel/emailpreferences/
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D9924.26284.patch
Type: text/x-patch
Size: 10327 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20150521/937110b9/attachment.bin>