00001 #include <stdlib.h> 00002 00003 int main() 00004 { 00005 int *p = NULL; // déclaration d'un pointeur sur un int 00006 p = (int *) malloc( sizeof(int) ); // allocation dynamique /*@\label{code:types:malloc}@*/ 00007 if (p == NULL) return EXIT_FAILURE; 00008 *p = 14; // cette affectation est maintenant possible 00009 return 0; 00010 } 00011