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. ## Attachments - [problem304.cpp](/uploads/8f2aeb621f6626492d052b2f8000cb3e/problem304.cpp)