3.7  Quelques révisions 3/3

• Notion de limites de séquence en C :
  • limites créées par les opérateurs &&, || et , ;
  • limite créée par l’opérateur ? des expressions conditionnelles ;
  • une limite, bien sur, en fin d’instruction ;
  • une limite entre l’évaluation des arguments et l’appel d’une fonction ;
  • une limite après chaque initialisation de variable.
• Une seule affectation à V entre deux limites de séquence.
• Si affectation à V pas de lecture de V hormis pour cette affectation.
• Exemple de programme avec des expressions non définies :

   
  #include <stdio.h>
  int v1;
  int f(int v2){ return v1+v2; }
  int main(void){
  int v3=v1++,v4=v1;
  printf("v3=%d v3=%d\n",v3++,v3);
  printf("v4=%d\n",v4);
  printf("f=%d\n",f(v1++));
  v1=v1++;
  printf("v1=%d\n",v1);
  return 0;
  }
  

   
  $ gcc -Wall effets.c -o effets
  effets.c: In function ‘main’:
  effets.c:6:26: warning: operation on ‘v3’ may be undefined [-Wsequence-point]
  effets.c:9:3: warning: operation on ‘v1’ may be undefined [-Wsequence-point]
  $ ./effets
  v3=0 v3=1
  v4=1
  f=3
  v1=3
  

• Exercice : trouvez d’autres exemples d’expressions illégales.
• Taille des types et alignements :

   
  #include <stdio.h>
  typedef struct truc_s { char c1; char c2 ; int e1; long int e2; } truc_t;
  int main(void){
  truc_t t;
  printf("taille=%d(%d)\n",(int)sizeof t,(int)sizeof(struct truc_s));
  return 0;
  }
  

   
  tutur01$ arch ; ./tailles
  i686
  taille=12(12)
  zabeth14$ arch ; ./tailles
  x86_64
  taille=16(16)
  

• Exercice : testez si le système est petit ou gros boutiste.