[PATCH] D126123: [analyzer][NFC] MemRegion::getRegion() never returns null

Mon May 23 05:21:34 PDT 2022

steakhal added a comment.

In D126123#3531112 <https://reviews.llvm.org/D126123#3531112>, @martong wrote:

> Is it documented with `getRegion`?  Could we decorate that with `returns-nonnull` https://clang.llvm.org/docs/AttributeReference.html#returns-nonnull ?

Ah, I thought one of my changes addressing this was already on review.
It turns out it was not the case. Now I uploaded it for review: D126198 <https://reviews.llvm.org/D126198>

Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D126123