False postive running MIRSA C 2023 rule 14.2

[kylejacksonb]

Several loops like the following trigger the violation:

void g(void) {
    unsigned char i;
    for( i = 0; i < 8; i++) {
            rgBusWr(0x10a6 + i, 0x55,1);
    }
}

[kylejacksonb]

Here is a sample:

MISRA_Loop.zip

[jasonbquinn]

Fixed with https://github.com/stinb/sti/commit/2be9c2d2f1561214d01041d92ae5dd5f2df695f9

[kylejacksonb]

If I test it against my code with the loop variable defined inside the for () statement, it still flag this as a violation:

for (uint8_t i=0; i<cycle; i++) {
    g_array[i][5] = 42;
}

[jasonbquinn]

Fixed with https://github.com/stinb/sti/commit/fbb66a8fb24808fca490b2d9ea2a07ac68893804

[kylejacksonb]

Thanks Quinn

[kylejacksonb]

The latest version seems to improve the situation. But there are still violations.
Please find attached a simplified test case.

typedef unsigned char      uint8_t;  
typedef unsigned short     uint16_t;
extern volatile uint8_t REG_DATA_IN;
uint8_t read( const uint16_t adr ) 
{
  uint8_t io_data = REG_DATA_IN;
  return io_data;
}

void rgBusSetBit( const uint16_t adr, const uint8_t mask) 
{
  const uint8_t var = read( adr );
  write( adr, (var | mask));
}