[PATCH] D108695: [analyzer][NFCI] Allow clients of NoStateChangeFuncVisitor to check entire function calls, rather than each ExplodedNode in it

[Mikael Holmén via Phabricator via cfe-commits]

uabelho added a comment.

In D108695#2999432 <https://reviews.llvm.org/D108695#2999432>, @steakhal wrote:

> In D108695#2999378 <https://reviews.llvm.org/D108695#2999378>, @uabelho wrote:
>
>> Hi @Szelethus 
>> A couple of tests fail for me on trunk with this patch
>
> Uh, that's my unittest :D
> I suspect you are running some sort of CI where you set up Z3.

Yes, I have Z3 enabled.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D108695/new/

https://reviews.llvm.org/D108695