Mathias Vorreiter Pedersen fc7d9c2c09 C++: Fix missing result by properly specifying that the function with unknown code actually didn't throw an exception.

2021-05-07 12:34:38 +02:00

..

examples

C++: Rename Block -> BlockStmt

2020-09-08 08:40:20 +02:00

src

C++: Properly handle conversions in convertedExprMayThrow. This recursive implementation idea is stolen from convertedExprMightOverflow in SimpleRangeAnalysis.

2021-05-07 12:31:43 +02:00

test

C++: Fix missing result by properly specifying that the function with unknown code actually didn't throw an exception.

2021-05-07 12:34:38 +02:00