test/simplebufferConstraintTests/test3.c

   1
   2 void t()
   3 {
   4   char g [100];
   5   char j [23];
   6   j[22] = 'd';  /*safe */
   7   g[0] = 'd';  /*   safe */
   8   g[67] = 'f;'; /*     safe */
   9   g[101] = 'g'; /*    unsafe */
  10   g[100] = 'f'; /*    unsafe */
  11 }