array_of_struct_ptr_flag_init_true-unreach-call.i

typedef unsigned int size_t;
extern void *malloc (size_t __size) __attribute__ ((__nothrow__ , __leaf__)) __attribute__ ((__malloc__)) ;
extern void __VERIFIER_error() __attribute__ ((__noreturn__));
void __VERIFIER_assert(int cond) { if(!(cond)) { ERROR: __VERIFIER_error(); } }
typedef struct
{
 int *n;
}S;
void init(S a[], int size)
{
 int i;
 for(i = 0; i < size; i++)
 {
  a[i].n = (int *) malloc(sizeof(int));
 }
}
int main()
{
 S a[100000];
 int i;
 int flag;
 flag = 0;
 init(a, 100000);
 for(i = 0; i < 100000; i++)
 {
  if(a[i].n != 0)
  {
   flag = 1;
  }
 }
 for(i = 0; i < 100000; i++)
 {
  if (flag == 0)
  __VERIFIER_assert(a[i].n == 0);
 }
 return 0;
}