#include <stdlib.h>
#include <stdio.h>
char *abc31 = "abcdefghijklmnopqrstuvwxyz12345";
char *def31 = "abcdefghijklmnopqrstuvwxyz12345";
char *other_ptr;
void __attribute__ ((noinline))
assign_other (char *str)
{
other_ptr = str;
}
int
main (int argc, char *argv[])
{
assign_other (abc31);
assign_other (def31);
if (bcmp (abc31, def31, 30))
abort ();
if (bcmp (abc31, def31, 31))
abort ();
assign_other (abc31);
assign_other (def31);
if (memcmp (abc31, def31, 30))
abort ();
if (memcmp (abc31, def31, 31))
abort ();
exit (0);
}