The bug can be reproduced using the following function:
int min(int lhs, int rhs)
{
return (lhs < rhs) ? lhs : rhs;
}
The problem crashes verifyta (in gdb it looks like an infinite loop) and in the GUI one looses connection to the server.