Ошибка в функции поиска подстроки в строке. Алгоритм Бойера-Мура-Хорспула.

int CP7Dlg::BM(char *haystack, char *needle)
{   UpdateData(1);
        int i=0,j=0,k=0, needle_len=0, haystack_len=0;
        char needle_table[256];
        
        needle_len=edit2.GetLength();
        haystack_len=edit1.GetLength();
                        
    if (needle_len <= haystack_len)
        {
                for (i = 0; i < 256; i++)
                        needle_table[i] = needle_len;
 
                for (i = 1; i < needle_len; i++)
                        needle_table[needle[i-1]] = needle_len-i;
 
                i = needle_len;
                j = i;
 
                while ( j > 0 && i <= haystack_len)
                {
                        j = needle_len;
                        k = i;
                        while ( j > 0 && haystack[k-1] == needle[j-1])
                        {
                                --k;
                                --j;
                        }
                        i+=needle_table[haystack[k-1]];
                
                }
                if (i > haystack_len)
                        return 0;
                else return k+1;
        }
        else return 0;
}

while ( j > 0 && i <= haystack_len) 
{ 
j = needle_len; // j всегда > 0 (бесконечный цикл) или цикл выполняется 1 раз

#include "stdafx.h"
#include <stdlib.h>
 
 
int BoyerMooreHorspool(char *haystack, char *needle)
{
        int i,j,k, needle_len = 0,haystack_len = 0;
        int needle_table[256]; // таблица символов
 
        char *p; // указатель на символ
        for ( p = needle; *p; *p++) // подсчет кол-ва символов в needle
                ++needle_len;
        for ( p = haystack; *p; *p++) // подсчет кол-ва символов в haystack
                ++haystack_len;
 
        if (needle_len < haystack_len) // 
        {
                for (i = 0; i < 256; i++) // в таблицу заносится для каждого символа длина needle
                        needle_table[i] = needle_len; 
 
                for (i = 1; i < needle_len; i++) // каждому символу из таблицы ставиться в соответствие его порядковый номер из needle
                        needle_table[needle[i-1]] = needle_len-i;
 
                i = needle_len; // i - счетчик текущего последнего символа в haystack 
                j = i; // j - счетчик в needle кол-ва одинаковых символов (совпадающих с таблицей) с конца 
 
                while (j > 0 && i <= haystack_len) // если j==0 то совпадение найдено
                {
                        j = needle_len; // заново выполняем присваивание, чтобы сравнивать строки с конца
                        k = i; // k - счетчик текущего символа в haystack
                               // j - счетчик текущего символа в needle
                        while (j > 0 && haystack[k-1] == needle[j-1]) // сравнение последних симолов
                        { // если раны, то сравниваем предыдущие
                                --k;
                                --j;
                        }
                        i+=needle_table[haystack[i-1]]; // сдвигаем шаблон на следующий совпадающий символ из таблицы и haystack
                        // т.е. в needle ищется (т.е. уже дан в таблице) последний сравниваемый символ из haystack
                }
 
                if (k > haystack_len - needle_len) // если k выходит за пределы сравнения, то ...
                        return 0;
                else return k+1; // иначе k== текущая позиция подстроки needle в строке haystack 
                // ВНИМАНИЕ! k показывает смещение в haystack, предполагая, что строка начинается с 1 (единицы)
        }
        else return 0; // if (needle_len >= haystack_len)
}
 
//-------------------------------------------------------------------
 
int main(int argc, char* argv[])
{
    char s1[] = "abDcDABcd";
    char s2[] = "cDA";
 
    printf("haystack: %s\n", s1);
    printf("needle: %s\n", s2); 
    
    printf("result: %i\n", BoyerMooreHorspool(s1,s2));
 
    system("pause");
    return 0;
}