Another graph design issue: minimum number of nodes and edges

Does a graph have to have any nodes, or any edges? Is it sensible for an empty graph to describe a portion of the program that turns out to be empty? Like, “There aren’t any functions that call function foo” (it’s dead code).

 

Larry