diff options
| author | Gabor Horvath <xazax@google.com> | 2020-01-02 11:57:42 -0800 |
|---|---|---|
| committer | Gabor Horvath <xazax@google.com> | 2020-01-07 08:32:40 -0800 |
| commit | 247a6032549efb03c14b79c035a47c660b75263e (patch) | |
| tree | a6fd0257a39ce2a470fb2e56a17617fa40d06fb0 /lldb/scripts/Python/python-extensions.swig | |
| parent | a3832f33d9323a5080321ca52321efd9c5741b63 (diff) | |
| download | llvm-247a6032549efb03c14b79c035a47c660b75263e.zip llvm-247a6032549efb03c14b79c035a47c660b75263e.tar.gz llvm-247a6032549efb03c14b79c035a47c660b75263e.tar.bz2 | |
[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
Diffstat (limited to 'lldb/scripts/Python/python-extensions.swig')
0 files changed, 0 insertions, 0 deletions