FOR_EACH_FUNCTION_WITH_GIMPLE_BODY (node)
node->get_untransformed_body ();
- engine eng;
+ engine eng (logger);
/* Create the supergraph. */
supergraph sg (logger);
/* region_model_manager's ctor. */
-region_model_manager::region_model_manager ()
-: m_next_region_id (0),
+region_model_manager::region_model_manager (logger *logger)
+: m_logger (logger),
+ m_next_region_id (0),
m_root_region (alloc_region_id ()),
m_stack_region (alloc_region_id (), &m_root_region),
m_heap_region (alloc_region_id (), &m_root_region),
/* class engine. */
+/* engine's ctor. */
+
+engine::engine (logger *logger)
+: m_mgr (logger)
+{
+}
+
/* Dump the managed objects by class to LOGGER, and the per-class totals. */
void
class region_model_manager
{
public:
- region_model_manager ();
+ region_model_manager (logger *logger = NULL);
~region_model_manager ();
/* svalue consolidation. */
void enable_complexity_check (void) { m_check_complexity = true; }
void disable_complexity_check (void) { m_check_complexity = false; }
+ logger *get_logger () const { return m_logger; }
+
private:
bool too_complex_p (const complexity &c) const;
bool reject_if_too_complex (svalue *sval);
const svalue *maybe_fold_asm_output_svalue (tree type,
const vec<const svalue *> &inputs);
+ logger *m_logger;
+
unsigned m_next_region_id;
root_region m_root_region;
stack_region m_stack_region;
class engine
{
public:
+ engine (logger *logger = NULL);
region_model_manager *get_model_manager () { return &m_mgr; }
void log_stats (logger *logger) const;
/* class store_manager. */
+logger *
+store_manager::get_logger () const
+{
+ return m_mgr->get_logger ();
+}
+
/* binding consolidation. */
const concrete_binding *
const svalue *rhs_sval,
uncertainty_t *uncertainty)
{
+ logger *logger = mgr->get_logger ();
+ LOG_SCOPE (logger);
+
remove_overlapping_bindings (mgr, lhs_reg);
rhs_sval = simplify_for_binding (rhs_sval);
gcc_unreachable ();
case tristate::TS_UNKNOWN:
+ if (logger)
+ {
+ pretty_printer *pp = logger->get_printer ();
+ logger->start_log_line ();
+ logger->log_partial ("possible aliasing of ");
+ iter_base_reg->dump_to_pp (pp, true);
+ logger->log_partial (" when writing SVAL: ");
+ rhs_sval->dump_to_pp (pp, true);
+ logger->log_partial (" to LHS_REG: ");
+ lhs_reg->dump_to_pp (pp, true);
+ logger->end_log_line ();
+ }
iter_cluster->mark_region_as_unknown (mgr, iter_base_reg,
uncertainty);
break;
public:
store_manager (region_model_manager *mgr) : m_mgr (mgr) {}
+ logger *get_logger () const;
+
/* binding consolidation. */
const concrete_binding *
get_concrete_binding (bit_offset_t start_bit_offset,