[PATCH] D103319: [analyzer] Use Optional as a return type of StoreManager::castRegion

Artem Dergachev via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Fri May 28 23:31:26 PDT 2021


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

Looks great, thanks!

I guess another option is to put `loc::MemRegionVal()` inside `castRegion()`. This way the return type `Optional<loc::MemRegionVal>` unambigously tells that the region is always non-null if present (protected by the assertion in the constructor of `loc::MemRegionVal`).


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

https://reviews.llvm.org/D103319



More information about the cfe-commits mailing list