Warum meckert der GCC hier nicht?

[Ingo Less (Gast)]

Hallo,

ich habe folgende kleine Funktion mit der aktuellen Atmel AVR Toolchain 
(bewusst nicht auf den Wertebereich begrenzt):

static uint8_t Regler ( int16_t U_soll, int16_t U_ist )
{
  static int32_t Errorsum;
  int16_t y = 0;
  int16_t Diff = U_soll - U_ist;
  
  Errorsum += Diff;
  if ( Errorsum > ERRORSUM_MAX ) Errorsum = ERRORSUM_MAX;
  if ( Errorsum < 0 ) Errorsum = 0;

  y = (Errorsum/KI) + (Diff * KP);

  return y;
}

Warum meckert der GCC hier nicht, dass ich mit y den Wertebereich eines 
uint8_t verlasse?
Habe alles an:
-x c -funsigned-char -funsigned-bitfields -DDEBUG -DF_CPU=9600000  -Os 
-ffunction-sections -fdata-sections -fpack-struct -fshort-enums -g2 
-Wall -Wextra -Werror -pedantic -pedantic-errors -mmcu=attiny13a -c 
-std=gnu99 -MD -MP -MF "main.d" -MT"main.d" -MT"main.o"   -o "main.o" 
".././main.c"

[Nop (Gast)]

Mal -Wconversion probiert?

[Ingo Less (Gast)]

Nop schrieb:
> Mal -Wconversion probiert?
Prima, so is besser ;)