C28615

advertencia C28615: debe llamar a _resetstkoflw en el bloque __except() al llamar a _alloca en el bloque __try. No llame a _resetstkoflw desde dentro de un bloque catch()

La herramienta Análisis de código notifica esta advertencia cuando las aplicaciones llaman a la función _resetstkoflw dentro de un bloque catch, o cuando las aplicaciones llaman a alloca en el bloque try sin llamar a _resetstkoflw en el bloque except.

Un subproceso solo puede detectar una excepción de desbordamiento de pila (generada desde una llamada a _alloca) a menos que la pila se repare (por ejemplo, por _resetstkoflw) después de cada excepción. Si la pila no se fija después de que se produzca la primera excepción desde _alloca, una segunda excepción dará lugar a la finalización inmediata y silenciosa del proceso.

Debe llamar a _resetstkoflw cuando el puntero de pila actual apunte a una dirección superior a la tercera página de la pila. Esto se debe a que no tiene sentido hacer que una página de protección salga de la página actual a la que apunta el puntero de pila (o apuntará a en un momento).

No se debe llamar a la función _resetstkoflw desde una expresión de filtro del controlador de excepciones estructurado o desde una función llamada desde una expresión de filtro del controlador de excepciones estructurada.

Ejemplos de

La herramienta Análisis de código notifica esta advertencia para el ejemplo siguiente porque se llama a la expresión de filtro antes de que se produzca el desenredado de la pila. Cuando hay un desbordamiento de pila, se llama a la expresión de filtro cuando el puntero de pila actual apunta a la tercera página desde la parte inferior de la pila.

__try 
{
    /* The following could cause stack overflow */
    char *x = _alloca (i);
}
__except ((GetExceptionCode () == EXCEPTION_STACK_OVERFLOW) 
    ? (_resetstkoflw (), EXCEPTION_EXECUTE_HANDLER) 
    : EXCEPTION_CONTINUE_SEARCH)
{
}

En el ejemplo siguiente también se produce un error por motivos similares.

__try 
{
 char *x = _alloca (i);
}
__except (SEHFilter (GetExceptionCode ()))
{
}

int SEHFilter (DWORD dwExceptionCode)
{
 if (dwExceptionCode == EXCEPTION_STACK_OVERFLOW)
 {
 _resetstkoflw ();
 return EXCEPTION_EXECUTE_HANDLER;
 }
 else
 {
 return EXCEPTION_CONTINUE_SEARCH;
 }
}

En el ejemplo siguiente se evita correctamente el error.

__try
{
    char *x = _alloca (i);
}
__except ((GetExceptionCode () == EXCEPTION_STACK_OVERFLOW) ? EXCEPTION_EXECUTE_HANDLER : EXCEPTION_CONTINUE_SEARCH)
{
    // In this block the stack has already been unwound,
    // so this call will succeed.
_resetstkoflw ();
}