a bug in m-array _insert_v() method?

[mario-tux]

I'm facing something that looks a bug. I need to make space inside an array-based list , so I'm using _insert_v method to create some new initialized entries. As I understand from the documentation and from a quick view on the code: it should manage the case when the reserved/allocated space in the list is insufficient to support the insertion.

Something like this works:

my_list_resize(list, 201);
my_list_reserve(list, 512);
my_list_insert_v(list, 200, 300);

Instead this doesn't:

my_list_resize(list, 201);
my_list_reserve(list, 512);
my_list_insert_v(list, 200, 600);

Is it a bug?

In my original code I'm facing assertion violations on the contract clause: v->size <= v->alloc.

[P-p-H-d]

I reproduced the issue. It was due to an overflow.
It should be fixed in master.
Thanks for your report.