C superar las restricciones de aliasing (? Sindicatos)

Question

Supongamos que tengo un archivo de origen, test.c, que soy compilar este modo:

$ gcc -Wall -03

prueba. c ve algo como esto ..

/// CMP128(x, y) 
// 
// arguments 
// x - any pointer to an 128-bit int 
// y - any pointer to an 128-bit int 
// 
// returns -1, 0, or 1 if x is less than, equal to, or greater than y 
// 
#define CMP128(x, y) // magic goes here 

// example usages 

uint8_t A[16]; 
uint16_t B[8]; 
uint32_t C[4]; 
uint64_t D[2]; 
struct in6_addr E; 
uint8_t* F; 

// use CMP128 on any combination of pointers to 128-bit ints, i.e. 

CMP128(A, B); 
CMP128(&C[0], &D[0]); 
CMP128(&E, F); 

// and so on 

Digamos también acepto la restricción de que si se pasa en dos punteros que se solapan, se obtiene re indefinido sults.

He intentado algo como esto (imaginar estas macros tienen el formato correcto con saltos de línea escapados al final de cada línea)

#define CMP128(x, y) ({ 
    uint64_t* a = (void*)x; 
    uint64_t* b = (void*)y; 

    // compare a[0] with b[0], a[1] with b[1] 
}) 

pero cuando eliminar la referencia a en la macro (un [ 0] < b [0]) me sale "rompe eliminación de referencias a normas estrictas-aliasing" errores de gcc

había pensado que se suponía que utilizar uniones haga referencia correctamente a un solo lugar en la memoria de dos maneras diferentes, por lo A continuación probé algo como

#define CMP128(x, y) ({ 
    union { 
     typeof(x) a; 
     typeof(y) b; 
     uint64_t* c; 
    } d = { .a = (x) } 
     , e = { .b = (y) }; 

    // compare d.c[0] with e.c[0], etc 
}) 

Excepto que tengo exactamente los mismos errores del compilador acerca de las reglas estrictas-aliasing.

Entonces, ¿hay alguna forma de hacer esto sin romper el alias estricto, menos COPIA la memoria?

(may_alias recuento no funciona, sólo se le permite eludir las estrictas reglas-aliasing)

EDIT: memcmp uso para hacer esto. Me quedé atrapado en las reglas de aliasing y no pensé en eso.

Answer 1

El compilador es correcto ya que las reglas de aliasing están determinadas por el llamado 'tipo efectivo' del objeto (es decir, la ubicación de la memoria) a la que accede, independientemente de cualquier magia del puntero. En este caso, escribir punteo de punteros con una unión no es diferente de un reparto explícito; usar el reparto es preferible ya que el estándar no garantiza que los tipos de punteros arbitrarios tengan representaciones compatibles, es decir, depende innecesariamente de la definición de implementación. comportamiento.

Si desea cumplir con la norma, debe copiar los datos a nuevas variables o utilizar una unión durante la declaración de las variables originales.

Si sus enteros de 128 bits son big-endian o little-endian (es decir, no mixed-endian), también puede usar memcmp() (ya sea directamente o después de anular el valor de retorno) o hacer una comparación byte : el acceso a través de punteros de tipo de carácter es una excepción a la regla de aliasing.