[PATCH] D31029: [analyzer] Fix logical not for pointers with different bit width

Thu Mar 23 09:05:14 PDT 2017

danielmarjamaki marked an inline comment as done.
danielmarjamaki added a comment.

In https://reviews.llvm.org/D31029#708567, @danielmarjamaki wrote:

> In https://reviews.llvm.org/D31029#703428, @zaks.anna wrote:
>
> > Are there other cases where makeNull would need to be replaced?
>
>
> There might be. As I understand it, this is the only known case at the moment.

To clarify. The static analyser runs fine on plenty of code. I ran CSA using this target on a 1000's of C-files project. I think it works well.. but I can't guarantee there won't be any more issues.

Repository:
  rL LLVM

https://reviews.llvm.org/D31029