False positive when [[noreturn]] is on destructor

[Mark Bourgeault]

The following code results in a containerOutOfBounds error in cppcheck 2.8.

#include <iostream>
#include <vector>
#include <cstdlib>

[[noreturn]] void fatal() { exit(1); }

class FatalStream {
public:
    [[noreturn]] ~FatalStream() { fatal(); }
};

int main() {
    std::vector<int> v;
    if (v.empty()) {
        FatalStream{};
    }
    std::cout << v[0] << '\n';
    return 0;
}

[CHR]

Thanks for reporting, ticket is here: https://trac.cppcheck.net/ticket/11375