Matthias Gehre

The examples from the paper in warn-lifetime-godbolt.cpp are now fixed.

I believe that unique_ptr is already supported: https://godbolt.org/z/PMYIK6 Do you have another example where it does not work?

We see the expected warning when replacing a unique_ptr by int* (https://godbolt.org/z/NxBWfK). I'll reword this bug report to implement nullness of Owners. Thanks for reporting!

Thank you for taking the time to report this bug! `initializer_list` have some special behaviors to them. We will look into it.

Thanks for taking the time to report this issue! You are right, the null diagnostics together with iterations don't make a lot of sense currrently. Conceptually, the `end` iterator is...

Hi Alexey, thank you very much for taking the time to report your findings. For your first examples (std::vector) the lifetime paper provides no means to suppress the warning. reserve...

Thanks you for taking the time to report this bug! We will look into it.

If the default argument for example is a function call, it is performed on every invocation of the function. I'm trying to think of a case where the second evaluation...

Hi, thanks for taking the time to report your findings. I appreciate it! To your question: The lifetime checker builds on top of the C++ Core guidelines, which forbid to...

We can use the LifetimeReporter and add a generic "this function disables lifetime analysis" warning in the existing "lifetime-disabled" category. We should probably have an function attribute to say "this...