O seguinte uso do qualificador restrito em C é válido ou comportamento indefinido?
#include <stdio.h>
int foo(float * restrict a) {
float a1 = *a;
float a2 = *(a+1);
float * restrict c = a;
*c = 1;
*(c+1) = 2;
// are compilers obliged to load a[0] and a[1] again?
printf("%f %f\n",*a,*(a+1));
printf("%f %f\n",a1, a2);
}
Obrigado
Suponha que eu tenha o seguinte código
#include <complex.h>
#include <stdio.h>
int main()
{
double _Complex a = 1.0;
void * b = &a;
double * c = b;
c[0] = 3;
c[1] = 2;
printf("%f %f\n",creal(a), cimag(a));
return 0;
}
O padrão C exige que isso aseja alterado neste caso (os compiladores podem assumir aque não foi alterado neste caso)? Vejo que a maioria dos compiladores está bem, mas não tenho certeza se isso é permitido pelo padrão.
Eu sempre presumi que o &operador fornece o endereço da memória para a qual uma variável está apontando. Atualmente, estou olhando a documentação padrão do MPI e encontrei o seguinte, que me confundiu.
no entanto, essa expressão de cast & é um ponteiro, não um endereço. O ISO C não exige que o valor de um ponteiro (ou o ponteiro convertido para int) seja o endereço absoluto do objeto apontado --- embora esse seja comumente o caso