The following analyzer checkers have been added to the latest svn version of llvm vs macOS 10.14 llvm:
alpha.cplusplus.EnumCastOutOfRange
Check integer to enumeration casts for out of range values
alpha.cplusplus.InvalidatedIterator
Check for use of invalidated iterators
alpha.cplusplus.IteratorModeling
Models iterators of C++ containers