| bounds-checking.cc | 79 : m_model (model), m_reg (reg), m_diag_arg (diag_arg), m_sval_hint (sval_hint) 87 && pending_diagnostic::same_tree_p (m_diag_arg, other.m_diag_arg)); 123 props.set (PROPERTY_PREFIX "diag_arg", tree_to_json (m_diag_arg)); 155 if (!m_diag_arg) 157 tree t = TREE_TYPE (m_diag_arg); 171 m_diag_arg, min_idx, max_idx); 214 tree m_diag_arg; member in class:ana::out_of_bounds 371 if (m_diag_arg) 377 m_diag_arg); [all...] |