warning from kernel about exceptions
ID0002349: This issue was created automatically from Mantis Issue 2349. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0002349 | Frama-C | Plug-in > clang | public | 2018-01-31 | 2018-01-31 |
| Reporter | jens | Assigned To | virgile | Resolution | open |
| Priority | normal | Severity | feature | Reproducibility | always |
| Platform | - | OS | - | OS Version | - |
| Product Version | - | Target Version | - | Fixed in Version | - |
Description :
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?