Come vengono convertiti implicitamente i tipi integer?

Question

Il seguente codice non riesce su un controllo MISRA. Il messaggio di errore calcestruzzo è:

(MISRA-C: 2004 10.1/R) il valore di un'espressione di tipo intero sono non essere implicitamente convertito in un tipo sottostante diversa, se è non una conversione di un più ampia tipo integer dello stesso signedness

typedef enum _MyEnum { One, Two } MyEnum; 
MyEnum MyVariable; 

int foo(void) 
{ 
    int result = 1; 

    if (One == MyVariable) // fails here with MISRA-C:2004 10.1/R 
    { 
     result = 2; 
    }  
    return result; 
} 

• Perché viene convertita l'espressione logica?
• Cosa viene convertito qui?
• Perché il codice supera il controllo MISRA quando si scambiano One e MyVariable?

Edit: Il compilatore è un TI "MSP430 C/C++ Compiler v4.0.0" con incluso MISRA regole di controllo.

Answer 1

Sospetto di un errore del compilatore. Che compilatore stai usando? This post menziona un bug del compilatore che causa errori di Misra 10.1/R quando si utilizza il compilatore di TI.

Answer 2

Sospetto che il compilatore gestisca internamente enums come unsigned integer, a condizione che non vi sia alcun valore negativo all'interno dello enum.

Answer 3

Non c'è alcun errore nel correttore MISRA, si comporta correttamente. Si ottiene questo errore perché lo standard C è imperfetto e illogico.

ci sono due elementi:

• One è un enumerazione costante. Lo standard §6.7.2.2/2 afferma che questo deve essere compatibile con int, senza eccezioni.

• MyVariable è un tipo elencato. Lo standard §6.7.7.2/4 afferma che questo dovrebbe essere compatibile con char, un tipo intero con segno o un tipo di intero senza segno. Quale tipo si applica è un comportamento definito dall'implementazione.

Nel tuo caso, il tipo enumerato implementazione definita sembra essere pari a unsigned int.

Quindi il codice tenta di convertire in modo implicito una variabile di firma int in unsigned int, che è una violazione di MISRA 2004 10.1.

Il codice conforme MISRA deve essere if (One == (MyEnum)MyVariable).