Simple exceptions are not supported
ID0001845: This issue was created automatically from Mantis Issue 1845. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0001845 | Frama-Clang | Plug-in > clang | public | 2014-07-18 | 2015-02-17 |
| Reporter | lapawczykt | Assigned To | virgile | Resolution | fixed |
| Priority | normal | Severity | feature | Reproducibility | always |
| Platform | - | OS | - | OS Version | - |
| Product Version | Frama-C Neon-20140301 | Target Version | - | Fixed in Version | - |
Description :
It looks like the Try-Catch-block is recognized but not supported. (See the Output in the Additional Information)
Additional Information :
Output: Unsupported Statement:
CXXTryStmt 0x20ac1d0 <foo013.cpp:2:2, line:4:20>
|-CompoundStmt 0x20ac108 <line:2:6, line:4:2>
| -CXXThrowExpr 0x20ac0e8 <line:3:3, col:9> 'void' | -IntegerLiteral 0x20ac0c8 col:9 'int' 42
-CXXCatchStmt 0x20ac1b0 <line:4:4, col:20> |-VarDecl 0x20ac140 <col:11, col:15> i 'int' -CompoundStmt 0x20ac198 <col:18, col:20>
Aborting
[kernel] user error: Failed to parse C++ file. See Clang messages for more information
[kernel] user error: skipping file "foo013.cpp" that has errors.
[kernel] Frama-C aborted: invalid user input.