Matthias Gehre

Also happens for SBS 2.5

Fyi: compiler explorer (llvm default) builds without assertions, so there we don't have crashes but instead unknown psets.

True, since we started suppress warnings by making psets unknown, the iterations are not monotonic in the pset. I guess when comparing psets to see if we should iterate again,...

`sregex_iterator` is not a function, it's an iterator type that we explicitly annotate as gsl::Pointer. I guess it does not work here, because it's constructor does not take a single...

fyi @Xazax-hun

For starters, it would be nice to annotate some of those libraries locally, and see if we can find some true-positives that way. For the script that you are running,...

We should annotate `llvm::sys::path::append(Path, arg2, arg3)` to invalidate `Path`. This would have caught the error fixed in 53bd7ce4.

`Py_SetPythonHome(path)` requires `path` to be static (see `5c4fad0c23`).

We have ``` template< class T > std::reference_wrapper ref(T& t); ``` Here the parameter `t` is a reference, so it's a Pointer. We can annotate the function with `[[gsl::post(gsl::lifetime(return, {t}))]]`...

Ok, I didn't know that. That seems to imply that we cannot support std::ref (right now), correct? I tried to formulate explicit annotations on both functions, and now I'm a...