15f799c78e5b1bd8105bab77a0935f27ee808dc97Kostya Serebryany// This function is broken, but this file is blacklisted 25f799c78e5b1bd8105bab77a0935f27ee808dc97Kostya Serebryanyint externalBrokenFunction(int argc) { 35f799c78e5b1bd8105bab77a0935f27ee808dc97Kostya Serebryany char x[10] = {0}; 45f799c78e5b1bd8105bab77a0935f27ee808dc97Kostya Serebryany return x[argc * 10]; // BOOM 55f799c78e5b1bd8105bab77a0935f27ee808dc97Kostya Serebryany} 6