non_null_ref ();
~non_null_ref ();
bool non_null_deref_p (tree name, basic_block bb, bool search_dom = true);
+ bool adjust_range (irange &r, tree name, basic_block bb,
+ bool search_dom = true);
private:
vec <bitmap> m_nn;
void process_name (tree name);
block_range_cache ();
~block_range_cache ();
- void set_bb_range (tree name, const basic_block bb, const irange &r);
+ bool set_bb_range (tree name, const basic_block bb, const irange &r);
bool get_bb_range (irange &r, tree name, const basic_block bb);
bool bb_range_p (tree name, const basic_block bb);
void propagate_updated_value (tree name, basic_block bb);
+ bitmap m_propfail;
vec<basic_block> m_workback;
vec<basic_block> m_update_list;
};