|View Issue Details [ Jump to Notes ] ||[ Issue History ] [ Print ] |
|ID||Project||Category||View Status||Date Submitted||Last Update|
|0001577||Frama-C||Kernel||public||2013-11-28 13:54||2013-12-17 17:15|
|Assigned To||virgile|| |
|Product Version||Frama-C Fluorine-20130601|| |
|Target Version||Fixed in Version|| |
|Summary||0001577: suggest to insert implicit cast of logic function's expression to return type|
|Description||The body expression "(i + 1)" of the Acsl logic function "mySuccA" could by tacitly casted to "mySuccA"'s return type, viz. "char". This would be similar to the treatment in C code (function "mySuccC").|
Currently, Frama-C reports a user typing error for the former, but not for the latter.
Probably, this is not proper bug but compatible with the Acsl description. I just wanted to suggest to think about adapting the Ascl semantics here to the C semantics, which is more convenient for the user.
|Tags||No tags attached.|
|Attached Files|| char.c [^] (114 bytes) 2013-11-28 13:54 [Show Content]