Das heisst Saturierung was sich übersetzen lässt mit Sättigung und
ist keine Eigenschaft des Ergebnisses oder eines Wertes, sondern eines
Operators.
Mansche Maschinen kennen Instruktionen für saturierte Operationen wie
Addition, Subtraktion, Betrag, Shift. Oft dann in den
Geschmacksrichtungen signed und unsigned.
Manche GCC-Versionen stellen Builtin-Funktionen dafür zur Verfügung,
z.b. für ARM Neon.
Ansonsten muss man die "normale" Operation über einem weiteren
Werteberech ausführen in dem kein Über/Unterlauf auftreten kann und dann
per Vergleich bzw. Minimum/Maximum auf die gewünschten Bereich
begrenzen.
Johann