Hi,
HALCoGen 04.07.00 has a bug in gio.c in the function gioGetConfigValue:
else { /*SAFETYMCUSW 134 S MR:12.2 <APPROVED> "LDRA Tool issue" */ config_reg->CONFIG_INTDET = gioREG->INTDET; config_reg->CONFIG_POL = gioREG->POL; config_reg->CONFIG_INTENASET = gioREG->ENASET; config_reg->CONFIG_LVLSET = gioREG->LVLSET; config_reg->CONFIG_PORTADIR = gioPORTA->DIR; config_reg->CONFIG_PORTAPDR = gioPORTA->PDR; config_reg->CONFIG_PORTAPSL = gioPORTA->PSL; config_reg->CONFIG_PORTAPULDIS = gioPORTA->PULDIS; /*SAFETYMCUSW 134 S MR:12.2 <APPROVED> "LDRA Tool issue" */ config_reg->CONFIG_PORTBDIR = gioPORTB->DIR; config_reg->CONFIG_PORTBPDR = gioPORTB->PDR; config_reg->CONFIG_PORTBPSL = gioPORTB->PULDIS; config_reg->CONFIG_PORTBPULDIS = gioPORTB->PSL; }
PULDIS and PSL are switched.
Best regards.