statictest/simple/bofsa.for-loop.c

int a[32];
int bar()
{
   int label;
   int i;

   for(i=0;a[i]!=0 && i<32; i++); //#1bug-5# 

   return a[i]; //#1bug-5# 
}

char arr[64];
int foo( unsigned int inlen ) {

    unsigned char loop, offset;

    /* Test handling of casts around add-rec */
    while( inlen-- ) {
        for( loop=0, offset=0; loop < 16; loop++, offset += 4 ) {
            arr[offset] = 0;
            arr[offset+1] = 1;
            arr[offset+2] = 2;
            arr[offset+3] = 3;
        }
        arr[offset] = 0; //#1bug-5# 
    }
    return 0;
}