[all-commits] [llvm/llvm-project] 247a60: [LifetimeAnalysis] Do not forbid void deref type i...

[Gábor Horváth via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: 247a6032549efb03c14b79c035a47c660b75263e
      https://github.com/llvm/llvm-project/commit/247a6032549efb03c14b79c035a47c660b75263e
  Author: Gabor Horvath <xazax at google.com>
  Date:   2020-01-07 (Tue, 07 Jan 2020)

  Changed paths:
    M clang/include/clang/Basic/AttrDocs.td
    M clang/include/clang/Basic/DiagnosticSemaKinds.td
    M clang/lib/Sema/SemaDeclAttr.cpp
    M clang/test/SemaCXX/attr-gsl-owner-pointer.cpp

  Log Message:
  -----------
  [LifetimeAnalysis] Do not forbid void deref type in gsl::Pointer/gsl::Owner annotations

It turns out it is useful to be able to define the deref type as void.
In case we have a type erased owner, we want to express that the pointee
can be basically any type. It should not be unnatural to have a void
deref type as we already familiar with "pointers to void".

Differential Revision: https://reviews.llvm.org/D72097