[PATCH 2/6] detect unterminated const arrays in strlen calls (PR 86552)

[Martin Sebor]

[PATCH 2/6] detect unterminated const arrays in strlen calls (PR 86552)

The attached changes implement the detection of past-the-end reads
by strlen due to unterminated arguments.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: gcc-86552-2.diff
Type: text/x-patch
Size: 16085 bytes
Desc: not available
URL: <http://gcc.gnu.org/pipermail/gcc-patches/attachments/20180814/b365e8dc/attachment.bin>