Для выражения с порядковым типом получает предшествующее значение.

X - выражение порядкового типа, для которого определяется предшествующее значение.

Аварийная ситуация возникает, если предшествующего значения нет.