warning from kernel about exceptions
ID0002349: This issue was created automatically from Mantis Issue 2349. Further discussion may take place here.
|Plug-in > clang
|Fixed in Version
This is more a question than a bug report...
In the attached example Frama-Clang issue the warning
frama-c -wp -wp-rte exception_warning.cpp [kernel] Parsing exception_warning.cpp (external front-end) Now output intermediate result [kernel] warning: Assuming declared function bar can't throw any exception
This also occurs when I add "noexcept" to the declaration of "bar". (see second file: exception_warning_noexcept.cpp)
Is there a way to declare in the contract that a function cannot throw? Or what do I have to do to get rid of this warning?