[PATCH] D34275: [analyzer] Re-implemente current virtual calls checker in a path-sensitive way

[wangxin via Phabricator via cfe-commits]

wangxindsb added a comment.

> What about:
> 
>   struct A {
>     A() {
>       X x;
>       x.virtualMethod(); // this virtual call is ok
>       foo(); // should warn here
>     }
>     virtual foo();
>   }
>   int main() {
>     A a;
>   }
> 
> 
> Does the checker warn on the second call?

Yes, the checker warn on the second call.


https://reviews.llvm.org/D34275