"Access of moved variable" not detected in loop

[kidkat]

#include <string>

static void func2(std::string&& s)
{
    (void)s;
}

static void func() {
    std::string p;
    while(true) {
        func2(std::move(p));
    }
}

[kidkat]

A variation based on the bug fixed in ​https://github.com/danmar/cppcheck/commit/96704c997143dfd126db9c61d2e9cc129fabe2f1

#include <list>

extern std::list<int> func(std::list<int>&&);

static void f(std::list<int>l)
{
        for(int i = 0; i < 10; ++i) {
                for (auto &j : func(std::move(l))) {}
        }
}

##file /mnt/s/clion/example_lite_2/test.cpp
3: extern std :: list < int > func ( std :: list < int > && ) ;
4:
5: static void f ( std :: list < int > l@var1 )
6: {
7: for (@expr4 int i@var2 = 0 ; i@var2 <@expr5 10 ; ++ i@var2 ) {
8: for (@expr6 auto &@expr7 j@var3 : func (@expr8 std :: move (@expr9 l@var1 ) ) ) { }
9: }
10: }



##Value flow
Line 7
  0 always 0
  10 always 10
Line 8
  ( possible lifetime=l

[chrchr]

No warning for this either:

void g(std::string&& s);

void f() {
    std::string p;
    for (int i = 0; i < 2; ++i)
        g(std::move(p));
}

[pfultz2]

Fixed by: ​https://github.com/danmar/cppcheck/pull/4215