function names are restricted due to exclusion of ACSL keywords
ID0001149: This issue was created automatically from Mantis Issue 1149. Further discussion may take place here.
|ID0001149||Frama-C||Plug-in > jessie||public||2012-04-16||2013-03-27|
|Product Version||Frama-C Carbon-20110201||Target Version||-||Fixed in Version||Frama-C Oxygen-20120901|
There are names that the functions are not allowed to have as far as those are also ACLS keywords.
In the example joined, one function was called "loop" and this clashed with the corresponding ACSL keyword apparently.
As soon as we called this function with another name, there was no problem anymore.
Additional Information :
Remark : sometimes, the root cause of a rejection in parsing is quiet obscure and not explicit.