A pointer referring to the elements of a `basic_string` may be invalidated by calling a non-const member function, except `operator[]`, `at`, `front`, `back`, `begin`, `rbegin`, `end`, and `rend`. The checker now warns if the pointer is used after such operations.
FIXME: warning messages.