mirror of
https://github.com/revng/revng
synced 2026-06-21 14:07:57 +00:00
Alessandro Di Federico
076aeac7f3
This commit moves around most files. The new directory structure is as follows: * `lib/$LIBRARY/`: contains a library, i.e., a set of `.cpp` files used by multiple libraries/tools. * `include/revng/$LIBRARY/`: contains the public headers associated to the library in `lib/$LIBRARY/`. * `tools/$TOOL/`: directory where all the `.cpp` files (and private headers) for a tool reside. Currently we have two tools: `revamb` and `revamb-dump`. On top of this, all file names are now in camel case.
20 lines
400 B
Plaintext
20 lines
400 B
Plaintext
#
|
|
# This file is distributed under the MIT License. See LICENSE.md for details.
|
|
#
|
|
|
|
digraph DeadReturnValuesOfFunctionCall {
|
|
NoOrDead;
|
|
Maybe [peripheries=2];
|
|
Unknown;
|
|
|
|
# Lattice
|
|
NoOrDead->Maybe;
|
|
Maybe->Unknown;
|
|
|
|
# Transfer functions
|
|
Maybe->NoOrDead [label="Write"];
|
|
Maybe->Unknown [label="Read"];
|
|
Maybe->Unknown [label="UnknownFunctionCall"];
|
|
Maybe->Unknown [label="TheCall"];
|
|
}
|