can't generate code for this expression / XC8 Mplab X

[Sven W. (ulminpoika)]

Hallo wertes Forum,

Ich komme nicht um folgende Compiler-Meldung rum. Ich programmiere einen 
PIC18F4520 mit MPLAB X 1.90 und XC8 V1.20.

:: advisory: Employing 18F4520 errata work-arounds:
:: advisory:  * Corrupted fast interrupt shadow registers
:: warning: Omniscient Code Generation not available in Free mode
Main.c:180: error: can't generate code for this expression
(908) exit status = 1
make[2]: *** [dist/default/production/ComFaker.X.production.hex] Error 1
make[1]: *** [.build-conf] Error 2
make: *** [.build-impl] Error 2
make[2]: Leaving directory `C:/MPLAB/ComFaker.X'
make[1]: Leaving directory `C:/MPLAB/ComFaker.X'

Hier Ausshnitte aus dem Quellcode, in dem ich den Inhalt eines 
Ringbuffers abfrage. Der Ringpuffer ist wie folgt gebaut:

#define ComBuffSize 255

struct RingBuff {
    unsigned char Head;
    unsigned char Tail;
    unsigned char Lap;
    unsigned char Element[ComBuffSize];
} ComBuff = {0,0,0,{0}};

Wenn Daten im Ringpuffer liegen, möchte ich die über die serielle 
Schnittstelle schicken. Ich habe folgende if-Bedingung, die nicht 
compiliert werden kann (der Inhalt wurde durch Nop() ersetzt:

if (((ComBuff.Lap == 0) && (ComBuff.Tail < ComBuff.Head)) || ((ComBuff.Lap == 1) && (ComBuff.Tail > ComBuff.Head))) {
        Nop();
    }

Mit ComBuff.Lap unterscheide ich, ob die Daten momentan über das 
Speicherende in den Speicheranfang reichen.

Irrerweise hat die Abfrage mal funktioniert. Ich hatte zwischenzeitlich 
integer Daten in der RingBuff Struktur (für Head und Tail, wegen 
größerer Puffergröße), aber die dann wieder auf char geändert.

Wenn ich folgende Teilbedingung durch eine 1 ersetze, wird der Code 
kompiliert:

(ComBuff.Tail < ComBuff.Head)

als:

if (((ComBuff.Lap == 0) && (1)) || ((ComBuff.Lap == 1) && (ComBuff.Tail > ComBuff.Head))) {
        Nop();
    }

Kennt jemand eine Strategie, wie man diese "can't generate code for this 
expression" Fehler ausbügeln kann? Leider versagt das Microchip Forum 
momentan, sodass die meisten Google Treffer auch nix taugen...

Vielen Dank für Tips und Tricks,
Ulminpoika

[chirs (Gast)]

probier mal folgendes:

if (!ComBuff.Lap && ComBuff.Tail < ComBuff.Head || ComBuff.Lap == 1 && 
ComBuff.Tail > ComBuff.Head) {
        Nop();
    }

Aber, wieso fragst du, ob das Ende vor dem Anfang ist, wenn kein 
Überlauf (lap) stattgefunden hat ?

Weiters, ComBuffSize sollte warscheinlich 256 sein.

[B. S. (bestucki)]

Ich würde als erstes die neuste Version des XC8 installieren (1.30).

Schau mal auf Seite 36 in den aktuellen Release Notes (Kapitel: Known 
Issues):
http://ww1.microchip.com/downloads/en/DeviceDoc/Readme_XC8v1_30.pdf

[Sven W. (ulminpoika)]

Hallo,

danke für eure Antworten:

@chirs: Der Überlauf ComBuff.Lap wird 1 gesetzt, wenn der Kopf 
ComBuff.Head wieder die Anfangsadresse indiziert. ComBuff.Lap wird 
wieder zurück auf 0 gesetzt, wenn das Ende ComBuff.Tail den Sprung 
zurück auf die Anfangsadresse macht.
Und ja, ComBuffSize sollte tatsächlich 256 sein :-).

@be stucki: Vielen Dank für den interessanten Link. Zu den Änderungen in 
V1.30 ist aber nichts zu den "Can't Generate Code" messages gesagt.

Ich hab ein wenig an den Datenwerten und -typen gedreht. Mittlweile 
kompiliert das ganze wieder, obwohl die Datentypen für die 8bit Struktur 
eigentlich eher umständlicher sind.

#define ComBuffSize 1000

struct RingBuff {
    unsigned int Head;
    unsigned int Tail;
    unsigned char Lap;
    unsigned char Element[ComBuffSize];
} ComBuff = {0,0,0,{0}};

if (((ComBuff.Lap == 0) && (ComBuff.Tail < ComBuff.Head)) || ((ComBuff.Lap == 1) && (ComBuff.Tail > ComBuff.Head))) {
        Nop();  // Hier steht natürlich weitere Code
    }

Vielen Dank trotzdem für eure Unterstützung. Wenn ich der genauen 
Ursache noch auf die Schliche komme, werde ich sie hier posten.

Ulminpoika