list_head: получить мусор, если начать парсинг со второго элемента

Если вы начнете с первого элемента списка (а не с головы), то list_for_each_entry() остановится в том же объекте списка, потому что это круговой список.

Так что list_for_each_entry() пройдёт через голову. И голова к записи не привязана. поэтому, когда вы пытаетесь обратиться к записи из главного списка, вы получите мусор

Решение: начать цикл с заголовка списка и пропустить первый элемент

Реализация списка фактически создает кольцо. Заголовок списка - это фиктивный элемент, который указывает next на первый элемент и prev на последний элемент. (Первоначально оба указывают на саму заголовок списка.) Добавление элемента в хвост фактически реализовано как добавление его «перед заголовком списка». При обходе этого кольца голова помечается отдельным указателем, указывающим на нее. Другого способа отличить его от других элементов списка нет.

Цикл for в list_for_each_entry имеет сравнение с указателем head в качестве условия цикла, поэтому он остановится, когда снова достигнет объекта, указанного в качестве заголовка списка.

/**
 * list_for_each_entry  -   iterate over list of given type
 * @pos:    the type * to use as a loop cursor.
 * @head:   the head for your list.
 * @member: the name of the list_head within the struct.
 */
#define list_for_each_entry(pos, head, member)              \
    for (pos = list_first_entry(head, typeof(*pos), member);    \
         &pos->member != (head);                    \
         pos = list_next_entry(pos, member))

Оба макроса list_first_entry и list_next_entry возвращают указатель на определенную пользователем структуру, которая должна содержать struct list_head, с помощью макроса container_of.

Если вы передадите reports.next вместо &reports в list_for_each_entry(), он примет это как элемент заголовка фиктивного списка и будет рассматривать все другие элементы в кольце как записи реального списка.

Ваш код печатает мусор для элемента за хвостовым элементом, потому что это чистый struct list_head, который не встроен в struct struct_report, поэтому макрос list_next_entry возвращает указатель на память перед вашим struct list_head reports в main(), что является неопределенным поведением.

Если ваша программа не выйдет из строя, вы получите такой же мусор после elt4, если вы пройдете, например, reports.next->next. В этом случае я ожидал бы такой результат:

============> Next retreport: elt3
============> Next retreport: elt4
============> Next retreport: <garbage>
============> Next retreport: elt1

В то время как один и тот же тип - list_head - используется для обоих:

• глава списка,
• элементы списка,

они не взаимозаменяемы. Если какой-либо макрос ожидает в качестве аргумента заголовок списка, вам необходимо предоставить точно указатель на заголовок списка, а не указатель на элемент списка.

Макрос list_for_each_entry принимает указатель на заголовок списка в качестве второго аргумента, поэтому вместо него не следует передавать указатель на элемент.

Для пропуска первых элементов при итерации по списку макросы

• list_for_each_entry_from
• list_for_each_entry_continue or

может быть использован.

Оба эти макроса принимают те же аргументы, что и list_for_each_entry, но учитывают начальное значение курсора (первый аргумент):

• list_for_each_entry_from начинает итерацию с элемента, на который указывает курсор,
• list_for_each_entry_continue начинает итерацию после элемента, на который указывает курсор.

Итак, перебор списка с пропуском первого элемента может быть следующим:

// Set cursor to the first element in the list
retreport = list_first_entry(reports, typeof(*retreport), list);
// Iterate starting after the cursor
list_for_each_entry_continue(retreport, reports, list){
    printf("============> Next retreport: %s\n", retreport->report);
}