#
# 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"];
}