I think you are right. https://en.cppreference.com/w/cpp/container/map/erase: "References and iterators to the erased elements are invalidated." I guess you are not allowed to call operator++() on invalid iterators?

Can you please give some more context: Is that output from a sanitizer? If yes, which one? What did the "input" program look like, ie what are you mapping?

I think you are right.
https://en.cppreference.com/w/cpp/container/map/erase: "References and
iterators to the erased elements are invalidated." I guess you are not
allowed to call operator++() on invalid iterators?

Agreed. There isn't much you can do with an invalid iterator,
since it is invalid.

The example code in your link shows how to do it right.

Can you please give some more context: Is that output from a sanitizer? If
yes, which one?

I am not sure what you mean by sanitiser, but I did run an analyser
called cppcheck over the code.

What did the "input" program look like, ie what are you mapping?

I don't understand this question.

Can you please give some more context: Is that output from a sanitizer? If
yes, which one?

I am not sure what you mean by sanitiser, but I did run an analyser
called cppcheck over the code.

What did the "input" program look like, ie what are you mapping?

I don't understand this question.

Ah ok, so this is purely from static analysis? In particular you are not running any OpenMP application that uses target regions?

Ah ok, so this is purely from static analysis?

Yes.

In particular you are not running any OpenMP application that uses target regions?

Correct.

I posted https://reviews.llvm.org/D51623 for review. I was able to craft a test case that was crashing without this patch, thanks for reporting!

Landed in r341371.