/* APPLE LOCAL file 4101687 */ /* { dg-do run } */ /* { dg-options "-Os" } */ #include <stdlib.h> void fill(char *buf) { int i; for (i = 0; i < 16; i++) { buf[i+i] = 2; buf[i+i+1] = 3; } buf[i+i] = '\0'; } int main() { char buf[33]; fill(buf); if (buf[16] == '\0') abort (); return 0; }