ID0000261: **This issue was created automatically from Mantis Issue 261. Further discussion may take place here.** --- | **Id** | **Project** | **Category** | **View** | **Due Date** | **Updated** | | --- | --- | --- | --- | --- | --- | | ID0000261 | Frama-C | Kernel | public | 2009-10-01 | 2009-10-01 | | | | | | | | | --- | --- | --- | --- | --- | --- | | **Reporter** | Jonathan-Christofer Demay | **Assigned To** | virgile | **Resolution** | open | | **Priority** | normal | **Severity** | minor | **Reproducibility** | always | | **Platform** | - | **OS** | - | **OS Version** | - | | **Product Version** | Frama-C Beryllium-20090901 | **Target Version** | - | **Fixed in Version** | - | ### Description : It compiles fine with "gcc -I. -I./libtomcrypt/src/headers/ -DDROPBEAR_SERVER -DDROPBEAR_CLIENT dbutil.c -c -o dbutil.o" But when given to Frama-C (CPP is set accordinly), I get the following error: libtommath/tommath.h:77:[kernel] user error: GCC width mode TI applied to unexpected type, or unexpected mode In tommath.h line 77 we have a mysterious GCC incantation (>_<): typedef unsigned long mp_word __attribute__ ((mode(TI))); ### Additional Information : Uploaded a preprocessed file: "gcc -I. -I./libtomcrypt/src/headers/ -DDROPBEAR_SERVER -DDROPBEAR_CLIENT dbutil.c -C -E -o dbutil.i" ## Attachments - [dbutil.i](/uploads/ca1ba34059bd1dd4efa823437f09a2c6/dbutil.i)