В ситуациях, когда переменная цикла меняется по сложным правилам, оценивать асимптотическую сложность кода становится трудно. Поэтому такого кода по возможности стараются избегать. Но иногда он так и напрашивается! Вот, например, код, считающий количество слов в строке, разделенных пробелами.