Fix 14956: FP arrayIndexOutOfBounds with break in loop

[pfultz2]

No description provided.

[aadanen]

I wonder if we could catch cases like this as well:

int s[5];
void f()
{
  short i;
  for (i = 0; 1; i++)
  {
    if ( i == 4 )
      break;
  }
  s[i] = 0;
}

which currently produces

break.c:10:3: error: Array 's[5]' accessed at index 9999, which is out of bounds. [arrayIndexOutOfBounds]
 s[i] = 0;
  ^
break.c:5:2: note: After for loop, i has value 9999
 for (i = 0; 1; i++)
 ^
break.c:10:3: note: Array index out of bounds
 s[i] = 0;

[danmar]

which currently produces

that is a false positive! @pfultz2 I assume a ticket should be created? I can create it unless you feel you will fix it in this PR..