[PATCH] D97183: [analyzer] Add NoteTag for smart-ptr get()

Deep Majumder via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Tue Feb 23 20:01:25 PST 2021


RedDocMD marked 2 inline comments as done.
RedDocMD added inline comments.


================
Comment at: clang/lib/StaticAnalyzer/Checkers/SmartPtrModeling.cpp:466-467
+      return;
+    OS << "Obtained null inner pointer from";
+    checkAndPrettyPrintRegion(OS, ThisRegion);
+  }));
----------------
steakhal wrote:
> RedDocMD wrote:
> > steakhal wrote:
> > > You should emit a //sort of grammatically correct// diagnostic message even if the region can not be pretty-printed.
> > > You should emit a //sort of grammatically correct// diagnostic message even if the region can not be pretty-printed.
> > 
> > @steakhal Does it look better now?
> Can we cover both branches with tests?
I am not sure if this can be done. Because, right now the only Smart Pointer that has been handled is `std::unique_ptr`.  It turns out that it can be pretty printed already, so I don't know how to test the other branch.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D97183



More information about the cfe-commits mailing list