// PARAM: --enable ana.arrayoob --enable ana.int.interval_set --enable ana.int.enums
//Pointer pointing to arrays of different sizes
#include <stdio.h>
int main( )
{
    int arr[] = {1, 2, 3, 4, 5, 6};
    int arr2[] = {1, 2, 3};
    int * ptr = arr;

    ptr[3] = 4; //NOWARN
    ptr[6] = 10; //WARN
    ptr[-1] = 10; //WARN

    for (int i = 0; i < 10; ++i)
    {
        ptr[i] = 5; //WARN
    }
    int * ptr2 = arr2;
    ptr2[1] = 3; //NOWARN
    ptr2[3] = 10; //WARN
    ptr2[-1] = 10; //WARN
    for (int i = 0; i < 5; ++i)
    {
        ptr2[i] = 5; //WARN
    }
    return 0;
}

