QAC 4126, This integral or enum output parameter value is not subsequently checekd

[Chandler B. (chandler)]

Mahlzeit,
ich mache misra für eine C++ code.
Hier habe ich ein Problem mit einer Warnung.

return waitFor([&]() { return ((*MSTPSR[n] & bit) != 0U);}, 100);

Hier bekomme ich die Warnung
"This integral or enum output parameter value is not subsequently 
checked"

Ich weiß was die Warnung bedeutet, also das ein integer (enum gibt es 
hier ja keins) nicht auf Gültigkeit überprüft worden ist. Aber auf 
welchem wert? und vor allem welche Variable?

QAC hilfe

  void foo(bool & ref);

  void f1()
  {
    bool success;
    foo(success);  // Not OK
  }
  
  void f2()
  {
    bool success;
    foo(success);  // OK
    if(!success)
    {
      throw 1;
    }
  }

also in f2() wird nachher success noch einmal überprüft


in einer header habe ich:

volatile uint32_t *MSTPSR[12];
volatile uint32_t *_MSTPSR[]   =
{
    (uint32_t *)0xE6150030, (uint32_t *)0xE6150038, (uint32_t *)0xE6150040, (uint32_t *)0xE6150048,
    (uint32_t *)0xE615004C, (uint32_t *)0xE615003C,
    (uint32_t *)0xE61501C0, (uint32_t *)0xE61501C4, (uint32_t *)0xE61509A0, (uint32_t *)0xE61509A4,
    (uint32_t *)0xE61509A8, (uint32_t *)0xE61509AC
};

Welche Variable muss ich hier wo noch auf was überprüfen um die Warnung 
weg zu bekommen?

[Alter Sack (Gast)]

So sieht sicherheitskritischer Code aus? Holla die Waldfee...

Chandler B. schrieb:
> Hier habe ich ein Problem mit einer Warnung.
>
> return waitFor([&]() { return ((*MSTPSR[n] & bit) != 0U);}, 100);
>
> Hier bekomme ich die Warnung
> "This integral or enum output parameter value is not subsequently
> checked"
>
> Ich weiß was die Warnung bedeutet, also das ein integer (enum gibt es
> hier ja keins) nicht auf Gültigkeit überprüft worden ist. Aber auf
> welchem wert? und vor allem welche Variable?

Also ich denke ja die Warnung hat nichts mit Gültigkeit zu tun, sondern 
mit Nicht-Verwendung.

Aber eigentlich sollte das derjenige wissen der so kritischen Code 
schreib{t|en muss}? ;-)

[Rolf M. (rmagnus)]

Chandler B. schrieb:
> Ich weiß was die Warnung bedeutet, also das ein integer (enum gibt es
> hier ja keins) nicht auf Gültigkeit überprüft worden ist. Aber auf
> welchem wert? und vor allem welche Variable?

Ich verstehe die Meldung so, dass es darum geht, dass eine 
nicht-const-Referenz an eine Funktion übergeben und nachher mit dem Wert 
nichts gemacht wird. Normalerweise ist ein Referenz-Funktionsparameter 
ja nur dann nicht const, wenn die Funktion damit etwas an den Aufrufer 
zurückgibt.
Möglicherweise geht es hier um das & in der capture-Liste, das alles per 
(eben nicht-const-)Referenz an das Lambda übergibt.
Es scheint, dass in C++ die Möglichkeit von Captures per const-Referenz 
leider fehlt.

[A. S. (Gast)]

Chandler B. schrieb:
> Aber auf
> welchem wert? und vor allem welche Variable?

na einfach jede Variable (n, bit, das Array) nacheinander durch einen 
festen Wert ersetzen und schauen.

Wer macht die Warnung eigentlich? Und wie sieht sie genau aus?