mirror of
https://github.com/revng/revng
synced 2026-06-21 14:07:57 +00:00
Alessandro Di Federico
5dc8056b8c
This commit introduces the `enforce-abi` pass, which consumes the information provided by the ABI analysis and enforces them in the isolated functions adding actual arguments. This commit also rewrites the logic of `ResultsPool::finalize` and changes the semantic of `Yes` statements on arguments to `YesOrDead`.
22 lines
413 B
Plaintext
22 lines
413 B
Plaintext
#
|
|
# This file is distributed under the MIT License. See LICENSE.md for details.
|
|
#
|
|
|
|
digraph UsedReturnValuesOfFunction {
|
|
Bottom;
|
|
Maybe [peripheries=2];
|
|
YesOrDead;
|
|
Unknown;
|
|
|
|
# Lattice
|
|
Bottom->YesOrDead;
|
|
Bottom->Maybe;
|
|
YesOrDead->Unknown;
|
|
Maybe->Unknown;
|
|
|
|
# Transfer functions
|
|
Maybe->YesOrDead [label="Write"];
|
|
Maybe->Unknown [label="Read"];
|
|
Maybe->Unknown [label="UnknownFunctionCall"];
|
|
}
|