one suggestion for Clang static analyzer

Hello. It seems like the source of problem is the method analyzer deals with loops: it just inlines them for a limited number of times (less then 10 usually) so it just doesn't execute a loop with such a big value to find a mistake in ArrayBoundChecker.

Yup, this is it. We'd like to have a way to handle constant-bounded loops better (say, by evaluating the loop at iterations 0, 1, and "N"), but it's a non-trivial problem, and no one's actively working on it right now.