| region-model.cc | 1132 region_model::check_for_poison (const svalue *sval, function in class:ana::region_model 1247 check_for_poison (sval, expr, NULL, ctxt); 2614 result_sval = check_for_poison (result_sval, pv.m_tree, NULL, ctxt); 4118 check_for_poison (sval, expr, nullptr, ctxt); 4169 check_for_poison (sval, byte_expr, nullptr, ctxt); 4467 check_for_poison (src_contents_sval, src_ptr_expr,
|