Является ли точка с запятой действительно точкой последовательности в C?

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

1. Между оценками указателя функции и фактическими аргументами в вызове функции и фактическим вызовом;

2. Между вычислениями первого и второго операндов операторов &&, || и ,;

3. Между оценками первого операнда условного оператора ?: и независимо от того, какой из второго и третьего операндов оценивается;

4. Конец полного декларатора;

5. Между вычислением полного выражения и следующим вычисляемым полным выражением. Ниже приведены полные выражения:

   • an initializer;
   • выражение в операторе выражения;
   • управляющее выражение оператора выбора (if или switch);
   • управляющее выражение оператора while или do;
   • каждое из выражений оператора for;
   • выражение в операторе возврата.

6. Непосредственно перед возвратом из библиотечной функции;

7. После действий, связанных с каждым спецификатором преобразования функции форматированного ввода/вывода;

8. Непосредственно перед и сразу после каждого вызова функции сравнения, а также между любым вызовом функции сравнения и любым перемещением объектов, переданных в качестве аргументов этого вызова.

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

Итак, является ли точка с запятой в break; или continue; точкой последовательности?