On Wed, Nov 29, 2006 at 11:26:00PM +0100, Sylvain Sauvage wrote:
> fred, mercredi 29 novembre 2006, 22:14:39 CET
[.... pleins de trucs intéressants]
On ne pourrait pas simplement demander à gcc, par ex.:
void main(void) {
printf("%d\n", sizeof(int) * 8);
}
A priori, int devrait faire 64 bits sur les architectures en
questions...
Y.