[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