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

Gabor Marton via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Mon May 23 05:03:38 PDT 2022

Previous message: [PATCH] D126189: [C++20][Modules] Build module static initializers per P1874R1.
Next message: [PATCH] D126123: [analyzer][NFC] MemRegion::getRegion() never returns null
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

martong added a comment.

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


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D126123

Previous message: [PATCH] D126189: [C++20][Modules] Build module static initializers per P1874R1.
Next message: [PATCH] D126123: [analyzer][NFC] MemRegion::getRegion() never returns null
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the cfe-commits mailing list