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

[Gábor Horváth via Phabricator via cfe-commits]

xazax.hun added a subscriber: NoQ.
xazax.hun added a comment.

@NoQ , @dcoughlin could either of you review this patch as well? The end of GSoC is closing and it would be awesome to be able to commit this before it ends. :)



================
Comment at: lib/StaticAnalyzer/Checkers/VirtualCallChecker.cpp:30
+enum class ObjectState : bool { CtorCalled, DtorCalled };
+}
 
----------------
Missing namespace closing comment. 


https://reviews.llvm.org/D34275