0f7de0c2e0
Call to noreturn functions are not killer
...
We used to mark call to noreturn functions as killers, but this is not
correct.
Note that this is a temporary solution, we need to explicitly handle
such situations.
2021-02-19 09:39:49 +01:00
93b7420c8a
Implement model::Function::dumpCFG
2021-02-19 09:39:49 +01:00
82605514c4
model: prepare for ABI information
...
This commit also drops some dead code and fixes Model tests accordingly.
2021-02-19 09:39:49 +01:00
8ba9930638
Invert inheritance of GenericGraph nodes
...
GenericGraphs no longer require CRTP.
2021-01-27 19:46:53 +01:00
38031f2f8a
Import preliminary model
...
This commit imports:
* support for (de-)serializing tuple-like objects in YAML
* the Model data structure
* the {Load,Serialize}ModelPass
2021-01-27 19:46:53 +01:00
Alessandro Di Federico