type of 0 reported as "\342\204\244"
ID0000826: This issue was created automatically from Mantis Issue 826. Further discussion may take place here.
|Reporter||Jochen||Assigned To||monate||Resolution||no change required|
|Product Version||Frama-C Carbon-20110201||Target Version||-||Fixed in Version||-|
The attached file ftest.c causes a kernel error message "invalid implicit conversion from â~D¤ to int in annotation". The original message, copied from a typescript file, is included in a comment in ftest.c for convenience, as the "~D" denotes the unprintable char "\204".
It seems to me that the name of the type assigned to the int constant 0 is uninitialized.