https://bugs.winehq.org/show_bug.cgi?id=57306
--- Comment #11 from Rafał Mużyło galtgendo@o2.pl --- Given what was said in OP, perhaps sufficient solution would be something like from:
top_points = malloc( max_points / 2 * sizeof(*points) );
to:
top_points = malloc( (max_points + 1) / 2 * sizeof(*points) );
What do you think ?