Discussion :

[pcdwarf]

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
volatile uint8_t * hardwarePort;
volatile uint8_t * hardwareDDR;
volatile uint8_t * hardwarePin;
uint8_t hardwareMask;

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

    *hardwareDDR &= ~hardwareMask;

erreur: conversion to «uint8_t {aka unsigned char}» from «int» may alter its value [-Werror=conversion]
*hardwareDDR &= ~hardwareMask;
^

J'ai bien déclaré tout en unsigned. Là, j'avoue que je ne comprends pas

Pour info :
gcc version 5.4.0 (GCC)
Target: avr

[CGi]

Je penses que l'origine du warning provient d'une partie du code que vous ne montrez pas.
postez un code à minima qui reproduit votre problème.

[jo_link_noir]

C'est un problème de promotion des entiers. Toute opération arithmétique sur les types inférieurs au rang d'un int donnera un int (ou un unsigned si ça ne rentre pas dans un int). Du coup ~uint8_t -> int et il faut sortir les static_cast...

[pcdwarf]

En effet c'est la promotion des entiers.

Ce qui est étonnant car sur cette architecture 8 bits, sizeof (int) = 1

Il est étonnant que ~ uint8_t donne un int8_t
je ne trouve pas ça très logique Mais OK. donc En avant pour le static cast.

[Médinoc]

Ce qui m'étonne, c'est qu'on ait ces warnings sur des &=. Je croyais que tous les += etc. étouffaient ce genre de warning, mais c'est peut-être mon expérience du C# qui colore mes propos.

En règle générale le choix que les opérateurs bitwise forcent la promotion en int me parait toujours une erreur des concepteurs du langage. Mais dans des edge cases comme valeur32 &= ~valeur8 on se dit que c'est peut-être une bonne chose (la perte silencieuse des 24 bits supérieurs pourrait être considérée comme violant le principe de moindre surprise).

[pcdwarf]

Pour ma part la moindre surprise serait que le type résultant d'un opérateur unaire, soit identique (en taille et en signe) au type de objet sur lequel on l'applique.

Changer le signe et la taille sur du bitwise me semble piégeux.

Code cpp :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
#include <stdio.h>
#include <stdint.h>
int main()
{
    printf("Hello World\n");
 
    uint8_t mask = 0x80;
    uint16_t a = 0x2000;
 
    printf("0x2000 | (   0x80 ) =  0x%08X\n", a | ( mask)  );
    printf("0x2000 | ( ~ 0x80 ) =  0x%08X\n", a | (~mask)  );
 
    printf("Goodbye\n");
    return 0;
}

Hello World
0x2000 | ( 0x80 ) = 0x00002080
0x2000 | ( ~ 0x80 ) = 0xFFFFFF7F
Goodbye


...Program finished with exit code 0

Pour ma part question "moindre surprise" tout étant déclaré unsigned j'attendais 0x0000207F au second calcul.