GCC kompiliert falsch?

[Markus M. (Firma: EleLa - www.elela.de) (mmvisual)]

Hallo,

Ich habe folgende Zeilen im Code:

FW_ForceHW = 1;
: : : :
while (1)
{
  if (!FW_ForceHW)
  {
    if ((u32)(AppVectors[1].__ptr) != 0xFFFFFFFF)
    {
      AppVectors[1].__fun(); // main() aufrufen
      FW_ForceHW = 0;
    } else FW_ForceHW = 1;
  }
  FW_Init();            // 2
  if (FW_ForceHW)       // 1
  {
    FW_Seriell_Text(2, str1);
    if (OB->RDP != 0x5AA5)
      FW_Seriell_Text(2, str2);
    FW_ForceHW = 0;
  }
  FW_UpdateLoop();      // 3
}

Wiso wird zu erst der if Block bei "// 1" ausgeführt und dann erst
"// 2" und dann "// 3" ?

Der Compiler hat die Optimierungsstufe -O1.
"arm-none-eabi-gcc (Sourcery G++ Lite 2009q3-68) 4.4.1"

Dennoch darf der doch nicht einfach irgend welche Programmabläufe 
umdrehen !?!?!?

Hat dazu jemand eine Idee?

Grüße Markus.

PS: Bei Optimierungsstufe -O0 macht der das richtig.

[Karl H. (kbuchegg)]

Markus Müller schrieb:

> Wiso wird zu erst der if Block bei "// 1" ausgeführt und dann erst
> "// 2" und dann "// 3" ?

Wie hast du das festgestellt?
Der Anzeige eines Debuggers darfst du bei eingeschalteter Optimierung 
nicht mehr alles glauben.

[Markus M. (Firma: EleLa - www.elela.de) (mmvisual)]

Ganz einfach, wenn es geht steht das im Terminal:

FW-Loader V1.3.1607
U

und wenn es nicht geht, sieht das so aus:

U

Denn der "FW_Init();" initialisiert erst den UART.

Cpu: STM32F103

[Markus M. (Firma: EleLa - www.elela.de) (mmvisual)]

Denn wenn ich den Code so abändere:

: : : :
while (1)
{
  if (!FW_ForceHW)
  {
    if ((u32)(AppVectors[1].__ptr) != 0xFFFFFFFF)
    {
      AppVectors[1].__fun(); // main() aufrufen
      FW_ForceHW = 0;
    } else FW_ForceHW = 1;
  }
  if (FW_ForceHW)       // 1
  {
    FW_Init();          // 2
    FW_Seriell_Text(2, str1);
    if (OB->RDP != 0x5AA5)
      FW_Seriell_Text(2, str2);
    FW_ForceHW = 0;
  } else FW_Init();     // 2
  FW_UpdateLoop();      // 3
}

dann geht es auch mit -O1 richtig.

[Johann L. (gjlayde)]

Aktiviere erst mal Warnungen und beseitige die alle ;-)

[Markus M. (Firma: EleLa - www.elela.de) (mmvisual)]

Das ist die Kompiler-Zeile:

arm-none-eabi-gcc -c -mcpu=cortex-m3 -O0 -gdwarf-2 -mthumb -funsigned-char -fomit-frame-pointer -fno-inline -Wall -fverbose-asm  -MD -MP -MF .dep/FW_Update_USB.o.d -I . -I\WinARM\yagarto\arm-none-eabi\include -I./lib -I./lib/cm3 -I./lib/inc -I/WinARM/CodeSourcery/arm-none-eabi/include -I./s_gui/inc -I./s_inc -I./inc -I./s_db src/FW_Update_USB.c -o out/src/FW_Update_USB.o

Ein -Wall ist bereits drin, in der Datei gibt es keine einzige Warnung.

[(prx) A. K. (prx)]

Vermutete Compilerfehler lassen sich besser handhaben, wenn man ein 
compilierbares File hier reinstellt. Extrem minimalisiert, also wirklich 
nur das drin was nötig ist, keine 20 Files mit 100K Zeilen.

Die Schlussfolgerung von
> Ganz einfach, wenn es geht steht das im Terminal:
auf
> Wiso wird zu erst der if Block bei "// 1" ausgeführt und dann erst
> "// 2" und dann "// 3" ?
erschliesst sich mir nicht.

[Markus M. (Firma: EleLa - www.elela.de) (mmvisual)]

Ich hab die Datei mal etwas gegürzt.

Der Fehler tritt bei Zeile 94 auf.

[Norminator (Gast)]

Markus Müller schrieb:

 if (FW_ForceHW)       // 1
   {
     FW_Init();          // 2
     FW_Seriell_Text(2, str1);
     if (OB->RDP != 0x5AA5)
       FW_Seriell_Text(2, str2);
     FW_ForceHW = 0;
   } else FW_Init();     // 2
   FW_UpdateLoop();      // 3

Also diese Reihenfolge kann ja nun auch nicht so ganz richtig sein.
Er kann nur if oder else, aber nicht else nach if.

[Norminator (Gast)]

Oder hab ich das gerade falsch verstanden?

[Markus M. (Firma: EleLa - www.elela.de) (mmvisual)]

Ja, du hast was falsch verstanden.
Erst konnt der INIT dann die Textausgabe, dann klappt das.

[Karl H. (kbuchegg)]

Gib dich mal in die FW_Init selber eine Textausgabe rein.
Dann weißt dsu es ganz genau, wann sie aufgerufen wird.


Ich tippe aber eher auf eine uninitalisierte Variable irgendwo. Meistens 
ist es irgendwas in dr Richtung, wenn sich die optimierte Variante von 
der nicht optimierten Variante unterschieidet.

[Markus M. (Firma: EleLa - www.elela.de) (mmvisual)]

Ich habe meine Original Datei wieder restauriert, diesen Text rein 
gemacht, siehe da es geht.

Dann hab ich diesen Text wieder raus gemacht und es geht immer noch 
!!???!?

Also nur einen Text extra hinzugefügt und sonst keine einzige Zeile 
angefasst. Komisch.

Ich habe zuvor auch schon mit make clean alles gelöscht und bevor ich 
hier poste sicher schon 2 Stunden selbst gesucht und probiert.

Vielleicht sollte ich soch mal meinen Rechner neu starten.

Vielen Dank für die schnelle Antworten.

Grüße Markus

[Rolf Magnus (Gast)]

Markus Müller schrieb:
> Ein -Wall ist bereits drin, in der Datei gibt es keine einzige Warnung.

Füge noch -ansi -pedantic -Wextra hinzu.

[Markus M. (Firma: EleLa - www.elela.de) (mmvisual)]

Der Parameter -ansi meckert bei der Zeile:

SysTick->VAL = 0;

mit den Fehlern:
src/FW_Update_USB.c:272: error: expected identifier or '(' before 
'SysTick_Type'
src/FW_Update_USB.c:272: error: expected ')' before '(' token


Der Parameter -pedantic meckert bei der Zeile:

//****************

mit der Warnung:
src/FW_Update_USB.c:19: warning: C++ style comments are not allowed in 
ISO C90
src/FW_Update_USB.c:19: warning: (this will be reported only once per 
input file)
(und noch einige andere Warnungen bei Deklarationen zwischen Code)

Somit kann ich diese beiden Parameter nicht gebrauchen.

-Wextra meckert nichts an. Den lasse ich mal drin.

[Rolf Magnus (Gast)]

Markus Müller schrieb:
> Der Parameter -ansi meckert bei der Zeile:
>
> SysTick->VAL = 0;
>
> mit den Fehlern:
> src/FW_Update_USB.c:272: error: expected identifier or '(' before
> 'SysTick_Type'
> src/FW_Update_USB.c:272: error: expected ')' before '(' token

In dieser Zeile kommt weder der Name SysTick_Type, noch eine Klammer 
vor. Beziehen sich die Meldungen wirklich darauf? Ist SysTick oder VAL 
viellicht irgendwo als Makro definiert?

> Der Parameter -pedantic meckert bei der Zeile:
>
> //****************
>
> mit der Warnung:
> src/FW_Update_USB.c:19: warning: C++ style comments are not allowed in
> ISO C90
> src/FW_Update_USB.c:19: warning: (this will be reported only once per
> input file)
> (und noch einige andere Warnungen bei Deklarationen zwischen Code)

Dann mach statt "-ansi -pedantic" ein "-std=c99 -pedantic". In C99 ist 
beides erlaubt.

> Somit kann ich diese beiden Parameter nicht gebrauchen.
>
> -Wextra meckert nichts an. Den lasse ich mal drin.

Der Sinn der Sache war nicht, nur die Optionen drin zu lassen, die bei 
deinem aktuellen Code keine Meldungen produzieren, sondern zusätzliche 
Meldungen zu erhalten, die dir helfen, Fehler im Code zu finden.