DEBSOURCES
Skip Quicknav
sources / splint / 3.1.2.dfsg1-2 / test / moreBufferTests / simplifyTest.c
123456789101112
void fooSub ( char *s, int i) { s[i] = 'd'; s[i - 2] = 'd'; } void fooAdd ( char *s, int i) { s[i] = 'd'; s[i + 2] = 'd'; }