Re: [libunwind] Some basic questions about libunwind

[David Mosberger]

>>>>> On Mon, 06 Dec 2004 10:00:19 -0600, Archie Cobbs <address@hidden> said:

  Archie> Another random/quick question...  Isn't it the case that
  Archie> libunwind's setjmp/longjmp implementation doesn't suffer
  Archie> from the "non-volatile variable foo may be clobbered by
  Archie> `setjmp'" problem that normal setjmp does? That is, all
  Archie> variables are restored, even non-volatile variables modified
  Archie> after setjmp().

Close, but no cigar: libunwind will restore the preserved registers,
but in general they won't have the same contents as of at the time of
the call to setjmp().  Consider something along the lines of:

bar() {
  longjmp(&jbuf);
}

foo() {
  if (setjmp(&jbuf))
    ...;

  do some other stuff...;

  bar();
}

With the libunwind-based longjmp(), the preserved registers will be
restored as of the point at which bar() was called.  Fortunately, the
C standard allows for this.  Unfortunately, it still means that
variables allocated in registers will get clobbered by the longjmp(),
though the clobbering is somewhat controlled.

        --david