Matthias Gehre

Allow investment plans for "Removals" and/or "Transfers"

5

**Is your feature request related to a problem? Please describe.** Thank you very much for this tool. I love it! I already use the "deposit" version of investment plans to...

Fix std::ref(i) with std::reference_wrapper

7

See ``` std::reference_wrapper danglingPtrFromNonOwnerLocal2() { int i = 5; return std::ref(i); // TODOexpected-warning {{address of stack memory associated with local variable 'i' returned}} } ``` in `test/Sema/warn-lifetime-analysis-nocfg.cpp`. fyi @Xazax-hun

Handle move semantics

1

- [ ] Invalidate Owner after being moved from - [ ] Modify all psets to point to the moved-to Owner - [ ] Preserve pset of Pointer after being...

Brace initialization does not trigger -Wdangling-gsl

1

In ``` #include #include std::string f(); // Type your code here, or load an example. int square(int num) { std::string_view a(f()); std::string_view b{f()}; std::string_view c; c = f(); return num...

Add implicit annotation for main that argv is an input parameter

1

See https://github.com/hsutter/Lifetime/issues/32

See ``` auto f() { #ifndef _LIBCPP_VERSION auto i = std::vector{}.begin(); // expected-warning@-1 {{object backing the pointer will be destroyed}} #endif ``` in `lifetime-integration-tests/lifetime-attr-test.cpp`. We correctly annotate the specialization with...

According to the paper, members of *this should be considered implicit parameters according to the Aggregate expansion rules. E.g. to fix https://godbolt.org/z/cmeLpz fyi @Xazax-hun

Add [[gsl::Owner]] to std::shared_ptr?

2

We currently do not hardcode the gsl::Owner attribute for std::shared_ptr. When removing the force-template-instantiation hack from the type categorization, std::shared_ptr will also not be recognized as an Owner there. This...

Infer gsl::Pointer for vector<bool>::reference

2

Move the code from https://github.com/mgehre/llvm-project/blob/6c22919a2cd2d2c34df20319f6c9c257c321304b/clang/lib/Analysis/LifetimeTypeCategory.cpp#L126 into Sema where the other std:: types are infered.

We should diagnose ``` auto f() { int i; return [&i] { return i; }; } ``` https://godbolt.org/z/C1_Kbz