setjmp/longjmp和局部变量

我的问题是关于局部变量的setjmp/longjmp的行为。

jmp_buf env;


void abc()
{
  int error;

  ... 
  if(error)
    longjmp(env);
}


void xyz() {
  int v1;           // non-volatile; changed between setjmp and longjmp
  int v2;           // non-volatile; not changed between setjmp and longjmp
  volatile int v3;  // volatile;     changed between setjmp and longjmp
  volatile int v4;  // volatile;     not changed between setjmp and longjmp 

  ...

  if(setjmp(env)) {
    // error handling
    ...
    return;
  }

  v1++; // change v1
  v3++; // change v3

  abc();
}


int main(...) {
  xyz();
}

setjmp/longjmp的文档说明:

“在调用longjmp()时,所有可访问对象都有值, 除了自动存储持续时间的对象的值 是包含相应函数调用的函数的本地 setjmp()没有volatile限定类型且已更改

我看到以下两种可能的解释:

说明1:

• 非挥发性和

说明2:

局部变量被还原,除了

• 那些改变了的

根据longjmp之后的解释1,只有v1未定义。定义了v2、v3、v4。 根据longjmp之后的解释2,仅定义了v4。v1、v2、v3未定义。