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 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits