Problem mit MISRA-Regeln 12.2 und 12.4

[Michael S. (michael8192)]

Hallo zusammen,

Bei folgendem Programmcode erhalte ich die Regelverletzung Nr. 12.2 und 
12.4 gemäss MISRA-C (2004), die ich mir nicht erklären kann bzw. ich 
nicht weiss, wie ich das beheben könnte. Das Regelwerk bezüglich diesen 
Punkten habe ich gelesen, aber die bringen mich auch nicht weiter, was 
ich konkret verändern müsste.
Vielleicht habt ihr eine Idee?
Besten Dank.

[ MISRA 12.2 ] The value of an expression shall be the same under any order of evaluation that the standard permits.
->Line No :  27  :  while( ( get_a( ) == OFF ) && ( ( get_b( ) == ON ) || ( get_c( ) == ON ) ) )

[ MISRA 12.4 ] The right-hand operand of a logical && or || operator shall not contain side effects. 
->Line No :  27  :  while( ( get_a( ) == OFF ) && ( ( get_b( ) == ON ) || ( get_c( ) == ON ) ) )

Codebeispiel (ist nicht wirklich sinnvoll und dient nur zum Test der 
Regelverletzung):

typedef  signed  int int32_t;

#define     OFF     0U
#define     ON      1U


int32_t main( void );
void    get_a( void );
void    get_b( void );
void    get_c( void );

int32_t main( void )
{
    int32_t a = OFF;
    int32_t b = OFF;
    int32_t c = OFF;

    while( ( get_a( ) == OFF ) && ( ( get_b( ) == ON ) || ( get_c( ) == ON ) ) )
    {

    }

    return 0U;
}

void get_a( void )
{
    if( a == OFF )
    {
    }
    else
    {
        a = OFF;
    }
}

void get_b( void )
{
    if( b == OFF )
    {
        b = ON;
    }
    else
    {
    }
}

void get_c( void )
{
    if( c == OFF )
    {
        c = ON;
    }
    else
    {
    }
}

[Μαtthias W. (matthias)]

Hi

get_b() wird nicht aufgerufen wenn get_a() == OFF nicht wahr ist usw. 
Sobald der Ausdruck in einem if false wird, werden weitere Teile nicht 
aufgerufen.

Deshalb ist folgendes auch möglich:

char * c;

if((NULL != c) && *c)
  access_to_c_is_never_a_null_pointer_access();

Matthias

[Michael S. (michael8192)]

Sorry, der Code ist so wie oben natürlich Käse...

typedef  signed  int int32_t;

#define     OFF     0U
#define     ON      1U


int32_t main( void );
int32_t get_a( void );
int32_t get_b( void );
int32_t get_c( void );

    int32_t a = OFF;
    int32_t b = OFF;
    int32_t c = OFF;

int32_t main( void )
{


    while( ( get_a( ) == OFF ) && ( ( get_b( ) == ON ) || ( get_c( ) == ON ) ) )
    {

    }

    return 0U;
}

int32_t get_a( void )
{
    if( a == OFF )
    {
    }
    else
    {
        a = OFF;
    }
  return a;
}

int32_t get_b( void )
{
    if( b == OFF )
    {
        b = ON;
    }
    else
    {
    }
  return b;
}

int32_t get_c( void )
{
    if( c == OFF )
    {
        c = ON;
    }
    else
    {
    }
  return c;
}

[Michael S. (michael8192)]

@Matthias,

danke für Deinen Tipp, so in etwa stand das auch in der Regel, nur was 
könnte ich da anders machen? Die Codezeile mit der while-Schleife 
umschreiben geht sicher, nur sollte es auch möglichst wenig 
Programmspeicher beanspruchen, wegen µC.

[benwilliam (Gast)]

es geht nur darum das in der while-schleife methoden stehen und nicht 
ausschließlich variablen oder konstanten.
was get_a, get_b, get_c machen ist egal es ist einfahc allgemein 
schlechter stil methoden in kontrollstrukturen auf zu rufen. (also auch 
bei IFs möglichst vermeiden)

was zwar nicht schön ist aber dir hier helfen müsste wäre:

int32_t a = get_a();
int32_t b = get_b();
int32_t c = get_c();

while( ( a == OFF ) && ( ( b == ON ) || ( c == ON ) ) )
{

}

[Michael S. (michael8192)]

Aha, besten Dank.

ich habe das so mal ausprobiert, und die Regelverletzung ist weg. Leider 
ist das nur eine von vielen (verschiedenen) Codezeilen mit der gleichen 
Regelverletzung, die ich nun alle umarbeiten muss. (Ich habe das 
Programm nicht selbst geschrieben und muss nur die Prüfung durchführen). 
Aber das Problem an sich habe ich jetzt denke ich erkannt.

[Thosch (Gast)]

benwilliam schrieb:
> was zwar nicht schön ist aber dir hier helfen müsste wäre:
das ist aber nicht äquivalent zum oben angeführten Code!
Dein Code führt stets alle 3 Funktionen aus, aber nur einmal...

Die Funktionsaufrufe müßten dann auch noch in die Schleife,
sonst wird sie entweder nie durchlaufen oder zur Endlosschleife.

int32_t a = get_a();
int32_t b = get_b();
int32_t c = get_c();

while( ( a == OFF ) && ( ( b == ON ) || ( c == ON ) ) )
{
    a = get_a();
    b = get_b();
    c = get_c();
}

Gruß,
Thosch

[Μαtthias W. (matthias)]

Hi

@benwilliam
Dein Code ist aber nicht identisch zu dem von Michael S. In deinem Fall 
werden die drei Funktionen immer aufgerufen. Im Fall von Michael eben 
nicht. Sollten die drei Methoden keine Seiteneffekte haben (z.B. eine 
globale Variabel verändern) ist das kein Problem. Falls doch muss man 
mit gestaffelten if-Abfragen arbeiten.

[c]
while(1)
  if(OFF == get_a( ))
    if(ON == get_b( ))
      if(ON == get_c( ))
        break;
[c/]

Matthias

[benwilliam (Gast)]

Thosch schrieb:
>
> Die Funktionsaufrufe müßten dann auch noch in die Schleife,
> sonst wird sie entweder nie durchlaufen oder zur Endlosschleife.


wer lesen kann ist klar im Vorteil!
ich brauch ganz dringend Wochenende