Fix #13109 FP arrayIndexOutOfBounds with infinite loop and break in body

[chrchr-github]

No description provided.

[pfultz2]

There is also escaping functions that need to be checked for such as abort or exit, which isEscapeFunction could be used.

[chrchr-github]

There is also escaping functions that need to be checked for such as abort or exit, which isEscapeFunction could be used.

Good point, done.

[chrchr-github]

Do we need to check for unrelated break|continue|return in nested scopes/lambdas?
Currently we wouldn't warn for

void f() {
	const int a[10] = {};
	for (int n = 0; 1; ++n) {
		if (a[n] < 1) {
			switch (a[n]) {
				case 0:
				break;
			}
		}
	}
}

[pfultz2]

Its probably something we could handle in the future.