Suppose you have the following code:

typedef struct {
  int x, y;
} point_t;

int len = 0;
point_t list[5];

void hello(point_t i)
{
   list[len++] = i;
}


Uppaal dies with assertion in utap/type.cpp while parsing the struct arguments in function definition.
The problem is since revision 5006 where clock copying was introduced in verifier/Compiler.cpp:2282.
It seems that the code assumes that there can be only arrays of clocks, clocks cannot be in struct but then it chokes on struct of int.

The problem does not manifest in NDEBUG build, but I am not sure about the scope of the problem.