oh yeah, you're right, thanks, it does do useless extra work if there are equal values in the list

it should say

    if (tmp >= a[j-1]) break;

however, this doesn't make it fail to terminate, which is a possible reading of your bug report