memset3_true-valid-memsafety_true-termination.c

typedef unsigned int __kernel_size_t;
typedef __kernel_size_t size_t;

extern void *memset(void * , int , size_t ) ;

typedef unsigned int __u32;

struct compstat {
   __u32 unc_bytes ;
   __u32 unc_packets ;
   __u32 comp_bytes ;
   __u32 comp_packets ;
   __u32 inc_bytes ;
   __u32 inc_packets ;
   __u32 in_count ;
   __u32 bytes_out ;
   double ratio ;
};

struct ppp_comp_stats {
   struct compstat c ;
   struct compstat d ;
};

int main() {
  struct ppp_comp_stats cstats ;
  void *point;
  point = (void *)(& cstats);
  memset(point, 0, 80UL);
  return 0;
}