Alessandro Di Federico 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

..

Binary.cpp

Call to noreturn functions are not killer

2021-02-19 09:39:49 +01:00

CMakeLists.txt

Import preliminary model

2021-01-27 19:46:53 +01:00

LoadModelPass.cpp

LoadModelPass: add static function to read Model

2021-02-17 11:37:00 +01:00

SerializeModelPass.cpp

SerializeModelPass: static method to write Model

2021-02-17 11:37:00 +01:00

TupleTreeDiff.cpp

Import preliminary model

2021-01-27 19:46:53 +01:00