| /src/external/gpl3/gcc/dist/gcc/analyzer/ |
| sm-sensitive.cc | 181 tree diag_arg = sm_ctxt->get_diagnostic_tree (arg); local
184 diag_arg));
|
| sm-file.cc | 401 tree diag_arg = sm_ctxt->get_diagnostic_tree (arg); local
403 make_unique<double_fclose> (*this, diag_arg));
|
| bounds-checking.cc | 77 tree diag_arg,
79 : m_model (model), m_reg (reg), m_diag_arg (diag_arg), m_sval_hint (sval_hint)
123 props.set (PROPERTY_PREFIX "diag_arg", tree_to_json (m_diag_arg));
226 const region *reg, tree diag_arg,
229 : out_of_bounds (model, reg, diag_arg, sval_hint),
272 const region *reg, tree diag_arg, bit_range range,
275 : concrete_out_of_bounds (model, reg, diag_arg, range, sval_hint),
331 const region *reg, tree diag_arg,
334 : concrete_past_the_end (model, reg, diag_arg, range, bit_bound, sval_hint)
500 const region *reg, tree diag_arg,
1323 tree diag_arg = get_representative_tree (base_reg); local
1440 tree diag_arg = get_representative_tree (base_reg); local
1475 tree diag_arg = get_representative_tree (base_reg); local
[all...] |
| sm-fd.cc | 1313 tree diag_arg = sm_ctxt->get_diagnostic_tree (arg); local
1329 (*this, diag_arg,
1341 (*this, diag_arg,
1358 make_unique<fd_access_mode_mismatch> (*this, diag_arg,
1372 make_unique<fd_access_mode_mismatch> (*this, diag_arg,
1503 tree diag_arg = sm_ctxt->get_diagnostic_tree (arg); local
1525 make_unique<fd_double_close> (*this, diag_arg));
1551 tree diag_arg = sm_ctxt->get_diagnostic_tree (arg); local
1557 make_unique<fd_use_after_close> (*this, diag_arg,
1569 make_unique<fd_phase_mismatch> (*this, diag_arg,
1593 tree diag_arg = sm_ctxt->get_diagnostic_tree (arg); local
1604 tree diag_arg = sm_ctxt->get_diagnostic_tree (arg); local
1716 tree diag_arg = sm_ctxt->get_diagnostic_tree (fd_sval); local
1729 tree diag_arg = sm_ctxt->get_diagnostic_tree (fd_sval); local
1743 tree diag_arg = sm_ctxt->get_diagnostic_tree (fd_sval); local
1806 tree diag_arg = sm_ctxt->get_diagnostic_tree (fd_sval); local
1915 tree diag_arg = sm_ctxt->get_diagnostic_tree (fd_sval); local
2036 tree diag_arg = sm_ctxt->get_diagnostic_tree (fd_sval); local
[all...] |
| sm-malloc.cc | 2047 tree diag_arg = sm_ctxt->get_diagnostic_tree (arg); local
2050 (*this, diag_arg, fndecl, i));
2058 tree diag_arg = sm_ctxt->get_diagnostic_tree (arg); local
2061 (*this, diag_arg, fndecl, i));
2136 tree diag_arg = sm_ctxt->get_diagnostic_tree (arg); local
2139 diag_arg));
2145 tree diag_arg = sm_ctxt->get_diagnostic_tree (arg); local
2147 make_unique<null_deref> (*this, diag_arg));
2152 tree diag_arg = sm_ctxt->get_diagnostic_tree (arg); local
2156 (*this, diag_arg, astate->m_deallocator))
2256 tree diag_arg = sm_ctxt->get_diagnostic_tree (arg); local
2293 tree diag_arg = sm_ctxt->get_diagnostic_tree (arg); local
2308 tree diag_arg = sm_ctxt->get_diagnostic_tree (arg); local
2347 tree diag_arg = sm_ctxt->get_diagnostic_tree (arg); local
2360 tree diag_arg = sm_ctxt->get_diagnostic_tree (arg); local
[all...] |
| region-model.cc | 1171 tree diag_arg = fixup_tree_for_diagnostic (expr); local
1186 if (ctxt->warn (make_unique<poisoned_value_diagnostic> (diag_arg,
6408 tree diag_arg = get_representative_tree (float_sval); local
6409 ctxt->warn (make_unique<float_as_size_arg> (diag_arg));
|
| /src/external/gpl3/gcc.old/dist/gcc/analyzer/ |
| sm-sensitive.cc | 176 tree diag_arg = sm_ctxt->get_diagnostic_tree (arg); local
178 new exposure_through_output_file (*this, diag_arg));
|
| sm-file.cc | 392 tree diag_arg = sm_ctxt->get_diagnostic_tree (arg); local
394 new double_fclose (*this, diag_arg));
|
| sm-malloc.cc | 1717 tree diag_arg = sm_ctxt->get_diagnostic_tree (arg); local
1719 new possible_null_arg (*this, diag_arg,
1729 tree diag_arg = sm_ctxt->get_diagnostic_tree (arg); local
1731 new null_arg (*this, diag_arg,
1772 tree diag_arg = sm_ctxt->get_diagnostic_tree (arg); local
1774 new possible_null_deref (*this, diag_arg));
1780 tree diag_arg = sm_ctxt->get_diagnostic_tree (arg); local
1782 new null_deref (*this, diag_arg));
1787 tree diag_arg = sm_ctxt->get_diagnostic_tree (arg); local
1790 new use_after_free (*this, diag_arg,
1834 tree diag_arg = sm_ctxt->get_diagnostic_tree (arg); local
1871 tree diag_arg = sm_ctxt->get_diagnostic_tree (arg); local
1886 tree diag_arg = sm_ctxt->get_diagnostic_tree (arg); local
1925 tree diag_arg = sm_ctxt->get_diagnostic_tree (arg); local
1939 tree diag_arg = sm_ctxt->get_diagnostic_tree (arg); local
[all...] |
| region-model.cc | 1037 tree diag_arg = fixup_tree_for_diagnostic (expr); local
1041 if (ctxt->warn (new poisoned_value_diagnostic (diag_arg, pkind,
|
