while-Schleife in avr-gcc

Guten Morgen allerseits,

ich hätte da eine kleine Frage zu while-Schleifen.

Ist es richtig, daß bei

1

while(bedingung)

2

{

3

     tu was;

4

}

zuerst die Bedingung geprüft wird und dann (vielleicht) die Funktion 
ausgeführt wird, während bei

1

do

2

{

3

    tu was;

4

} while ( bedingung);

zuerst die Funktion ausgeführt wird und dann die Bedingung geprüft wird 
?
Das würde nämlich heissen, daß die Funktion auf jeden Fall 1 mal 
ausgeführt würde bzw. daß die Bedingung schon vor der Ausführung der 
Funktion unwahr werden kann, die Schleife aber trotzdem ausgeführt wird

Oder verstehe ich das falsch ?

Danke schon mal für die Antworten