* [PATCH] ctf-reader: shows incomplete summary changes
@ 2022-04-27 16:38 Guillermo E. Martinez
2022-05-02 15:38 ` Dodji Seketeli
2022-05-02 22:46 ` [PATCH v2] " Guillermo E. Martinez
0 siblings, 2 replies; 6+ messages in thread
From: Guillermo E. Martinez @ 2022-04-27 16:38 UTC (permalink / raw)
To: libabigail
Hello libabigail team,
This patch improves the output summary changes using CTF reader,
Comments are highly appreciated,
Kind Regards,
Guillermo
During corpus comparison with ctf support, summary changes for functions
and variables are shown like to the binaries doesn't have ctf debug
information, even though they were compiled with '-gctf' compiler
modifier, e.g:
2 Removed function symbols not referenced by debug info:
[D] elf32_test_main@@ELFUTILS_1.7
[D] elf64_test_main@@ELFUTILS_1.7
So, expected changes summary should be:
2 Removed functions:
[D] 'function long int elf32_test_main()' {elf32_test_main@@ELFUTILS_1.7}
[D] 'function long int elf64_test_main()' {elf64_test_main@@ELFUTILS_1.7}
* src/abg-ctf-reader.cc (read_context::exported_decls_builder_):
Add new data member.
(read_context::exported_decls_builder): Add new get/set member functions.
(read_context::maybe_add_{fn,var}_to_exported_decls): Likewise.
(read_context::initialize): Initialize exported_decls_builder_ member.
(read_context::build_ir_node_for_variadic_parameter_type): Add new function.
(read_context::process_ctf_function_type): Add additional code to handle
function's variadic parameter.
(read_context::process_ctf_archive): Rename variable for clarity
from `ctf_var_type' to `ctf_sym_type', using new member functions
`maybe_add_{fn,var}_to_exported_decls'.
(read_context::read_corpus): Set `exported_decls_builder'.
* tests/test-read-common.cc (test_task::run_abidw): Fix error message.
* tests/data/test-read-ctf/test-PR26568-1.o.abi: Adjust test case.
* tests/data/test-read-ctf/test-PR26568-2.o.abi: Likewise.
* tests/data/test-read-ctf/test-anonymous-fields.o.abi Likewise.
* tests/data/test-read-ctf/test5.o.abi: Likewise.
* tests/data/test-read-ctf/test7.o.abi: Likewise.
---
src/abg-ctf-reader.cc | 104 ++++++++++++++++--
tests/data/test-read-ctf/test-PR26568-1.o.abi | 32 ++----
tests/data/test-read-ctf/test-PR26568-2.o.abi | 6 -
.../test-read-ctf/test-anonymous-fields.o.abi | 18 +--
tests/data/test-read-ctf/test5.o.abi | 1 +
tests/data/test-read-ctf/test7.o.abi | 1 +
tests/test-read-common.cc | 4 +-
7 files changed, 117 insertions(+), 49 deletions(-)
diff --git a/src/abg-ctf-reader.cc b/src/abg-ctf-reader.cc
index 8feaf5b2..0337898b 100644
--- a/src/abg-ctf-reader.cc
+++ b/src/abg-ctf-reader.cc
@@ -84,6 +84,52 @@ public:
corpus_sptr cur_corpus_;
corpus_group_sptr cur_corpus_group_;
+ corpus::exported_decls_builder* exported_decls_builder_;
+
+ /// Setter of the exported decls builder object.
+ ///
+ /// Note that this @ref read_context is not responsible for the live
+ /// time of the exported_decls_builder object. The corpus is.
+ ///
+ /// @param b the new builder.
+ void
+ exported_decls_builder(corpus::exported_decls_builder* b)
+ {exported_decls_builder_ = b;}
+
+ /// Getter of the exported decls builder object.
+ ///
+ /// @return the exported decls builder.
+ corpus::exported_decls_builder*
+ exported_decls_builder()
+ {return exported_decls_builder_;}
+
+ /// If a given function decl is suitable for the set of exported
+ /// functions of the current corpus, this function adds it to that
+ /// set.
+ ///
+ /// @param fn the function to consider for inclusion into the set of
+ /// exported functions of the current corpus.
+ void
+ maybe_add_fn_to_exported_decls(function_decl* fn)
+ {
+ if (fn)
+ if (corpus::exported_decls_builder* b = exported_decls_builder())
+ b->maybe_add_fn_to_exported_fns(fn);
+ }
+
+ /// If a given variable decl is suitable for the set of exported
+ /// variables of the current corpus, this variable adds it to that
+ /// set.
+ ///
+ /// @param fn the variable to consider for inclusion into the set of
+ /// exported variables of the current corpus.
+ void
+ maybe_add_var_to_exported_decls(var_decl* var)
+ {
+ if (var)
+ if (corpus::exported_decls_builder* b = exported_decls_builder())
+ b->maybe_add_var_to_exported_vars(var);
+ }
/// Getter of the current corpus group being constructed.
///
@@ -211,6 +257,7 @@ public:
ctfa = NULL;
symtab.reset();
cur_corpus_group_.reset();
+ exported_decls_builder_ = 0;
}
~read_context()
@@ -362,6 +409,26 @@ process_ctf_base_type(read_context *ctxt,
return result;
}
+/// Build the IR node for a variadic parameter type.
+///
+/// @param ctxt the read context to use.
+///
+/// @return the variadic parameter type.
+static decl_base_sptr
+build_ir_node_for_variadic_parameter_type(read_context &ctxt,
+ translation_unit_sptr tunit)
+{
+
+ ir::environment* env = ctxt.ir_env;
+ ABG_ASSERT(env);
+ type_base_sptr t = env->get_variadic_parameter_type();
+ decl_base_sptr type_declaration = get_type_declaration(t);
+ if (!has_scope(type_declaration))
+ add_decl_to_scope(type_declaration, tunit->get_global_scope());
+ canonicalize(t);
+ return type_declaration;
+}
+
/// Build and return a function type libabigail IR.
///
/// @param ctxt the read context.
@@ -412,11 +479,24 @@ process_ctf_function_type(read_context *ctxt,
function_decl::parameter_sptr parm
(new function_decl::parameter(arg_type, "",
location(),
- vararg_p && (i == argc - 1),
+ false,
false /* is_artificial */));
function_parms.push_back(parm);
}
+ if (vararg_p)
+ {
+ type_base_sptr arg_type =
+ is_type(build_ir_node_for_variadic_parameter_type(*ctxt, tunit));
+
+ function_decl::parameter_sptr parm
+ (new function_decl::parameter(arg_type, "",
+ location(),
+ true,
+ false /* is_artificial */));
+ function_parms.push_back(parm);
+ }
+
result = dynamic_pointer_cast<function_type>(ctxt->lookup_type(ctf_dictionary,
ctf_type));
if (result)
@@ -1105,22 +1185,22 @@ process_ctf_archive(read_context *ctxt, corpus_sptr corp)
for (const auto& symbol : symtab_reader::filtered_symtab(*symtab, filter))
{
std::string sym_name = symbol->get_name();
- ctf_id_t ctf_var_type;
+ ctf_id_t ctf_sym_type;
if (corp->get_origin() == corpus::LINUX_KERNEL_BINARY_ORIGIN
|| ctxt->is_elf_exec)
- ctf_var_type= ctf_lookup_variable (ctf_dict, sym_name.c_str());
+ ctf_sym_type= ctf_lookup_variable (ctf_dict, sym_name.c_str());
else
- ctf_var_type = ctf_lookup_by_symbol_name(ctf_dict, sym_name.c_str());
+ ctf_sym_type = ctf_lookup_by_symbol_name(ctf_dict, sym_name.c_str());
- if (ctf_var_type == (ctf_id_t) -1)
+ if (ctf_sym_type == (ctf_id_t) -1)
continue;
- if (ctf_type_kind (ctf_dict, ctf_var_type) != CTF_K_FUNCTION)
+ if (ctf_type_kind (ctf_dict, ctf_sym_type) != CTF_K_FUNCTION)
{
const char *var_name = sym_name.c_str();
type_base_sptr var_type = lookup_type(ctxt, corp, ir_translation_unit,
- ctf_dict, ctf_var_type);
+ ctf_dict, ctf_sym_type);
if (!var_type)
/* Ignore variable if its type can't be sorted out. */
continue;
@@ -1134,11 +1214,13 @@ process_ctf_archive(read_context *ctxt, corpus_sptr corp)
var_declaration->set_symbol(symbol);
add_decl_to_scope(var_declaration,
ir_translation_unit->get_global_scope());
+ var_declaration->set_is_in_public_symbol_table(true);
+ ctxt->maybe_add_var_to_exported_decls(var_declaration.get());
}
else
{
const char *func_name = sym_name.c_str();
- ctf_id_t ctf_sym = ctf_var_type;
+ ctf_id_t ctf_sym = ctf_sym_type;
type_base_sptr func_type = lookup_type(ctxt, corp, ir_translation_unit,
ctf_dict, ctf_sym);
if (!func_type)
@@ -1154,6 +1236,8 @@ process_ctf_archive(read_context *ctxt, corpus_sptr corp)
func_declaration->set_symbol(symbol);
add_decl_to_scope(func_declaration,
ir_translation_unit->get_global_scope());
+ func_declaration->set_is_in_public_symbol_table(true);
+ ctxt->maybe_add_fn_to_exported_decls(func_declaration.get());
}
}
@@ -1331,6 +1415,10 @@ read_corpus(read_context *ctxt, elf_reader::status &status)
return corp;
}
+ // Set the set of exported declaration that are defined.
+ ctxt->exported_decls_builder
+ (ctxt->cur_corpus_->get_exported_decls_builder().get());
+
int errp;
if (corp->get_origin() == corpus::CTF_ORIGIN)
/* Build the ctfa from the contents of the relevant ELF sections,
diff --git a/tests/data/test-read-ctf/test-PR26568-1.o.abi b/tests/data/test-read-ctf/test-PR26568-1.o.abi
index cfb8a50c..832dc1bd 100644
--- a/tests/data/test-read-ctf/test-PR26568-1.o.abi
+++ b/tests/data/test-read-ctf/test-PR26568-1.o.abi
@@ -7,43 +7,25 @@
<data-member access='public' layout-offset-in-bits='0'>
<var-decl name='' type-id='type-id-2' visibility='default'/>
</data-member>
- <data-member access='public' layout-offset-in-bits='0'>
- <var-decl name='' type-id='type-id-3' visibility='default'/>
- </data-member>
- <data-member access='public' layout-offset-in-bits='0'>
- <var-decl name='x' type-id='type-id-4' visibility='default'/>
- </data-member>
- <data-member access='public' layout-offset-in-bits='0'>
- <var-decl name='' type-id='type-id-5' visibility='default'/>
- </data-member>
- <data-member access='public' layout-offset-in-bits='0'>
- <var-decl name='y' type-id='type-id-6' visibility='default'/>
- </data-member>
</class-decl>
- <class-decl name='' size-in-bits='64' alignment-in-bits='64' is-struct='yes' is-anonymous='yes' visibility='default' id='type-id-5'>
+ <class-decl name='' size-in-bits='64' alignment-in-bits='64' is-struct='yes' is-anonymous='yes' visibility='default' id='type-id-3'>
<data-member access='public' layout-offset-in-bits='0'>
- <var-decl name='y' type-id='type-id-6' visibility='default'/>
+ <var-decl name='y' type-id='type-id-4' visibility='default'/>
</data-member>
</class-decl>
- <class-decl name='' size-in-bits='32' alignment-in-bits='32' is-struct='yes' is-anonymous='yes' visibility='default' id='type-id-3'>
+ <class-decl name='' size-in-bits='32' alignment-in-bits='32' is-struct='yes' is-anonymous='yes' visibility='default' id='type-id-5'>
<data-member access='public' layout-offset-in-bits='0'>
- <var-decl name='x' type-id='type-id-4' visibility='default'/>
+ <var-decl name='x' type-id='type-id-6' visibility='default'/>
</data-member>
</class-decl>
- <type-decl name='int' size-in-bits='32' alignment-in-bits='32' id='type-id-4'/>
- <type-decl name='long int' size-in-bits='64' alignment-in-bits='64' id='type-id-6'/>
+ <type-decl name='int' size-in-bits='32' alignment-in-bits='32' id='type-id-6'/>
+ <type-decl name='long int' size-in-bits='64' alignment-in-bits='64' id='type-id-4'/>
<union-decl name='' size-in-bits='64' is-anonymous='yes' visibility='default' id='type-id-2'>
- <data-member access='public'>
- <var-decl name='' type-id='type-id-3' visibility='default'/>
- </data-member>
- <data-member access='public'>
- <var-decl name='x' type-id='type-id-4' visibility='default'/>
- </data-member>
<data-member access='public'>
<var-decl name='' type-id='type-id-5' visibility='default'/>
</data-member>
<data-member access='public'>
- <var-decl name='y' type-id='type-id-6' visibility='default'/>
+ <var-decl name='' type-id='type-id-3' visibility='default'/>
</data-member>
</union-decl>
<pointer-type-def type-id='type-id-1' size-in-bits='64' alignment-in-bits='64' id='type-id-7'/>
diff --git a/tests/data/test-read-ctf/test-PR26568-2.o.abi b/tests/data/test-read-ctf/test-PR26568-2.o.abi
index 1163f085..70e0772f 100644
--- a/tests/data/test-read-ctf/test-PR26568-2.o.abi
+++ b/tests/data/test-read-ctf/test-PR26568-2.o.abi
@@ -19,15 +19,9 @@
<data-member access='public'>
<var-decl name='' type-id='type-id-3' visibility='default'/>
</data-member>
- <data-member access='public'>
- <var-decl name='x' type-id='type-id-4' visibility='default'/>
- </data-member>
<data-member access='public'>
<var-decl name='' type-id='type-id-1' visibility='default'/>
</data-member>
- <data-member access='public'>
- <var-decl name='y' type-id='type-id-2' visibility='default'/>
- </data-member>
</union-decl>
<pointer-type-def type-id='type-id-5' size-in-bits='64' alignment-in-bits='64' id='type-id-6'/>
<function-decl name='fun' visibility='default' binding='global' size-in-bits='64' alignment-in-bits='8' elf-symbol-id='fun'>
diff --git a/tests/data/test-read-ctf/test-anonymous-fields.o.abi b/tests/data/test-read-ctf/test-anonymous-fields.o.abi
index 0419c29c..2134a86d 100644
--- a/tests/data/test-read-ctf/test-anonymous-fields.o.abi
+++ b/tests/data/test-read-ctf/test-anonymous-fields.o.abi
@@ -3,14 +3,14 @@
<elf-symbol name='t' size='8' type='object-type' binding='global-binding' visibility='default-visibility' is-defined='yes'/>
</elf-variable-symbols>
<abi-instr address-size='64' language='LANG_C'>
- <class-decl name='' size-in-bits='64' alignment-in-bits='64' is-struct='yes' is-anonymous='yes' visibility='default' id='type-id-1'>
+ <class-decl name='' size-in-bits='32' alignment-in-bits='32' is-struct='yes' is-anonymous='yes' visibility='default' id='type-id-1'>
<data-member access='public' layout-offset-in-bits='0'>
- <var-decl name='vaddr' type-id='type-id-2' visibility='default'/>
+ <var-decl name='dup_xol_work' type-id='type-id-2' visibility='default'/>
</data-member>
</class-decl>
- <class-decl name='' size-in-bits='32' alignment-in-bits='32' is-struct='yes' is-anonymous='yes' visibility='default' id='type-id-3'>
+ <class-decl name='' size-in-bits='64' alignment-in-bits='64' is-struct='yes' is-anonymous='yes' visibility='default' id='type-id-3'>
<data-member access='public' layout-offset-in-bits='0'>
- <var-decl name='dup_xol_work' type-id='type-id-4' visibility='default'/>
+ <var-decl name='vaddr' type-id='type-id-4' visibility='default'/>
</data-member>
</class-decl>
<class-decl name='uprobe_task' size-in-bits='64' alignment-in-bits='64' is-struct='yes' visibility='default' id='type-id-5'>
@@ -18,16 +18,16 @@
<var-decl name='' type-id='type-id-6' visibility='default'/>
</data-member>
</class-decl>
- <type-decl name='int' size-in-bits='32' alignment-in-bits='32' id='type-id-4'/>
+ <type-decl name='int' size-in-bits='32' alignment-in-bits='32' id='type-id-2'/>
<union-decl name='' size-in-bits='64' is-anonymous='yes' visibility='default' id='type-id-6'>
<data-member access='public'>
- <var-decl name='' type-id='type-id-1' visibility='default'/>
+ <var-decl name='' type-id='type-id-3' visibility='default'/>
</data-member>
<data-member access='public'>
- <var-decl name='' type-id='type-id-3' visibility='default'/>
+ <var-decl name='' type-id='type-id-1' visibility='default'/>
</data-member>
</union-decl>
- <type-decl name='unsigned long int' size-in-bits='64' alignment-in-bits='64' id='type-id-2'/>
- <var-decl name='t' type-id='type-id-5' mangled-name='t' visibility='default'/>
+ <type-decl name='unsigned long int' size-in-bits='64' alignment-in-bits='64' id='type-id-4'/>
+ <var-decl name='t' type-id='type-id-5' mangled-name='t' visibility='default' elf-symbol-id='t'/>
</abi-instr>
</abi-corpus>
diff --git a/tests/data/test-read-ctf/test5.o.abi b/tests/data/test-read-ctf/test5.o.abi
index f7bcdeb1..1dafd13e 100644
--- a/tests/data/test-read-ctf/test5.o.abi
+++ b/tests/data/test-read-ctf/test5.o.abi
@@ -32,6 +32,7 @@
<return type-id='type-id-7'/>
</function-decl>
<function-decl name='bar' visibility='default' binding='global' size-in-bits='64' alignment-in-bits='8' elf-symbol-id='bar'>
+ <parameter type-id='type-id-9'/>
<parameter is-variadic='yes'/>
<return type-id='type-id-12'/>
</function-decl>
diff --git a/tests/data/test-read-ctf/test7.o.abi b/tests/data/test-read-ctf/test7.o.abi
index a13af174..ca572400 100644
--- a/tests/data/test-read-ctf/test7.o.abi
+++ b/tests/data/test-read-ctf/test7.o.abi
@@ -26,6 +26,7 @@
<return type-id='type-id-10'/>
</function-decl>
<function-type size-in-bits='64' alignment-in-bits='8' id='type-id-9'>
+ <parameter is-variadic='yes'/>
<return type-id='type-id-10'/>
</function-type>
<type-decl name='void' id='type-id-10'/>
diff --git a/tests/test-read-common.cc b/tests/test-read-common.cc
index 9681ac27..b441945c 100644
--- a/tests/test-read-common.cc
+++ b/tests/test-read-common.cc
@@ -95,6 +95,8 @@ test_task::run_abidw(const string& extargs)
{
string abidw = string(get_build_dir()) + "/tools/abidw";
string drop_private_types;
+ set_in_abi_path();
+
if (!in_public_headers_path.empty())
drop_private_types += "--headers-dir " + in_public_headers_path +
" --drop-private-types";
@@ -103,7 +105,7 @@ test_task::run_abidw(const string& extargs)
if (system(cmd.c_str()))
{
error_message = string("ABIs differ:\n")
- + in_elf_path
+ + in_abi_path
+ "\nand:\n"
+ out_abi_path
+ "\n";
--
2.35.1
^ permalink raw reply [flat|nested] 6+ messages in thread
* Re: [PATCH] ctf-reader: shows incomplete summary changes
2022-04-27 16:38 [PATCH] ctf-reader: shows incomplete summary changes Guillermo E. Martinez
@ 2022-05-02 15:38 ` Dodji Seketeli
2022-05-02 22:50 ` Guillermo E. Martinez
2022-05-02 22:46 ` [PATCH v2] " Guillermo E. Martinez
1 sibling, 1 reply; 6+ messages in thread
From: Dodji Seketeli @ 2022-05-02 15:38 UTC (permalink / raw)
To: Guillermo E. Martinez via Libabigail
Hello Guillermo,
"Guillermo E. Martinez via Libabigail" <libabigail@sourceware.org> a
écrit:
> Hello libabigail team,
>
> This patch improves the output summary changes using CTF reader,
>
> Comments are highly appreciated,
>
> Kind Regards,
> Guillermo
>
I am sorry, but the patch doesn't apply to the current master branch.
Also, please add a "Signed-off-by" to the patch.
Thanks!
[...]
--
Dodji
^ permalink raw reply [flat|nested] 6+ messages in thread
* [PATCH v2] ctf-reader: shows incomplete summary changes
2022-04-27 16:38 [PATCH] ctf-reader: shows incomplete summary changes Guillermo E. Martinez
2022-05-02 15:38 ` Dodji Seketeli
@ 2022-05-02 22:46 ` Guillermo E. Martinez
2022-05-07 1:43 ` [PATCH v3] " Guillermo E. Martinez
1 sibling, 1 reply; 6+ messages in thread
From: Guillermo E. Martinez @ 2022-05-02 22:46 UTC (permalink / raw)
To: libabigail
Hello libabigail team,
This is the patch v2 to improves the output summary changes using CTF reader.
Changes from v1:
* Rebase from master
This patch depends of:
https://sourceware.org/pipermail/libabigail/2022q2/004309.html
https://sourceware.org/pipermail/libabigail/2022q2/004310.html
Comments are highly appreciated,
Kind Regards,
Guillermo
During corpus comparison with ctf support, summary changes for functions
and variables are shown like to the binaries doesn't have ctf debug
information, even though they were compiled with '-gctf' compiler
modifier, e.g:
2 Removed function symbols not referenced by debug info:
[D] elf32_test_main@@ELFUTILS_1.7
[D] elf64_test_main@@ELFUTILS_1.7
So, expected changes summary should be:
2 Removed functions:
[D] 'function long int elf32_test_main()' {elf32_test_main@@ELFUTILS_1.7}
[D] 'function long int elf64_test_main()' {elf64_test_main@@ELFUTILS_1.7}
* src/abg-ctf-reader.cc (read_context::exported_decls_builder_):
Add new data member.
(read_context::exported_decls_builder): Add new get/set member functions.
(read_context::maybe_add_{fn,var}_to_exported_decls): Likewise.
(read_context::initialize): Initialize exported_decls_builder_ member.
(read_context::build_ir_node_for_variadic_parameter_type): Add new function.
(read_context::process_ctf_function_type): Add additional code to handle
function's variadic parameter.
(read_context::process_ctf_archive): Rename variable for clarity
from `ctf_var_type' to `ctf_sym_type', using new member functions
`maybe_add_{fn,var}_to_exported_decls'.
(read_context::read_corpus): Set `exported_decls_builder'.
* tests/test-read-common.cc (test_task::run_abidw): Fix error message.
* tests/data/test-read-ctf/test-PR26568-1.o.abi: Adjust test case.
* tests/data/test-read-ctf/test-PR26568-2.o.abi: Likewise.
* tests/data/test-read-ctf/test-anonymous-fields.o.abi Likewise.
* tests/data/test-read-ctf/test5.o.abi: Likewise.
* tests/data/test-read-ctf/test7.o.abi: Likewise.
Signed-off-by: Guillermo E. Martinez <guillermo.e.martinez@oracle.com>
---
src/abg-ctf-reader.cc | 106 +++++++++++++++++++++++++--
tests/data/test-read-ctf/test5.o.abi | 1 +
tests/data/test-read-ctf/test7.o.abi | 1 +
tests/test-read-common.cc | 4 +-
4 files changed, 103 insertions(+), 9 deletions(-)
diff --git a/src/abg-ctf-reader.cc b/src/abg-ctf-reader.cc
index 8cb65b65..d5e2d6e3 100644
--- a/src/abg-ctf-reader.cc
+++ b/src/abg-ctf-reader.cc
@@ -84,6 +84,52 @@ public:
corpus_sptr cur_corpus_;
corpus_group_sptr cur_corpus_group_;
+ corpus::exported_decls_builder* exported_decls_builder_;
+
+ /// Setter of the exported decls builder object.
+ ///
+ /// Note that this @ref read_context is not responsible for the live
+ /// time of the exported_decls_builder object. The corpus is.
+ ///
+ /// @param b the new builder.
+ void
+ exported_decls_builder(corpus::exported_decls_builder* b)
+ {exported_decls_builder_ = b;}
+
+ /// Getter of the exported decls builder object.
+ ///
+ /// @return the exported decls builder.
+ corpus::exported_decls_builder*
+ exported_decls_builder()
+ {return exported_decls_builder_;}
+
+ /// If a given function decl is suitable for the set of exported
+ /// functions of the current corpus, this function adds it to that
+ /// set.
+ ///
+ /// @param fn the function to consider for inclusion into the set of
+ /// exported functions of the current corpus.
+ void
+ maybe_add_fn_to_exported_decls(function_decl* fn)
+ {
+ if (fn)
+ if (corpus::exported_decls_builder* b = exported_decls_builder())
+ b->maybe_add_fn_to_exported_fns(fn);
+ }
+
+ /// If a given variable decl is suitable for the set of exported
+ /// variables of the current corpus, this variable adds it to that
+ /// set.
+ ///
+ /// @param fn the variable to consider for inclusion into the set of
+ /// exported variables of the current corpus.
+ void
+ maybe_add_var_to_exported_decls(var_decl* var)
+ {
+ if (var)
+ if (corpus::exported_decls_builder* b = exported_decls_builder())
+ b->maybe_add_var_to_exported_vars(var);
+ }
/// Getter of the current corpus group being constructed.
///
@@ -212,6 +258,7 @@ public:
is_elf_exec = false;
symtab.reset();
cur_corpus_group_.reset();
+ exported_decls_builder_ = 0;
}
~read_context()
@@ -363,6 +410,28 @@ process_ctf_base_type(read_context *ctxt,
return result;
}
+/// Build the IR node for a variadic parameter type.
+///
+/// @param ctxt the read context to use.
+///
+/// @param tunit the translation unit to use.
+///
+/// @return the variadic parameter type.
+static decl_base_sptr
+build_ir_node_for_variadic_parameter_type(read_context &ctxt,
+ translation_unit_sptr tunit)
+{
+
+ ir::environment* env = ctxt.ir_env;
+ ABG_ASSERT(env);
+ type_base_sptr t = env->get_variadic_parameter_type();
+ decl_base_sptr type_declaration = get_type_declaration(t);
+ if (!has_scope(type_declaration))
+ add_decl_to_scope(type_declaration, tunit->get_global_scope());
+ canonicalize(t);
+ return type_declaration;
+}
+
/// Build and return a function type libabigail IR.
///
/// @param ctxt the read context.
@@ -413,11 +482,24 @@ process_ctf_function_type(read_context *ctxt,
function_decl::parameter_sptr parm
(new function_decl::parameter(arg_type, "",
location(),
- vararg_p && (i == argc - 1),
+ false,
false /* is_artificial */));
function_parms.push_back(parm);
}
+ if (vararg_p)
+ {
+ type_base_sptr arg_type =
+ is_type(build_ir_node_for_variadic_parameter_type(*ctxt, tunit));
+
+ function_decl::parameter_sptr parm
+ (new function_decl::parameter(arg_type, "",
+ location(),
+ true,
+ false /* is_artificial */));
+ function_parms.push_back(parm);
+ }
+
result = dynamic_pointer_cast<function_type>(ctxt->lookup_type(ctf_dictionary,
ctf_type));
if (result)
@@ -1115,22 +1197,22 @@ process_ctf_archive(read_context *ctxt, corpus_sptr corp)
for (const auto& symbol : symtab_reader::filtered_symtab(*symtab, filter))
{
std::string sym_name = symbol->get_name();
- ctf_id_t ctf_var_type;
+ ctf_id_t ctf_sym_type;
if (corp->get_origin() == corpus::LINUX_KERNEL_BINARY_ORIGIN
|| ctxt->is_elf_exec)
- ctf_var_type= ctf_lookup_variable (ctf_dict, sym_name.c_str());
+ ctf_sym_type= ctf_lookup_variable (ctf_dict, sym_name.c_str());
else
- ctf_var_type = ctf_lookup_by_symbol_name(ctf_dict, sym_name.c_str());
+ ctf_sym_type = ctf_lookup_by_symbol_name(ctf_dict, sym_name.c_str());
- if (ctf_var_type == (ctf_id_t) -1)
+ if (ctf_sym_type == (ctf_id_t) -1)
continue;
- if (ctf_type_kind (ctf_dict, ctf_var_type) != CTF_K_FUNCTION)
+ if (ctf_type_kind (ctf_dict, ctf_sym_type) != CTF_K_FUNCTION)
{
const char *var_name = sym_name.c_str();
type_base_sptr var_type = lookup_type(ctxt, corp, ir_translation_unit,
- ctf_dict, ctf_var_type);
+ ctf_dict, ctf_sym_type);
if (!var_type)
/* Ignore variable if its type can't be sorted out. */
continue;
@@ -1144,11 +1226,13 @@ process_ctf_archive(read_context *ctxt, corpus_sptr corp)
var_declaration->set_symbol(symbol);
add_decl_to_scope(var_declaration,
ir_translation_unit->get_global_scope());
+ var_declaration->set_is_in_public_symbol_table(true);
+ ctxt->maybe_add_var_to_exported_decls(var_declaration.get());
}
else
{
const char *func_name = sym_name.c_str();
- ctf_id_t ctf_sym = ctf_var_type;
+ ctf_id_t ctf_sym = ctf_sym_type;
type_base_sptr func_type = lookup_type(ctxt, corp, ir_translation_unit,
ctf_dict, ctf_sym);
if (!func_type)
@@ -1164,6 +1248,8 @@ process_ctf_archive(read_context *ctxt, corpus_sptr corp)
func_declaration->set_symbol(symbol);
add_decl_to_scope(func_declaration,
ir_translation_unit->get_global_scope());
+ func_declaration->set_is_in_public_symbol_table(true);
+ ctxt->maybe_add_fn_to_exported_decls(func_declaration.get());
}
}
@@ -1341,6 +1427,10 @@ read_corpus(read_context *ctxt, elf_reader::status &status)
return corp;
}
+ // Set the set of exported declaration that are defined.
+ ctxt->exported_decls_builder
+ (ctxt->cur_corpus_->get_exported_decls_builder().get());
+
int errp;
if (corp->get_origin() == corpus::LINUX_KERNEL_BINARY_ORIGIN)
{
diff --git a/tests/data/test-read-ctf/test5.o.abi b/tests/data/test-read-ctf/test5.o.abi
index f7bcdeb1..1dafd13e 100644
--- a/tests/data/test-read-ctf/test5.o.abi
+++ b/tests/data/test-read-ctf/test5.o.abi
@@ -32,6 +32,7 @@
<return type-id='type-id-7'/>
</function-decl>
<function-decl name='bar' visibility='default' binding='global' size-in-bits='64' alignment-in-bits='8' elf-symbol-id='bar'>
+ <parameter type-id='type-id-9'/>
<parameter is-variadic='yes'/>
<return type-id='type-id-12'/>
</function-decl>
diff --git a/tests/data/test-read-ctf/test7.o.abi b/tests/data/test-read-ctf/test7.o.abi
index a13af174..ca572400 100644
--- a/tests/data/test-read-ctf/test7.o.abi
+++ b/tests/data/test-read-ctf/test7.o.abi
@@ -26,6 +26,7 @@
<return type-id='type-id-10'/>
</function-decl>
<function-type size-in-bits='64' alignment-in-bits='8' id='type-id-9'>
+ <parameter is-variadic='yes'/>
<return type-id='type-id-10'/>
</function-type>
<type-decl name='void' id='type-id-10'/>
diff --git a/tests/test-read-common.cc b/tests/test-read-common.cc
index 9681ac27..b441945c 100644
--- a/tests/test-read-common.cc
+++ b/tests/test-read-common.cc
@@ -95,6 +95,8 @@ test_task::run_abidw(const string& extargs)
{
string abidw = string(get_build_dir()) + "/tools/abidw";
string drop_private_types;
+ set_in_abi_path();
+
if (!in_public_headers_path.empty())
drop_private_types += "--headers-dir " + in_public_headers_path +
" --drop-private-types";
@@ -103,7 +105,7 @@ test_task::run_abidw(const string& extargs)
if (system(cmd.c_str()))
{
error_message = string("ABIs differ:\n")
- + in_elf_path
+ + in_abi_path
+ "\nand:\n"
+ out_abi_path
+ "\n";
base-commit: 9054dbf9e2d1d0df09d02b07bf3aac6bf0f5bced
prerequisite-patch-id: ef0f517f89af7ae3cc1b573532a4805493058fd4
prerequisite-patch-id: 06bfd002727e58acb5f8666c5fbc20be45b31d35
--
2.35.1
^ permalink raw reply [flat|nested] 6+ messages in thread
* Re: [PATCH] ctf-reader: shows incomplete summary changes
2022-05-02 15:38 ` Dodji Seketeli
@ 2022-05-02 22:50 ` Guillermo E. Martinez
0 siblings, 0 replies; 6+ messages in thread
From: Guillermo E. Martinez @ 2022-05-02 22:50 UTC (permalink / raw)
To: Guillermo E. Martinez via Libabigail, Dodji Seketeli
On Monday, May 2, 2022 10:38:55 AM CDT Dodji Seketeli wrote:
Hi Dodji,
> Hello Guillermo,
>
>
> "Guillermo E. Martinez via Libabigail" <libabigail@sourceware.org> a
>
> écrit:
>
> > Hello libabigail team,
> >
> > This patch improves the output summary changes using CTF reader,
> >
> > Comments are highly appreciated,
> >
> > Kind Regards,
> > Guillermo
> >
>
> I am sorry, but the patch doesn't apply to the current master branch.Sor
> Also, please add a "Signed-off-by" to the patch.
Sorry, I forget mention that it depends of a couple of patches:
https://sourceware.org/pipermail/libabigail/2022q2/004309.html[1]
https://sourceware.org/pipermail/libabigail/2022q2/004310.html[2]
Sure, in v2 it was added:
https://sourceware.org/pipermail/libabigail/2022q2/004326.html[3]
> Thanks!
>
> [...]
Thanks!!
guillermo
--------
[1] https://sourceware.org/pipermail/libabigail/2022q2/004309.html
[2] https://sourceware.org/pipermail/libabigail/2022q2/004310.html
[3] https://sourceware.org/pipermail/libabigail/2022q2/004326.html
^ permalink raw reply [flat|nested] 6+ messages in thread
* [PATCH v3] ctf-reader: shows incomplete summary changes
2022-05-02 22:46 ` [PATCH v2] " Guillermo E. Martinez
@ 2022-05-07 1:43 ` Guillermo E. Martinez
2022-05-13 12:09 ` Dodji Seketeli
0 siblings, 1 reply; 6+ messages in thread
From: Guillermo E. Martinez @ 2022-05-07 1:43 UTC (permalink / raw)
To: libabigail
Hello libabigail team,
This is the patch v3 to improves the output summary changes using CTF
reader. Changes from v2:
* Rebase against master and work in latest comments of depending patch:
https://sourceware.org/pipermail/libabigail/2022q2/004340.html
Comments are highly appreciated,
Kind Regards,
Guillermo
During corpus comparison with ctf support, summary changes for functions
and variables are shown like to the binaries doesn't have ctf debug
information, even though they were compiled with '-gctf' compiler
modifier, e.g:
2 Removed function symbols not referenced by debug info:
[D] elf32_test_main@@ELFUTILS_1.7
[D] elf64_test_main@@ELFUTILS_1.7
So, expected changes summary should be:
2 Removed functions:
[D] 'function long int elf32_test_main()' {elf32_test_main@@ELFUTILS_1.7}
[D] 'function long int elf64_test_main()' {elf64_test_main@@ELFUTILS_1.7}
* src/abg-ctf-reader.cc (read_context::exported_decls_builder_):
Add new data member.
(read_context::exported_decls_builder): Add new get/set member functions.
(read_context::maybe_add_{fn,var}_to_exported_decls): Likewise.
(read_context::initialize): Initialize exported_decls_builder_ member.
(read_context::build_ir_node_for_variadic_parameter_type): Add new function.
(read_context::process_ctf_function_type): Add additional code to handle
function's variadic parameter.
(read_context::process_ctf_archive): Rename variable for clarity
from `ctf_var_type' to `ctf_sym_type', using new member functions
`maybe_add_{fn,var}_to_exported_decls'.
(read_context::read_corpus): Set `exported_decls_builder'.
* tests/test-read-common.cc (test_task::run_abidw): Fix error message.
* tests/data/test-read-ctf/test-PR26568-1.o.abi: Adjust test case.
* tests/data/test-read-ctf/test-PR26568-2.o.abi: Likewise.
* tests/data/test-read-ctf/test-anonymous-fields.o.abi Likewise.
* tests/data/test-read-ctf/test5.o.abi: Likewise.
* tests/data/test-read-ctf/test7.o.abi: Likewise.
---
src/abg-ctf-reader.cc | 104 ++++++++++++++++++++++++---
tests/data/test-read-ctf/test5.o.abi | 1 +
tests/data/test-read-ctf/test7.o.abi | 1 +
tests/test-read-common.cc | 4 +-
4 files changed, 101 insertions(+), 9 deletions(-)
diff --git a/src/abg-ctf-reader.cc b/src/abg-ctf-reader.cc
index 030f8fc8..5cb6fe19 100644
--- a/src/abg-ctf-reader.cc
+++ b/src/abg-ctf-reader.cc
@@ -84,6 +84,52 @@ public:
corpus_sptr cur_corpus_;
corpus_group_sptr cur_corpus_group_;
+ corpus::exported_decls_builder* exported_decls_builder_;
+
+ /// Setter of the exported decls builder object.
+ ///
+ /// Note that this @ref read_context is not responsible for the live
+ /// time of the exported_decls_builder object. The corpus is.
+ ///
+ /// @param b the new builder.
+ void
+ exported_decls_builder(corpus::exported_decls_builder* b)
+ {exported_decls_builder_ = b;}
+
+ /// Getter of the exported decls builder object.
+ ///
+ /// @return the exported decls builder.
+ corpus::exported_decls_builder*
+ exported_decls_builder()
+ {return exported_decls_builder_;}
+
+ /// If a given function decl is suitable for the set of exported
+ /// functions of the current corpus, this function adds it to that
+ /// set.
+ ///
+ /// @param fn the function to consider for inclusion into the set of
+ /// exported functions of the current corpus.
+ void
+ maybe_add_fn_to_exported_decls(function_decl* fn)
+ {
+ if (fn)
+ if (corpus::exported_decls_builder* b = exported_decls_builder())
+ b->maybe_add_fn_to_exported_fns(fn);
+ }
+
+ /// If a given variable decl is suitable for the set of exported
+ /// variables of the current corpus, this variable adds it to that
+ /// set.
+ ///
+ /// @param fn the variable to consider for inclusion into the set of
+ /// exported variables of the current corpus.
+ void
+ maybe_add_var_to_exported_decls(var_decl* var)
+ {
+ if (var)
+ if (corpus::exported_decls_builder* b = exported_decls_builder())
+ b->maybe_add_var_to_exported_vars(var);
+ }
/// Getter of the current corpus group being constructed.
///
@@ -228,6 +274,7 @@ public:
is_elf_exec = false;
symtab.reset();
cur_corpus_group_.reset();
+ exported_decls_builder_ = 0;
}
~read_context()
@@ -379,6 +426,26 @@ process_ctf_base_type(read_context *ctxt,
return result;
}
+/// Build the IR node for a variadic parameter type.
+///
+/// @param ctxt the read context to use.
+///
+/// @return the variadic parameter type.
+static decl_base_sptr
+build_ir_node_for_variadic_parameter_type(read_context &ctxt,
+ translation_unit_sptr tunit)
+{
+
+ ir::environment* env = ctxt.ir_env;
+ ABG_ASSERT(env);
+ type_base_sptr t = env->get_variadic_parameter_type();
+ decl_base_sptr type_declaration = get_type_declaration(t);
+ if (!has_scope(type_declaration))
+ add_decl_to_scope(type_declaration, tunit->get_global_scope());
+ canonicalize(t);
+ return type_declaration;
+}
+
/// Build and return a function type libabigail IR.
///
/// @param ctxt the read context.
@@ -429,11 +496,24 @@ process_ctf_function_type(read_context *ctxt,
function_decl::parameter_sptr parm
(new function_decl::parameter(arg_type, "",
location(),
- vararg_p && (i == argc - 1),
+ false,
false /* is_artificial */));
function_parms.push_back(parm);
}
+ if (vararg_p)
+ {
+ type_base_sptr arg_type =
+ is_type(build_ir_node_for_variadic_parameter_type(*ctxt, tunit));
+
+ function_decl::parameter_sptr parm
+ (new function_decl::parameter(arg_type, "",
+ location(),
+ true,
+ false /* is_artificial */));
+ function_parms.push_back(parm);
+ }
+
result = dynamic_pointer_cast<function_type>(ctxt->lookup_type(ctf_dictionary,
ctf_type));
if (result)
@@ -1131,22 +1211,22 @@ process_ctf_archive(read_context *ctxt, corpus_sptr corp)
for (const auto& symbol : symtab_reader::filtered_symtab(*symtab, filter))
{
std::string sym_name = symbol->get_name();
- ctf_id_t ctf_var_type;
+ ctf_id_t ctf_sym_type;
if ((corp->get_origin() & corpus::LINUX_KERNEL_BINARY_ORIGIN)
|| ctxt->is_elf_exec)
- ctf_var_type= ctf_lookup_variable (ctf_dict, sym_name.c_str());
+ ctf_sym_type= ctf_lookup_variable (ctf_dict, sym_name.c_str());
else
- ctf_var_type = ctf_lookup_by_symbol_name(ctf_dict, sym_name.c_str());
+ ctf_sym_type = ctf_lookup_by_symbol_name(ctf_dict, sym_name.c_str());
- if (ctf_var_type == (ctf_id_t) -1)
+ if (ctf_sym_type == (ctf_id_t) -1)
continue;
- if (ctf_type_kind (ctf_dict, ctf_var_type) != CTF_K_FUNCTION)
+ if (ctf_type_kind (ctf_dict, ctf_sym_type) != CTF_K_FUNCTION)
{
const char *var_name = sym_name.c_str();
type_base_sptr var_type = lookup_type(ctxt, corp, ir_translation_unit,
- ctf_dict, ctf_var_type);
+ ctf_dict, ctf_sym_type);
if (!var_type)
/* Ignore variable if its type can't be sorted out. */
continue;
@@ -1160,11 +1240,13 @@ process_ctf_archive(read_context *ctxt, corpus_sptr corp)
var_declaration->set_symbol(symbol);
add_decl_to_scope(var_declaration,
ir_translation_unit->get_global_scope());
+ var_declaration->set_is_in_public_symbol_table(true);
+ ctxt->maybe_add_var_to_exported_decls(var_declaration.get());
}
else
{
const char *func_name = sym_name.c_str();
- ctf_id_t ctf_sym = ctf_var_type;
+ ctf_id_t ctf_sym = ctf_sym_type;
type_base_sptr func_type = lookup_type(ctxt, corp, ir_translation_unit,
ctf_dict, ctf_sym);
if (!func_type)
@@ -1180,6 +1262,8 @@ process_ctf_archive(read_context *ctxt, corpus_sptr corp)
func_declaration->set_symbol(symbol);
add_decl_to_scope(func_declaration,
ir_translation_unit->get_global_scope());
+ func_declaration->set_is_in_public_symbol_table(true);
+ ctxt->maybe_add_fn_to_exported_decls(func_declaration.get());
}
}
@@ -1357,6 +1441,10 @@ read_corpus(read_context *ctxt, elf_reader::status &status)
return corp;
}
+ // Set the set of exported declaration that are defined.
+ ctxt->exported_decls_builder
+ (ctxt->cur_corpus_->get_exported_decls_builder().get());
+
int errp;
if (corp->get_origin() & corpus::LINUX_KERNEL_BINARY_ORIGIN)
{
diff --git a/tests/data/test-read-ctf/test5.o.abi b/tests/data/test-read-ctf/test5.o.abi
index f7bcdeb1..1dafd13e 100644
--- a/tests/data/test-read-ctf/test5.o.abi
+++ b/tests/data/test-read-ctf/test5.o.abi
@@ -32,6 +32,7 @@
<return type-id='type-id-7'/>
</function-decl>
<function-decl name='bar' visibility='default' binding='global' size-in-bits='64' alignment-in-bits='8' elf-symbol-id='bar'>
+ <parameter type-id='type-id-9'/>
<parameter is-variadic='yes'/>
<return type-id='type-id-12'/>
</function-decl>
diff --git a/tests/data/test-read-ctf/test7.o.abi b/tests/data/test-read-ctf/test7.o.abi
index a13af174..ca572400 100644
--- a/tests/data/test-read-ctf/test7.o.abi
+++ b/tests/data/test-read-ctf/test7.o.abi
@@ -26,6 +26,7 @@
<return type-id='type-id-10'/>
</function-decl>
<function-type size-in-bits='64' alignment-in-bits='8' id='type-id-9'>
+ <parameter is-variadic='yes'/>
<return type-id='type-id-10'/>
</function-type>
<type-decl name='void' id='type-id-10'/>
diff --git a/tests/test-read-common.cc b/tests/test-read-common.cc
index 9681ac27..b441945c 100644
--- a/tests/test-read-common.cc
+++ b/tests/test-read-common.cc
@@ -95,6 +95,8 @@ test_task::run_abidw(const string& extargs)
{
string abidw = string(get_build_dir()) + "/tools/abidw";
string drop_private_types;
+ set_in_abi_path();
+
if (!in_public_headers_path.empty())
drop_private_types += "--headers-dir " + in_public_headers_path +
" --drop-private-types";
@@ -103,7 +105,7 @@ test_task::run_abidw(const string& extargs)
if (system(cmd.c_str()))
{
error_message = string("ABIs differ:\n")
- + in_elf_path
+ + in_abi_path
+ "\nand:\n"
+ out_abi_path
+ "\n";
base-commit: c96463e1ad974b7c4561886d7a3aa8a3c9a35607
prerequisite-patch-id: 781b026536589341e1e4378d9529fe258633bb53
--
2.35.1
^ permalink raw reply [flat|nested] 6+ messages in thread
* Re: [PATCH v3] ctf-reader: shows incomplete summary changes
2022-05-07 1:43 ` [PATCH v3] " Guillermo E. Martinez
@ 2022-05-13 12:09 ` Dodji Seketeli
0 siblings, 0 replies; 6+ messages in thread
From: Dodji Seketeli @ 2022-05-13 12:09 UTC (permalink / raw)
To: Guillermo E. Martinez via Libabigail
> * src/abg-ctf-reader.cc (read_context::exported_decls_builder_):
> Add new data member.
> (read_context::exported_decls_builder): Add new get/set member functions.
> (read_context::maybe_add_{fn,var}_to_exported_decls): Likewise.
> (read_context::initialize): Initialize exported_decls_builder_ member.
> (read_context::build_ir_node_for_variadic_parameter_type): Add new function.
> (read_context::process_ctf_function_type): Add additional code to handle
> function's variadic parameter.
> (read_context::process_ctf_archive): Rename variable for clarity
> from `ctf_var_type' to `ctf_sym_type', using new member functions
> `maybe_add_{fn,var}_to_exported_decls'.
> (read_context::read_corpus): Set `exported_decls_builder'.
> * tests/test-read-common.cc (test_task::run_abidw): Fix error message.
> * tests/data/test-read-ctf/test-PR26568-1.o.abi: Adjust test case.
> * tests/data/test-read-ctf/test-PR26568-2.o.abi: Likewise.
> * tests/data/test-read-ctf/test-anonymous-fields.o.abi Likewise.
> * tests/data/test-read-ctf/test5.o.abi: Likewise.
> * tests/data/test-read-ctf/test7.o.abi: Likewise.
Applied to master, thanks!
[...]
Cheers,
--
Dodji
^ permalink raw reply [flat|nested] 6+ messages in thread
end of thread, other threads:[~2022-05-16 14:34 UTC | newest]
Thread overview: 6+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2022-04-27 16:38 [PATCH] ctf-reader: shows incomplete summary changes Guillermo E. Martinez
2022-05-02 15:38 ` Dodji Seketeli
2022-05-02 22:50 ` Guillermo E. Martinez
2022-05-02 22:46 ` [PATCH v2] " Guillermo E. Martinez
2022-05-07 1:43 ` [PATCH v3] " Guillermo E. Martinez
2022-05-13 12:09 ` Dodji Seketeli
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).