// S : tags $TAGS // S : expect --result valid // S : cc -o test.bc $CC_OPT $file // S : verify $V_OPT test.bc #include int main() { char buf[ 15 ] = ""; strncpy( buf, buf + 1, 1 ); }