/* region vfuncs. */
void dump_to_pp (pretty_printer *pp, bool simple) const FINAL OVERRIDE;
enum region_kind get_kind () const FINAL OVERRIDE { return RK_CODE; }
-
- const region *get_element (region_model *model,
- const svalue *index,
- region_model_context *ctxt);
};
} // namespace ana
tree get_fndecl () const { return m_fndecl; }
- region *get_element (region_model *model,
- const svalue *index_sid,
- region_model_context *ctxt);
-
private:
tree m_fndecl;
};