From 5a990ad2e1410c78fd58ab31ed806b9026567273 Mon Sep 17 00:00:00 2001 From: David Malcolm Date: Wed, 15 Jul 2020 11:20:19 -0400 Subject: [PATCH 304/315] FIXME: add some comments --- gcc/analyzer/region-model2-impl-calls.cc | 15 +++++++++------ 1 file changed, 9 insertions(+), 6 deletions(-) diff --git a/gcc/analyzer/region-model2-impl-calls.cc b/gcc/analyzer/region-model2-impl-calls.cc index 274e44dbc3d..695ef3c1e76 100644 --- a/gcc/analyzer/region-model2-impl-calls.cc +++ b/gcc/analyzer/region-model2-impl-calls.cc @@ -75,7 +75,9 @@ call_details::call_details (const gcall *call, region_model2 *model, } } -/* FIXME. */ +/* If the callsite has a left-hand-side region, set it to RESULT + and return true. + Otherwise do nothing and return false. */ bool call_details::maybe_set_lhs (const svalue2 *result) const @@ -90,7 +92,7 @@ call_details::maybe_set_lhs (const svalue2 *result) const return false; } -/* FIXME. */ +/* Get argument IDX at the callsite as a tree. */ tree call_details::get_arg_tree (unsigned idx) const @@ -98,7 +100,7 @@ call_details::get_arg_tree (unsigned idx) const return gimple_call_arg (m_call, idx); } -/* FIXME. */ +/* Get argument IDX at the callsite as an svalue2. */ const svalue2 * call_details::get_arg_svalue2 (unsigned idx) const @@ -107,7 +109,7 @@ call_details::get_arg_svalue2 (unsigned idx) const return m_model->get_rvalue (arg, m_ctxt); } -/* FIXME. */ +/* Dump a multiline representation of this call to PP. */ void call_details::dump_to_pp (pretty_printer *pp, bool simple) const @@ -130,7 +132,7 @@ call_details::dump_to_pp (pretty_printer *pp, bool simple) const } } -/* FIXME. */ +/* Dump a multiline representation of this call to stderr. */ DEBUG_FUNCTION void call_details::dump (bool simple) const @@ -158,7 +160,8 @@ region_model2::impl_call_alloca (const call_details &cd) return true; } -/* FIXME. */ +/* Handle a call to "__analyzer_describe". + FIXME. */ void region_model2::impl_call_analyzer_describe (const gcall *call, -- 2.26.2