warning from kernel about exceptions
ID0002349: This issue was created automatically from Mantis Issue 2349. Further discussion may take place here.
|ID0002349||Frama-C||Plug-in > clang||public||2018-01-31||2018-01-31|
|Product Version||-||Target Version||-||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?