474 class svalue
477   virtual ~svalue () {}  in ~svalue()
479   bool operator== (const svalue &other) const;
480   bool operator!= (const svalue &other) const { return !(*this == other); }
482   virtual svalue *clone () const = 0;
517   svalue (tree type) : m_type (type) {}  in svalue()  function
531 class region_svalue : public svalue
534   region_svalue (tree type, region_id rid) : svalue (type), m_rid (rid)  in region_svalue()
542   svalue *clone () const FINAL OVERRIDE  in clone()
586 is_a_helper <region_svalue *>::test (svalue *sval)  in test()
595 class constant_svalue : public svalue
599   : svalue (TREE_TYPE (cst_expr)), m_cst_expr (cst_expr)  in constant_svalue()
607   svalue *clone () const FINAL OVERRIDE  in clone()
647 is_a_helper <constant_svalue *>::test (svalue *sval)  in test()
658 class unknown_svalue : public svalue
662   : svalue (type)  in unknown_svalue()
667   svalue *clone () const FINAL OVERRIDE  in clone()
699 class poisoned_svalue : public svalue
703   : svalue (type), m_kind (kind) {}  in poisoned_svalue()
707   svalue *clone () const FINAL OVERRIDE  in clone()
732 is_a_helper <poisoned_svalue *>::test (svalue *sval)  in test()
764 class setjmp_svalue : public svalue
769   : svalue (type), m_setjmp_record (setjmp_record)  in setjmp_svalue()
774   svalue *clone () const FINAL OVERRIDE  in clone()
1756   svalue_id add_svalue (svalue *sval);
1757   void replace_svalue (svalue_id sid, svalue *new_sval);
1764   svalue *get_svalue (svalue_id sval_id) const;
1930   auto_delete_vec<svalue> m_svalues;