Skip to content

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.


Id Project Category View Due Date Updated
ID0001149 Frama-C Plug-in > jessie public 2012-04-16 2013-03-27
Reporter nmuller Assigned To virgile Resolution fixed
Priority normal Severity minor Reproducibility always
Platform - OS - OS Version -
Product Version Frama-C Carbon-20110201 Target Version - Fixed in Version Frama-C Oxygen-20120901

Description :

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.

Attachments

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information