MCPcopy Create free account
hub / github.com/csmith-project/csmith / is_bottom

Method is_bottom

src/FactPointTo.h:81–81  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

79 // lattice functions
80 virtual bool is_top(void) const { return point_to_vars.empty();}
81 virtual bool is_bottom(void) const { return false;} // there is no bottom, we just grow the points-to set
82 virtual void set_top(void) { point_to_vars.clear();}
83 virtual void set_bottom(void) {};
84

Callers

nothing calls this directly

Calls

no outgoing calls

Tested by

no test coverage detected