Lines Matching defs:program_state
727 /* class program_state. */
729 /* program_state's ctor. */
731 program_state::program_state (const extrinsic_state &ext_state)
747 /* program_state's copy ctor. */
749 program_state::program_state (const program_state &other)
760 /* program_state's assignment operator. */
762 program_state&
763 program_state::operator= (const program_state &other)
783 /* Move constructor for program_state (when building with C++11). */
784 program_state::program_state (program_state &&other)
799 /* program_state's dtor. */
801 program_state::~program_state ()
806 /* Generate a hash value for this program_state. */
809 program_state::hash () const
820 /* Equality operator for program_state.
821 All parts of the program_state (region model, checker states) must
826 program_state::operator== (const program_state &other) const
845 program_state::print (const extrinsic_state &ext_state,
873 program_state::dump_to_pp (const extrinsic_state &ext_state,
922 program_state::dump_to_file (const extrinsic_state &ext_state,
938 program_state::dump (const extrinsic_state &ext_state,
952 program_state::to_json (const extrinsic_state &ext_state) const
981 /* Update this program_state to reflect a top-level call to FUN.
985 program_state::push_frame (const extrinsic_state &ext_state ATTRIBUTE_UNUSED,
994 program_state::get_current_function () const
1012 program_state::on_edge (exploded_graph &eg,
1047 program_state::detect_leaks (enode->get_state (), *this,
1054 /* Update this program_state to reflect a call to function
1059 program_state::push_call (exploded_graph &eg,
1077 /* Update this program_state to reflect a return from function
1082 program_state::returning_call (exploded_graph &eg,
1106 program_state
1107 program_state::prune_for_point (exploded_graph &eg,
1119 program_state new_state (*this);
1226 program_state::can_purge_base_region_p (const extrinsic_state &ext_state,
1247 program_state::get_representative_tree (const svalue *sval) const
1258 program_state::can_merge_with_p (const program_state &other,
1261 program_state *out) const
1296 program_state::validate (const extrinsic_state &ext_state) const
1348 program_state::detect_leaks (const program_state &src_state,
1349 const program_state &dest_state,
1444 program_state::impl_call_analyzer_dump_state (const gcall *call,
1606 /* Check program_state works as expected. */
1611 /* Create a program_state for a global ptr "p" that has
1624 program_state s (ext_state);
1639 /* Check that program_state works for string literals. */
1644 /* Create a program_state for a global ptr "p" that points to
1654 program_state s (ext_state);
1662 and that the merged program_state preserves the sm-state. */
1667 /* Create a program_state for a global ptr "p" that has
1678 program_state s0 (ext_state);
1702 /* Make a copy of the program_state. */
1703 program_state s1 (s0);
1709 program_state merged (ext_state);
1750 program_state s0 (ext_state);
1757 program_state s1 (ext_state);
1767 program_state merged (ext_state);
Indexes created Wed Mar 04 05:31:52 UTC 2026