Andrea Gussoni b1510fbc8e Add ifCheckNode AST type ...

Add the `IfCheckNode` AST node type, which represents the `Check` nodes
in the RegionCFG. We need an explicit type in the AST since, with the
enforce pass drop before decompilation, we need to handle the code
emission for these type of nodes.

The type has been implemented as a derived type from the `IfNode`, since
they share a lot of similarities, in order to avoid modifications to the
AST simplification functions.

The methods that should not be invoked have been (as the ones that
modify the conditions of the nodes) override and implemented with an
`revng_abort` function

2019-03-13 12:27:00 +01:00

..

revng-c

Add ifCheckNode AST type

2019-03-13 12:27:00 +01:00

CMakeLists.txt

Reorganize the build system

2019-02-10 16:20:24 +01:00