globale Variable von anderem File lokal extern deklarieren möglich?

[Martin (Gast)]

Hallo zusammen,

ich bin gerade am Debuggen und frage mich ob mein Konstrukt so überhaupt 
erlaubt ist. Folgender Aufbau:

afile.c:

uint8_t var = 0;

void foo( void )
{
    // work with var
    var++;
}

bfile.c:

void resetVar( void )
{
    extern uint8_t var;
    var = 0;
}

ist das so mit dem AVR-GCC erlaubt? also eine Variable die in der einen 
Datei global ist, in der anderen Datei nur lokal und trotzdem extern zu 
deklarieren?

Klar in dem Minimalbeispiel hier kann resetVar auch in afile.c 
geschieben werden und man kann sich das extern sparen, in meiner 
Anwendung geht das aber nicht so einfach und ich glaube fast, dass daran 
mein Programm scheitert.

Vielen Dank
Gruß Martin

[Oliver (Gast)]

Das ist eine der Fragen, die sich mit etwas Abstand ganz plötzlich wie 
von selbst beantworten.

Was geht, ist eine lokale Variable mit gleichem Namen, wie eine globale 
(ob extern oder nicht, ist dabei egal). Die lokale "verdeckt" in diesem 
Fall die globale.

Oliver

[Johann L. (gjlayde)]

Martin schrieb:
> ist das so mit dem AVR-GCC erlaubt?

Nicht nur in dem, es geht mit jedem C-Compiler und zwar auch mit 
Funktionen.

[Martin (Gast)]

OK, es hat etwas gebraucht aber ich bin doch noch auf den Hund gekommen 
wie ich's testen kann. So ne Pause wirkt doch Wunder!
Nur entspricht mein Ergebnis nicht dem, was ich aus deiner Antwort 
erwartet hätte:

Der Test
 main.c

#include <avr/io.h>
#include "extern.h"

void reset( void );

int main( void )
{
  while(1)
  {
    extern uint8_t var;
    if( var != 0 )
      reset();
    foo();
  }
  return 0;
}

void reset( void )
{
  extern uint8_t var;
  var = 0;
}

 extern.h

void foo( void );

 extern.c

#include "extern.h"
#include <avr/io.h>

uint8_t var = 0;

void foo( void )
{
  var++;
}

Das Ergebnis
 .lss-file

0000005c <main>:
int main( void )
{
  while(1)
  {
    extern uint8_t var;
    if( var != 0 )
  5c:  80 91 00 01   lds  r24, 0x0100
  60:  88 23         and  r24, r24
  62:  11 f0         breq  .+4        ; 0x68 <main+0xc>
}

void reset( void )
{
  extern uint8_t var;
  var = 0;
  64:  10 92 00 01   sts  0x0100, r1
  while(1)
  {
    extern uint8_t var;
    if( var != 0 )
      reset();
    foo();
  68:  01 d0         rcall  .+2        ; 0x6c <foo>
  6a:  f8 cf         rjmp  .-16       ; 0x5c <main>

0000006c <foo>:

uint8_t var = 0;

void foo( void )
{
  var++;
  6c:  80 91 00 01   lds  r24, 0x0100
  70:  8f 5f         subi  r24, 0xFF  ; 255
  72:  80 93 00 01   sts  0x0100, r24
}
  76:  08 95         ret

... ist das jetzt Verlässlich?

[Martin (Gast)]

Bissl unübersichtlich, ich häng die Files nochmal an

Danke
Gruß Martin

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

Martin schrieb:
> Nur entspricht mein Ergebnis nicht dem, was ich aus deiner Antwort
> erwartet hätte:

Kommt drauf an, wessen Antwort du meinst.
Johann liegt richtig, Oliver nicht.

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

Oliver schrieb:
> (ob extern oder nicht, ist dabei egal).

Keineswegs. Es ist der entscheidende Unterschied.

[Martin (Gast)]

A. K. schrieb:
> Johann liegt richtig, Oliver nicht.

Johann habe ich vollkommen übersehen, da war ich wohl selbst schon im 
schreiben...

A. K. schrieb:
> Oliver schrieb:
>> (ob extern oder nicht, ist dabei egal).
>
> Keineswegs. Es ist der entscheidende Unterschied.

du meinst, dass 'extern' der entscheidende Unterschied ist, verstehe ich 
das richtig?

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

Martin schrieb:
> du meinst, dass 'extern' der entscheidende Unterschied ist, verstehe ich
> das richtig?

Ja.

[Johann L. (gjlayde)]

Martin schrieb:
> du meinst, dass 'extern' der entscheidende Unterschied ist, verstehe ich
> das richtig?

Ja, denn ohne extern wäre es die Definition einer lokalen Variable, 
nicht die Deklaration einer extern.

Dein Disassembly von oben entspricht nicht dem Quellcode, irdendwo hast 
da gemogelt!

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

Johann L. schrieb:
> Dein Disassembly von oben entspricht nicht dem Quellcode, irdendwo hast
> da gemogelt!

Inwiefern? Bei mir kommt exakt ebendieser Asm-Code raus (4.7.2).

[Johann L. (gjlayde)]

Da: Beitrag "Re: globale Variable von anderem File lokal extern deklarieren möglich?"

reset() hat im Disassembly ein while(1), in der Quelle jedoch nicht!

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

Johann L. schrieb:
> reset() hat im Disassembly ein while(1), in der Quelle jedoch nicht!

Ist das while in main. Ein Schmutzeffekt des Disassemblers beim Versuch, 
für Code mit Inlining den Quellcode irgendwie unterzubringen.