C-Compiler, Warning fehlt ?

[Siro]

Hallo,
ich hab grad ein C-Problemchen gelöst und wundere mich das Verhalten des Compilers:

Ich habe vergessen eine lokale Variable zu initialisieren bevor ich sie abfrage (jaja, ich schäme mich ja auch dafür)
Aber hätte der Compiler das nicht gleich mit einem "Warning" tadeln müssen ?

void testfunc(void)
{ int time;

  while (1)
  {
    if (time > 1) ;  
  }
}

Das ist jetzt sicherlich kein Sinnvoller code, daß soll nur das Problem aufdecken.
Ich habe den Code immer weiter gekürzt, bis dies übrig blieb.

Wenn ich jedoch folgendes schreibe, merkt der Compiler sofort, daß ich vergessen habe "time" zu initialisieren
und warnt korrekterweise mit folgender Meldung: variable "time" is used before its value is set.

void testfunc(void)
{ int time;

  while (1)
    if (time > 1) ;  

}

Wo ist denn da der Unterschied ? oder was habe ich noch nicht richtig verstanden ?
Warum gibt es also in oberen Version keinen Warning ? während dessen in der unteren Version schon ?

Danke vorab für Eure Hilfe
Siro

[radbruch]

Hallo

Ich erhalte überhaupt keine Warnungen:

void testfunc(void)
{ int time;

  while (1)
  {
    if (time > 1) ;
  }
}

void testfunc2(void)
{ int time;

  while (1)
    if (time > 1) ;

}

int main(void)
{
	testfunc();
	testfunc2();
	while(1);
	return(0);
}

Beide Varianten werden auch identisch übersetzt:

   1               		.file	"test.c"
   2               	__SREG__ = 0x3f
   3               	__SP_H__ = 0x3e
   4               	__SP_L__ = 0x3d
   5               	__CCP__  = 0x34
   6               	__tmp_reg__ = 0
   7               	__zero_reg__ = 1
  15               	.Ltext0:
  16               	.global	testfunc
  18               	testfunc:
  19               	.LFB2:
  20               	.LM1:
  21 0000 DF93      		push r29
  22 0002 CF93      		push r28
  23 0004 00D0      		rcall .
  24 0006 CDB7      		in r28,__SP_L__
  25 0008 DEB7      		in r29,__SP_H__
  26               	/* prologue: function */
  27               	/* frame size = 2 */
  28               	.L2:
  29 000a 00C0      		rjmp .L2
  30               	.LFE2:
  32               	.global	testfunc2
  34               	testfunc2:
  35               	.LFB3:
  36               	.LM2:
  37               	.LM3:
  38 000c DF93      		push r29
  39 000e CF93      		push r28
  40 0010 00D0      		rcall .
  41 0012 CDB7      		in r28,__SP_L__
  42 0014 DEB7      		in r29,__SP_H__
  43               	/* prologue: function */
  44               	/* frame size = 2 */
  45               	.L5:
  46 0016 00C0      		rjmp .L5
  47               	.LFE3:
  49               	.global	main
  51               	main:
  52               	.LFB4:
  53               	.LM4:
  54               	.LM5:
  55 0018 DF93      		push r29
  56 001a CF93      		push r28
  57 001c CDB7      		in r28,__SP_L__
  58 001e DEB7      		in r29,__SP_H__
  59               	/* prologue: function */
  60               	/* frame size = 0 */
  61               	.LM6:
  62 0020 00D0      		rcall testfunc
  63               	.LM7:
  64 0022 00D0      		rcall testfunc2
  65               	.L8:
  66 0024 00C0      		rjmp .L8
  67               	.LFE4:
 109               	.Letext0:
DEFINED SYMBOLS
                            *ABS*:00000000 test.c
C:\Users\mic\AppData\Local\Temp/cciawUNb.s:2      *ABS*:0000003f __SREG__
C:\Users\mic\AppData\Local\Temp/cciawUNb.s:3      *ABS*:0000003e __SP_H__
C:\Users\mic\AppData\Local\Temp/cciawUNb.s:4      *ABS*:0000003d __SP_L__
C:\Users\mic\AppData\Local\Temp/cciawUNb.s:5      *ABS*:00000034 __CCP__
C:\Users\mic\AppData\Local\Temp/cciawUNb.s:6      *ABS*:00000000 __tmp_reg__
C:\Users\mic\AppData\Local\Temp/cciawUNb.s:7      *ABS*:00000001 __zero_reg__
C:\Users\mic\AppData\Local\Temp/cciawUNb.s:18     .text:00000000 testfunc
C:\Users\mic\AppData\Local\Temp/cciawUNb.s:34     .text:0000000c testfunc2
C:\Users\mic\AppData\Local\Temp/cciawUNb.s:51     .text:00000018 main

NO UNDEFINED SYMBOLS

Spannenderweise fehlt aber in beiden Versionen die if-Abfrage! Der leicht abgewandelte Code erzeugt ein besseres Ergebniss:

void testfunc(void)
{ int time;

  while (1)
  {
    if (time > 1) time=1;
  }
}

int main(void)
{
	while(1);
	return(0);
}

bindet auch die Abfrage und die Zuweisung ein:

  29               	.LM2:
  30 000a 8981      		ldd r24,Y+1
  31 000c 9A81      		ldd r25,Y+2
  32 000e 8230      		cpi r24,2
  33 0010 9105      		cpc r25,__zero_reg__
  34 0012 04F0      		brlt .L3
  35 0014 81E0      		ldi r24,lo8(1)
  36 0016 90E0      		ldi r25,hi8(1)
  37 0018 9A83      		std Y+2,r25
  38 001a 8983      		std Y+1,r24
  39 001c 00C0      		rjmp .L3

Wieder wurde alles warnungs- und fehlerfrei übersetzt.

Gruß

mic

[uwegw]

Spannenderweise fehlt aber in beiden Versionen die if-Abfrage!

Was daran liegt, dass sie wegoptimiert wird...

@Siro: welchen Compiler und welche Compileroptionen verwendest du? Der GCC beispielsweise initalisiert alle Variablen automatisch mit Null und erzeugt dementsprechend auch keine Warnung.

[uwegw]

Mache ich folgendes:

void testfunc(void)
{ int time1;

    if (time1 > 1) {time1--;}
  
}

void testfunc2(void)
{ int time2;

  while (1)
  {
    if (time2 > 1) {time2--;}
  }
}

int main(void)
{
	int time3;
	time3++;

	testfunc();
	testfunc2();
	return(0);
}

gibt es mit GCC4.5.2 unter Windows/mingw und mit Option -Wall eine Warnung für time1 und time3, aber nicht für time2. Allerdings nur mit dem time1--;, sonst auch nicht (aber da schlägt dann ja die Optimierung zu)

[sternst]

Der GCC beispielsweise initalisiert alle Variablen automatisch mit Null und erzeugt dementsprechend auch keine Warnung.

Sorry, aber das ist in Bezug auf nicht-statische lokale Variablen (und darum geht es hier) schlicht falsch.

[Siro]

Hallo uwegw:
Ich arbeite mit der IAR Embedded Workbench.

@radbruch
die if Abfragen fehlen weil sie wegoptimiert wurden.
Dies kannst Du aber verhindern indem Du vor die Variablen "volatile" schreibst

volatile int time;

Fazit:
Es scheinen also die Compiler unterschiedliche Warnings auszugeben. Ist mir im Prinzip egal,
ich hab nur lieber einen Warning mehr als einen zu wenig, weil dieser oft schon auf einen Fehler hinweist.

Danke Euch, daß Ihr es auch mal probiert habt.
Siro