[PATCH] D72097: [LifetimeAnalysis] Do not forbid void deref type in gsl::Pointer/gsl::Owner annotations

[Dmitri Gribenko via Phabricator via cfe-commits]

gribozavr2 added a comment.

Could you provide a more fleshed out example of a case where it is useful?

Could you update the documentation for the attribute? I'm forgetting if there's a spec for this attribute -- is this extension part of that spec?

Do you foresee any issues or further special cases? For example, IIRC, 'operator*' is required to return DerefType. I have a hard time understanding how one would define 'operator*' in such an owner.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D72097