?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
show_unreachable.sh: change the line number format
[smatch.git] / validation / backend / array.c
blobbd3ec596001082218574833efad1cff0eec0167d
1 static char array[128];
2
3 /*
4 * check-name: Array code generation
5 * check-command: ./sparsec -c $file -o tmp.o
6 */
Static analysis for C