[PATCH] D61136: [Analyzer] IteratorChecker - Ensure end()>=begin() and refactor begin and end symbol creation

Balogh, Ádám via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Thu Apr 25 09:13:52 PDT 2019

baloghadamsoftware created this revision.
baloghadamsoftware added reviewers: NoQ, Szelethus.
baloghadamsoftware added a project: clang.
Herald added subscribers: Charusso, gamesh411, donat.nagy, mikhail.ramalho, a.sidorin, rnkovacs, szepet.

A container's `end()` is never less than its `begin(). This patch ensures it. Furthermore it refactors `begin` and `end` symbol creation by moving symbol conjuration into the `create...` functions. This way the functions' responsibilities are clearer and makes possible to add more functions handling these symbols (e.g. functions for handling the container's size) without code multiplication.

  rC Clang



-------------- next part --------------
A non-text attachment was scrubbed...
Name: D61136.196649.patch
Type: text/x-patch
Size: 6203 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20190425/d51a5c69/attachment.bin>

More information about the cfe-commits mailing list