/* TAGS: mstring min sym */ /* VERIFY_OPTS: --symbolic -o nofail:malloc */ #include #include #include #include #include int main() { char buff1[5] = "aabb"; char * src = __mstring_val( buff1, 5 ); char buff2[5] = {}; char * dst = __mstring_val( buff2, 5 ); memcpy( dst, src, 5 ); char buff3[5] = "aabb"; char * expected = __mstring_val( buff3, 5 ); int i = 0; while ( expected[ i ] != '\0' ) { assert( dst[ i ] == expected[ i ] ); ++i; } assert( dst[ i ] == '\0' ); }