Problemas con un condicional

[aguml]

Hola amigos, pues mi problema es que no consigo hacer que este condicional haga lo que yo quiero:

if((DebugEv.u.Exception.ExceptionRecord.ExceptionInformation[0] == 0 && Dbg->MemoryBP.Type == ON_ACCESS) ||
   (DebugEv.u.Exception.ExceptionRecord.ExceptionInformation[0] == 0 && Dbg->MemoryBP.Type == ON_EXECUTION) ||
   (DebugEv.u.Exception.ExceptionRecord.ExceptionInformation[0] == 1 && Dbg->MemoryBP.Type == ON_WRITE))
{
         Synchronize(OnMemoryBPEventThread);
}

Lo explico un poco:
La variable DebugEv.u.Exception.ExceptionRecord.ExceptionInformation[0] da 0 si la excepcion es por ejecucion o por lectura y da 1 si es por escritura.
ON_ACCESS, ON_EXECUTION y ON_WRITE son tres constantes que defino asi:

#define ON_ACCESS PAGE_NOACCESS
#define ON_WRITE PAGE_EXECUTE_READ | PAGE_GUARD
#define ON_EXECUTION PAGE_READWRITE | PAGE_GUARD

La idea es que solo entre en uno de estos 3 casos:
1ª linea -> si ExceptionInformation[0] == 0 y el tipo es ON_ACCESS
2ª linea -> si ExceptionInformation[0] == 0 y el tipo es ON_EXECUTION
3ª linea -> si ExceptionInformation[0] == 1 y el tipo es ON_WRITE

El problema es que entra siempre aunque no se cumplan ninguna de las 3 condiciones, o sea, si el tipo es ON_WRITE y ExceptionInformation[0] == 0 entra y no debería. ¿que hago mal en el condicional? Estoy loco dandole vueltas y no veo el fallo.
Gracias de antemano.

[ecfisa]

Empezado por aguml

...
La idea es que solo entre en uno de estos 3 casos:
1ª linea -> si ExceptionInformation[0] == 0 y el tipo es ON_ACCESS
2ª linea -> si ExceptionInformation[0] == 0 y el tipo es ON_EXECUTION
3ª linea -> si ExceptionInformation[0] == 1 y el tipo es ON_WRITE

Hola aguml.

Según lo que comentas arriba tendría que ser:

...
  if(((DebugEv.u.Exception.ExceptionRecord.ExceptionInformation[0] == 0) &&
     (Dbg->MemoryBP.Type == ON_ACCESS || Dbg->MemoryBP.Type == ON_EXECUTION)) ||
     (DebugEv.u.Exception.ExceptionRecord.ExceptionInformation[0] == 1 &&
      Dbg->MemoryBP.Type == ON_WRITE))
    ShowMessage("Cumple la condición");
  else
    ShowMessage("No cumple la condición");
...

[aguml]

Vale, el problema no era ese porque mi condicional, aunque algo menos eficiente, tambien era válido. Al final ha quedado así:

if((ExceptionAccess.LastExceptionTypeOnMBP == 0 && (Dbg->MemoryBP.Type == int(ON_ACCESS) ||
   (Dbg->MemoryBP.Type == int(ON_EXECUTION) &&
   (ExceptionAccess.LastExceptionAddressOnMBP >= ExceptionAccess.LastExceptionAccessAddressOnMBP) &&
   (ExceptionAccess.LastExceptionAddressOnMBP <= ExceptionAccess.LastExceptionAccessAddressOnMBP)))) ||
   (ExceptionAccess.LastExceptionTypeOnMBP == 1 && Dbg->MemoryBP.Type == int(ON_WRITE)))
{
           OnMemoryBPEventThread();
}

El problema estaba en que las constantes que defino, por alguna razón, no funcionan bien sin el cast ese que le pongo. ¿No hay manera de crear esas constantes usando #define y que se creen como enteros para no tener que hacerles cast?

[ecfisa]

Empezado por aguml

¿No hay manera de crear esas constantes usando #define y que se creen como enteros para no tener que hacerles cast?

Hola aguml.

No estoy seguro de entenderte... ¿ Te referis a algo así ?

#define ON_ACCESS      1 // (PAGE_NOACCESS)
#define ON_WRITE     288 // (PAGE_EXECUTE_READ | PAGE_GUARD)
#define ON_EXECUTION 260 // (PAGE_READWRITE | PAGE_GUARD)

Saludos

[aguml]

¿hay diferencia entre hacerlo de una manera o de otra a la hora de la comparación?
Me refiero a hacerlo asi:

#define ON_WRITE     288 // (PAGE_EXECUTE_READ | PAGE_GUARD)

o asi:

#define ON_WRITE PAGE_EXECUTE_READ | PAGE_GUARD

¿funciona de manera diferente a la hora de la comparación? El caso es que en el depurador, al parar en el condicional, podia ver como ON_WRITE tenia el valor correcto que debia tener pero no procesaba bien el valor. ¿en tu caso si lo haria? ¿acaso es un problema del #define que no trabaja bien como yo lo hice?

[ecfisa]

Hola aguml.

Empezado por aguml

¿hay diferencia entre hacerlo de una manera o de otra a la hora de la comparación?

Depende como hayas declarado la macro.

De este modo:

#define ON_WRITE PAGE_EXECUTE_READ | PAGE_GUARD

podría arrojar resultados no deseados debido a la precedencia de operadores. Declarada de ese modo, al expandirse en una evaluación tenemos que:

  if (Valor == ON_WRITE)

es equivalente a escribir:

if ( (Valor == PAGE_EXECUTE_READ) | PAGE_GUARD)

ya que el operador "==" tiene mayor precedencia que el operador "|". Y definitivamente no es lo que buscas...

La declaración que corresponde a tu propósito es:

#define ON_WRITE ( PAGE_EXECUTE_READ | PAGE_GUARD )

que al expandirse queda:

if (Valor == ( PAGE_EXECUTE_READ | PAGE_GUARD ) )

Comprobación:

#define ON_WRITE1  288
#define ON_WRITE2 (PAGE_EXECUTE_READ | PAGE_GUARD)

void __fastcall TForm1::Button1Click(TObject *Sender)
{
  if ( ON_WRITE1 == ON_WRITE2)
    ShowMessage("ON_WRITE1 es igual a ON_WRITE2");
  else
    ShowMessage("ON_WRITE1 es distinto a ON_WRITE2");
}

Saludos

[aguml]

pues no sabia que podia usarse parentesis en un #define y no habia pensado que pudiera ser problema de precedencia de operadores. Mañana hago la prueba y cambio el codigo. Muchisimas gracias por las aclaraciones, sois un foro cojonudo.