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

[Anna Zaks via cfe-commits]

zaks.anna added a comment.

> > If a' might overflow, then in this case we can emit warning stating that the overflow is caused because a' might overflow.

> 

> 

> I see your point now! I think we should improve the diagnostic that is produced in this case!


How was the following comment addressed? I do not see any tests for improved/changed diagnostics...


http://reviews.llvm.org/D9924