opération Bitwise avec (signé) valeur ENUM

Question

J'utilise des valeurs de recenseur pour les drapeaux:

typedef enum 
{ 
    a = 0x00, 
    b = 0x01u, // the u has no influence, as expected 
    c = 0x02u, // the u has no influence, as expected 
... 
} enum_name; 

volatile unsigned char* reg = SomeAddress; 
*reg |= b; 

Selon MISRA-C: 2004 opérations binaires ne doivent pas se faire avec un type signé. Malheureusement, mon compilateur IAR utilise signé int (ou short ou char) comme type sous-jacent d'enums, et la seule option que je peux trouver concerne la taille, pas la signature ("--enum-is-int").

Answer 1

selon le IAR C/C++ Development Guide for ARM, pages 169 et 211, vous pouvez définir le type de vos enum s si vous activez les extensions de langage IAR (-e l'option de ligne de commande, ou projet>options>C/C++>Langue>Autoriser les extensions IAR dans l'IDE).

En particulier, vous devez définir une valeur "sentinel" supplémentaire, pour vous assurer que le compilateur choisit le bon type. Il préfère les types signés, et utilise le plus petit type entier possible, donc la sentinelle doit être le plus grand entier positif que le type entier non signé correspondant peut décrire. Par exemple,

typedef enum { 
    /* ... */ 
    enum_u8_sentinel = 255U 
} enum_u8; 

typedef enum { 
    /* ... */ 
    enum_u16_sentinel = 65535U 
} enum_u16; 

typedef enum { 
    /* ... */ 
    enum_u32_sentinel = 4294967295UL 
} enum_u32; 

Answer 2

Peu importe si le type sous-jacent est signé de unsigned, à condition que vous n'utilisiez que des valeurs positives pour votre énumération, car une valeur positive devrait avoir la même représentation qu'un type signé ou non signé. Standard dit en 6.2.6.2 Représentation des types/types entiers §5: Une représentation d'objet valide (non-piège) d'un type entier signé où le bit de signe est zéro est une représentation d'objet valide du type non signé correspondant , et doit représenter la même valeur.

Ainsi, vous pouvez sans risque faire la distribution non signée si vous le souhaitez. Quoi qu'il en soit, si le type sous-jacent est char (ou a été unsigned char), il peut être promu (en silence) en int avant tout calcul.

à mon humble avis, MISRA-C: 2004 indique que les opérations bitwize ne doivent pas se faire avec un type signé, parce que la norme indique explicitement que la représentation d'un nombre négatif est défini par l'implémentation:

Pour les types entiers signés, les bits de la représentation de l'objet doivent être divisés en trois groupes : les bits de valeur, les bits de remplissage et le bit de signe. Il n'y a pas besoin de bits de remplissage; il doit y avoir exactement un bit de signe ... Si le bit de signe est une, la valeur doit être modifiée dans l'une des façons suivantes:

• la valeur correspondante avec le bit de signe 0 est niée (signe et ordre de grandeur);
• le bit de signe a la valeur - (2N) (complément à deux);

• le bit de signe a la valeur - (2N - 1) (complément des uns).

• Lequel de ces applique est mise en œuvre définis (mettent l'accent sur le mien)

TL/DR: Si vous avez pas d'avertissement (et vous ne devriez pas pour Bitwise ou |) vous peut en toute sécurité utiliser aucun casting du tout. Si vous affectez au type non signé une valeur positive, la représentation reste inchangée et vous pouvez également effectuer le cast si vous (ou vos règles d'entreprise) décidez de suivre MISRA-C, ainsi vous pouvez également lancer en toute sécurité vers un type non signé