Простая задача на строки

[paulusfr]

Язык Си

#include <stdio.h>
#include <string.h>
 
int main()
{
    int l1,l2,c;
    char s1[100000],s2[1000],*t,*st;
//s1 - строка в которой искать, s2 - подстрока, которую надо искать
    scanf("%d %d\n",&l1,&l2); //длины строк, хз зачем
    gets(s1); //сами строки
    gets(s2);
    st=s1; //адрес первого символа s1 для поиска начиная с него
    c=0; //счетчик вхождений
    while (1) {
        t=strstr(st,s2); //если есть вхождение то в t пишем адрес первого символа подстроки s2
        if (t==NULL) break; //если слов (больше) нет, то выход
        c++; // нашли вхождение
        st=t+1; // далее пытаемся найти следующее вхождение, уже со следующего символа
    }
    printf("%d",c);
    return 0;
}

Эта программа находит число вхождений s2 в s1 (маленькие латинские символы). Одна проблема - она работает не на всех тестах (которые я, естественно, не знаю). И я В УПОР не понимаю, почему. Подразумевается что все "тесты" хорошие (соответствуют условию, которое вкратце описал). Все тесты из головы программа успешно проходит. Прошу помощи, хотя бы намекните в чём может быть проблема.

[min@y™]

Отдели мухов от котлетов. Подробности давай.

[paulusfr]

Сообщение от min@y™

Отдели мухов от котлетов. Подробности давай.

Дал. Ваш черёд
Алгоритм банальный, может быть дело в больших числах? но непонятно, причем здесь это

[min@y™]

Дал.

Логика программы была понятна и без комментов.
Мне надо примеры: мухи - работающие, котлеты - неработающие.

[paulusfr]

Сообщение от min@y™

Логика программы была понятна и без комментов.
Мне надо примеры: мухи - работающие, котлеты - неработающие.

Дело как раз в том, что я не знаю, где программа дает неправильный ответ (тесты недоступны глазу), но это имеет место.
пример данных, на которых программа работает:
вход:
5 2
aaaaa
aa
выход:
4

на больших числах тоже вроде бы всё нормально
Я понимаю, что это практически гадание на кофейной гуще, но проблему как-то надо решить.

[min@y™]

Дело как раз в том, что я не знаю, где программа дает неправильный ответ (тесты недоступны глазу), но это имеет место.

Прикалываешься? И как я буду моделировать 100%-ную ошибочную ситуацию для поиска логической ошибки?

[p51x]

А если с2 будет 0 длины?

[paulusfr]

Сообщение от min@y™

Прикалываешься? И как я буду моделировать 100%-ную ошибочную ситуацию для поиска логической ошибки?

Я лишь спрашиваю, где в подобном алгоритме (может быть, с точки зрения особенностей отдельных операторов/функций) может случиться ошибка на каких-нибудь пограничных данных

Сообщение от p51x

А если с2 будет 0 длины?

по условию s1,s2 >= 1
но нет, я добавил условия и всё тот же тест программа не проходит

Вопрос решён, всем спасибо

[min@y™]

Мне не понять всю глубину наших глубин.
Пойду-ка я спать.