"long long long" est trop long pour gcc?

Question

Lorsque j'essaie de vérifier un modèle avec ispin, j'obtiens une erreur de "long long long is too long for gcc". Y a-t-il un problème avec mon gcc?

Answer 1

Apparemment, quelque part dans votre code Promela vous avez spécifié un type 'long long long'. Voici comment un programme simple C avec une telle inconduite notoire déclaration:

ebg@ebg$ cat ~/foo.c 
#include <stdio.h> 

extern int 
main (void) 
{ 
    long long long x; 

    printf ("%lld", x>>32); 
} 
ebg@ebg$ gcc -o foo ~/foo.c 
/Users/ebg/foo.c: In function 'main': 
/Users/ebg/foo.c:6: error: 'long long long' is too long for GCC 

Votre utilisation incorrecte de « long long long » devrait être évident dans votre fichier * .pml; mais, si vous ne pouvez pas le trouver, regardez dans les fichiers pan.c (ou pan. *).

Answer 2

J'ai rencontré ce problème quand j'essaie d'utiliser spin et le gcc est mingw64, qui est comme vous. J'ai trouvé ce résultat du fait que le spin fonctionne en 32 bits alors que le mingw64 fonctionne en 64 bits. Lorsque j'ai migré vers un ordinateur 32 bits, le problème a disparu. J'espère que mon expérience vous aidera.