bogus syntax error with doxygen
ID0001853: This issue was created automatically from Mantis Issue 1853. Further discussion may take place here.
|Platform||linux||OS||ubuntu 12.04 LTS||OS Version||12.04 LTS|
|Product Version||Frama-C Neon-20140301||Target Version||-||Fixed in Version||Frama-C Sodium|
I have several header files that contain: /@} strings beginning comments. This will cause frama-c to stop due to a syntax error. It can be fixed by inserting a space between the '' and the '@'. I don't know if that will result in ill-formed doxygen (I didn't create the file and am not a doxygen user), but the parser does choke on it.
Steps To Reproduce :
create a header file and put in a comment, starting in column 1 /*@} End of pub_func */
and it will fail.
replace with: /* @} End of pub_func */ and all is well.