[PATCH] D47044: [analyzer] Ensure that we only visit a destructor for a reference if type information is available.

[George Karpenkov via Phabricator via cfe-commits]

george.karpenkov accepted this revision.
george.karpenkov added a comment.
This revision is now accepted and ready to land.

Looks good to me, apart from the nit on an unused header.



================
Comment at: lib/StaticAnalyzer/Core/LoopWidening.cpp:21
 #include "clang/StaticAnalyzer/Core/PathSensitive/LoopWidening.h"
+#include "llvm/ADT/SmallSet.h"
 
----------------
Seems unused now?


Repository:
  rC Clang

https://reviews.llvm.org/D47044