C18: Warning [2054] suspicious pointer conversion

[uwegw]

Es könnte eigentlich nur noch sein, dass der Compiler sich am static stört...

Dass die Warnung nicht immer erscheint liegt daran, dass der Compiler zunächst prüft, ob die Zwischenergebnisse von letzten Durchlauf noch aktuell sind. Dann werden immer nur die wirklich veränderten Dateien komplett neu übersetzt und vom Linker mit den schon übersetzten Teilen zusammengefügt. Bei größeren Projekten mit viel Code spart das einiges an Zeit.

[BioSniper]

Er stört sich nicht an "static", sondern an "volatile".

Was volatile exakt bewirkt ist mir jedoch etwas unklar. Ich weiss nur, dass man es verwenden soll, wenn die Variable auch innerhalb von Interrupts Verwendung finden soll.

Wo da jedoch der tiefere Sinn liegt ist mir unklar.

[Dirk123]

Ok, der Thread ist schon etwas älter, aber da das Thema volatile gerade bei mir aktuell ist, schreibe ich hier mal das, was ich dazu gelernt habe:
volatile sagt dem Compiler, dass der Wert einer Variable sich jederzeit ändern kann, ohne dass das in der aktuellen Funktion ersichtlich ist. Daher sind zum Beispiel Hardwareregister bei PICs als volatile deklariert. Denn die können sich ja jederzeit ändern, ohne dass die Software diese angefasst hat. Oder wenn man eine globale Variable in einem Interrupt ändert, kann das für die laufende Funktion unbemerkt bleiben.
Hier ein Beispiel:

volatile int vol_var;
while (bedingung) {
    int a=vol_var; // Zeile A
    printf("%d\n",vol_var); // Zeile B
}

Der C-Compiler würde ohne volatile denken, dass vol_var in der Schleife unverändert bleibt, deswegen den Wert von vol_var nur einmal ermitteln und dann in der Schleife den einmal ermittelten Wert immer wieder verwenden. Mit volatile hingegen wird er vor jeder Benutzung den Wert holen und so immer aktuell wie möglich sein.

Auf den Code des ersten Posts

static volatile unsigned short tmrGATEcounter;
void ReadEEdata8(unsigned char *dest, unsigned char addr){...}
void InitVars (void) {
    ReadEEdata16 (tmrGATEcounter, 2);   //Time aus EEPROM laden.
}

bezogen bedeutet das:
Die Variable tmrGATEcounter ist volatile, unsigned char *dest nicht. Der Compiler würde so (auch bei einem Zeiger) die Information verlieren, dass *dest eine volatile Variable ist.
Sinnvoll wäre also:

void InitVars (void) {
   unsigned short temp;
   ReadEEdata16 ((unsigned char*)&temp, 2);   //Time aus EEPROM laden.
   tmrGATEcounter = temp;
}

Da tmrGATEcounter ja zugewiesen werden soll, reicht es, wenn man einen Zeiger auf eine nicht-volatile Variable übergibt, und dann danach die Zuweisung mit dieser durchführt.

(Ich hab jetzt mal den Unterschied zw. unsigned char und unsigned short ignoriert.)

[BioSniper]

Danke für die Antworten.

Zumindestens ist mir mal ein Licht aufgegangen was da passiert.

Der Compiler kopiert also alle Variablen erstmal auf den Stack, bevor sie bearbeitet werden. Wenn eine Variable als volatile gekennzeichnet wurde, dann muss der Compiler zusätzlichen Code einbauen, damit jedes mal geprüft wird, ob die Variable zwischenzeitlich (ausserhalb der aktuell laufenden Routine, z. B. Interrupt-Routine) verändert wurde, bevor er sie weiterbearbeitet werden darf. Nur so kann die Variable auf dem Stack aktuell gehalten werden.

Volatile bedeutet also: Halte Variable, vor Weiterverarbeitung auf dem Stack, aktuell.

[BioSniper]

So Leute, falls hier noch einer lebt. Habe das Problem endlich gelöst, hahaha. Nachdem ich heute bei einem neuen Projekt das EEPROM vergewaltigen wollte hatte ich wieder diese leidige Warnung: Warning [2054] suspicious pointer conversion.

Wichtig ist, wenn man eine Integer-Variable hat, dass man diese als union deklariert, z. B.:

static volatile union _varReed {
unsigned int LH;
struct {unsigned char L; unsigned char H;};
} varReed;

Aufgerufen muss eine Routine (z.B. WriteEEdata16) dann so werden:

WriteEEdata16(&varReed.L, eepromaddresse); //(varReed.LH) => EEPROM.

Man darf also nur ein char (varReed.L, nicht varReed.LH) übergeben, dann gibt es auch keine Warnung mehr.