setjmp invalidates jmp_buf when function returns

[blegat]

Dans la doc, il est mis pour setjmp que

The stack context will be invalidated if the function which called setjmp() returns.

Pourtant, dans l'exemple du syllabus, on a

  f();
  g();

comme c'est dans f qu'on fait setjmp et dans g qu'on fait longjmp, f a déjà retourné lorsqu'on appelle longjmp.

[dsarkozi]

Je pense en effet qu'il faudrait appeler g() dans f(), non ?