[PATCH] D49360: [analyzer] Add support for more basic_string API in DanglingInternalBufferChecker

[Reka Kovacs via Phabricator via cfe-commits]

rnkovacs created this revision.
rnkovacs added reviewers: NoQ, xazax.hun, george.karpenkov.
Herald added subscribers: mikhail.ramalho, a.sidorin, dkrupp, szepet, baloghadamsoftware, whisperity.

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.


Repository:
  rC Clang

https://reviews.llvm.org/D49360

Files:
  lib/StaticAnalyzer/Checkers/DanglingInternalBufferChecker.cpp
  test/Analysis/dangling-internal-buffer.cpp

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D49360.155613.patch
Type: text/x-patch
Size: 16937 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20180716/ee206bdb/attachment-0001.bin>